Trapped inside a tölva

Isabelle/ML is a strange programming environment for writing code that can also interact with Isabelle theories.

Nginx can be a bit of a bother to configure, especially since I want to buy in the configuration that my distribution provides.

You should spend some time in immutable Linux land, you might like it.

Isabelle/HOL is an interative theorem prover.

Bob complains that starred commands in LaTeX can have a better user-experience.

There was one huge pain point during the development of gotobed: I would put in bugs without knowing and things would go bad.

I really like typesetting with unicode math symbols.

Recently I read this beginners guide to extend Emacs.

Loading values from the environment into variables is a way to configure processes at startup.

Running MicroOS as my daily on the work laptop is quite the experience.