Skip to content

Jakub Kozłowski | A 1.00000000000001x engineering blog

Nix Flakes: first steps

I keep getting questions about how to start with Nix. I believe the way to go in 2022 is to start with Flakes, so in this post I'll describe just that.

If you want to learn Nix from first principles instead, I recommend Nix Pills and

Learning vim by blogging

I decided that writing about something is one of the easiest ways to learn it for a longer period of time. In this blog post, which I hope to update once in a while, I'll be sharing my findings about Vim (neovim).

This post will be written exclusively in (variants of) Vim.

Data coherence at large

A week ago, while coming back from Scalar, I was thinking about coherent data. In particular, I was wondering if it's possible to perform certain simple validations and encode their results in types. Here's what i found.

What makes a function pure?

Everyone knows that naming things is hard. In fact, often it seems to be one of the hardest things in computer science and programming in general. In addition, sometimes a single word has multiple meanings, or worse - a term is explained in a variety of slightly differing definitions. One such term is a pure function.