a fun case study with Zig’s comptime

a fun implementation of *Kanren with nice Haskell interoperability. showcases some fun Haskell featues.

a really interesting exploration of interpreter design, a lot of repls and thoughts on various coroutines

An IRL spatial computer making use of printed codes to do stuff.

How we built an anonymous Zig/C++ crash reporter that doesn't require debug symbols to be shipped with the application.

Pretty fun and showcases some Zig comtime stuff.

Treesitter-based AST search-and-replace. Supports lints via saved patterns, LSP diagnostics + quick fixes and a regular CLI. Sounds pretty cool for custom lints.

The generic dilemma is this: do you want slow programmers, slow compilers and bloated binaries, or slow execution times?

No generics / monomorphization / dynamic dispatch

About why free functions are important. I find verb/noun framework from this article quite useful.

The Go standard library’s net.IP type is problematic for a number of reasons. We wrote a new one.

This post explores some problems with Go’s “simplicity by design”: introducing a better IP type that’s also interoperable with the language proves to be a non-trivial challenge.

A fresh take on typesetting