I'm trying out Podman as an alternative to Docker, and it seems pretty nice. I like the separation of tools (e.g. running containers is separate from building images), and there's less hassle with user privileges. It even supports the same images!
The Docker daemon is really convenient for deployment though. It's less work than writing a systemd configuration.
miniblog.
Related Posts
I had a third attempt at porting difftastic from Dijkstra to A*, and I've eventually concluded that A* just isn't worth it for the implementation complexity.
I had fun writing it up though, and I've even attempted ASCII art for building intuitions:
Anthropic used Claude to write a C compiler in Rust (CCC). I've really enjoyed following the discussion.
The initial post shows how they wrote the harness with GCC as an oracle and a prompt specifying a design using SSA. The author has clear domain expertise.
https://www.anthropic.com/engineering/building-c-compiler
I've been building an 'extract function' refactor feature. It's surprisingly nuanced.
Where do you put the extracted function? Once you've done the static analysis, what order do you use for the parameters?