Nix Sum Types
I wish Nix had pattern matching... wait, it does?
pavluk.org Blog
My random scribblings
Latest posts
Recovering from an Unclean Shutdown
When fsck fails.
NixOS on OnePlus 6 with Extra Steps, or the Diary of my Descent into Madness
Mobile Linux is here. Love it. Fear it. Sacrifice yourself to it. There is no escape.
Proxy Protocols
A dive into the most common proxy protocols - SOCKS4/5 and HTTP, with all their peculiarities.
Nix Packaging Quickstart Guide
It can be really hard to learn packaging as a Nix beginner, this article is what I wish I had when creating my first package around a year ago
Leap Seconds Are Gone 🦀
Leap seconds will soon be abolished! Let's look into the details of this and other cases of weird things related to time
Making My Language - Part 0. Runtime conception.
I decided to write my own language, so here's my thoughts on the core concepts
What is Information Freedom
Explaining what I understand as the concept of "information freedom"
Use ISO-8601 Date Format
ISO-8601 is an international datetime format that minimizes ambiguity and maximizes "computer readability"
Judging Difficulty in osu!taiko
A showcase of the factors making something easier or harder to play in a rhythm game called osu!taiko
My NixOS Router Journey
A story about how I replaced OpenBSD on my router with NixOS
Use a Password Manager!
The reasons you MUST use a password manager
Copyright and its Future
In this article I describe my philosophy on copyright, why I think the law is horribly outdated and how you can help
Why I'm Giving Up on Android
An aspiring Pinephone owner's ramblings on Android's failures to meet his software freedom demands
How I Choose Licenses
A summary of my thought process for picking various free licenses
Hello, World!
The first post