Hi, I’m Alex Klinkhamer. You may remember me from such research papers as Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization or the related NP-completeness and undecidability proofs.
This site contains small projects, proof-of-concepts, and notes about how to do Linux stuff. I use Gentoo btw.
Want to chat? Have a suggestion or correction?
Email me at thru.site@grencez.dev or file a bug on GitHub.