Here’s a list of posts I’ve written. These posts are more like notes on topics (usually technical) that I want to learn.
- Interprocedural Distributive Environment (IDE) example — an example of a non-distributive transfer function.
- Nix flakes from up close — pointers to resources which helped me learn Nix flakes.