Personal projects

• PINT: Open source android app for public bus transport in Ljubljana.
  [Google Play] [f-droid repo]
• The Shire: My NixOS configuration. I use it on every machine I own.
• Advent Of Code: I am still searching for an appropriate project to use Haskell. This is how I keep my knowledge of it fresh.
• Tkp: This was my attempt at solving the 'Client Side Decoration' problem. It's a tool to set per-app title bar color in KDE. It only works on X11.
• nix-unlock: An experimental NixOS module that allows hosts to periodically update flake inputs without updating the main repository, effectively 'unlocking' specified inputs. Think of it as pull-based Continuous Deployment for flakes.
• Aergia: A simple compiler for a lazy languge that I wrote for my diploma using a lazy language (Haskell)

Hall of glazing

I discovered a lot of useful tools through people's personal websites. These are my favourite tools (in no specific order).

• Nix/NixOS: Believe it or not, this is how I maintain my sanity. Even after 3 years of using it daily, I still find new corners of it to explore. I use it to manage my many but unstable machines effortlessly.
• html-macro: The main tool I use to build this beautiful website. Plays nicely with GNU Make.
• Zig: This programming language made me fall in love with imperative programming all over again.
• Paisa: How I keep track of my spendings. It is built on top of a plain-text format that ledger uses, so you are not vendor locked.

Blog

Here are my thoughts that you didn't ask for. You are welcome.

• (2026/06/10) ThinkCenter UEFI hack
  
  Old Lenovo computers don't follow UEFI standards. Can we trick them to boot linux anyway?
  [nix] [linux]