Welcome to my GitHub page. This is where you can see what I'm currently working on. Have a look around!

You can check out my showcase projects over on MPM-Labs

Who am I • Philosophy • Current Focus • Work • Tech

My name is Jonas and I am a software engineering student at Oslo Metropolitan University.

I love understanding how things work, and can never stop myself from investigating something I don't understand.

In addition to attending OsloMet, I am also the corporate contact and event manager at Ditio, the student association for IT students.

Currently, I am learning Rust. I like its unique position as a fast, compiled language with safeguards you would often only find in slower, interpreted languages.

I am also trying to learn more about functional languages. This is not just about efficiency in terms of raw execution speed, but about efficiency in terms of development time. Functional programming offers guarantees like safe concurrency, testability and more. Even if I don't end up working with it daily, it's worth learning. I use Haskell. On the side, I'm reading Category theory for programmers by Bartosz Milewski.

"A monad is just a monoid in the category of endofunctors."
— Saunders Mac Lane, Categories for the Working Mathematician (1971)

Nix deserves its own mention. It's a purely functional language drawing heavily on Haskell for its inspiration. It is, however, not primarily intended as a general purpose language. It is Turing complete, but its purpose is declaring and defining packages, system configurations, development environments, and much more. In general it provides a lot of great tooling involved in software development. I use it for all my projects, as well as for configuring all my machines, which run NixOS (a Linux distro based on the Nix package manager that is used with the Nix programming language).

Good software accounts for ethical, societal and practical considerations. It's not only functional, but also maintainable and well documented — able to evolve with the client's needs and be passed to other developers with little friction.

I have a great interest in finding "proper" solutions to problems. More and more I find myself preferring expert books and official documentation over less formal sources like blogs or guides. That's not to take away from the wonderful part of the software world that is sharing and helping each other. It's just important to verify against official sources — otherwise you hit pitfalls like security holes and solutions that only work sometimes.

I care about efficiency. Modern hardware is fast, but energy consumption and scalability still matter, and I find it more satisfying to work in compiled, statically-typed languages where sloppiness has less room to hide. This will likely explain many of the technologies, languages and techniques I prefer using in my work.

💼 I'm actively looking for a job opportunity within software engineering.

I'm especially interested in roles involving Rust, systems programming, or infrastructure/tooling — but I'm open to anything where correctness and craftsmanship matter.

Rust	My personal go-to. Can be used for almost anything, from low level systems to web servers. I even use it to compile WASM for my portfolio website.
Nix	More tooling-oriented. I use it in all my projects. It packages software and guarantees correct deployment.
Bash	Always useful.
PostgreSQL	You can do remarkably powerful things with SQL and PL/pgSQL.
Python	For quick prototyping and university courses.
Java	The main language taught at university.
HTML	Always important to keep the basics in mind.
CSS	I prefer writing my own CSS (SCSS) instead of using tools like Tailwind. That being said, design is not my main focus.
JavaScript	Unavoidable in web work — though I reach for Rust + WASM when I can.

Rust	Currently working on async understanding.
Nix	Currently working through chapter 5 of the thesis.
Bash	I often bump into commands I haven't used before and try to get familiar with as many as possible. (technically I use zsh)
Haskell	Currently reading Programming in Haskell and Category theory for programmers by Bartosz Milewski.
WASM	I am developing my portfolio site that runs on Leptos, but would like to learn more about WASM itself.

Docker	Mostly when collaborating with others. In my personal projects, Nix has replaced Docker.
Figma	Prototyping UIs.
Actions	Love this! Allows a ton of automation and free jobs on public repos.
Linux	I run NixOS (btw).
Maven	University work.
Nginx	Or Caddy. TLS and reverse proxying between sites.
Postman	Manual HTTP testing.
Redis	Caching and refresh token storage.
Spring	University work.
Vite	We use it to build the frontend of the student association's website.

Bevy	Game development in Rust.
Neovim	Next time I have a couple years to spare.

K8s	Ran my own GitHub Actions Runner Controller once (but this is a bit overkill and unnecessary).
Processing	This is where I'd say I learned to program.
Tailwind	Have tried it, prefer SCSS personally.
Arduino	Have had some hobby interest in electronics.
SketchUp	Useful for simple design, like apartment plans or simple 3D prints.