software engineer, amateur chess player, somewhat autistic and an inherently curious human being. by being fascinated by how our world works and growing up with computers led me to be always searching for new stuff to learn about computers and math.
zed unicode commune ai subspace woovi java sdk kind language server trazodone
- rinha de compiler -- online hackathon about compilers
- andesite -- minecraft protocol lib with kotlinx.serialization
- bupropion -- opnionated frontend for miette
- niques -- not so cool nix and nix-darwin config, but still there
- writing a minecraft protocol implementation in kotlin -- minecraft server protocol in kotlin with coroutines
- defunctionalization -- transforming closures into top level functions using closure conversion algorithm
- writing an equation solver -- writing a basic equation solver using basic first-order logic
- gadt-like types in rust -- gadts are useful, and gats are too, why not combine both?
- driving complete and easy implementation in rust -- mutable implementation of bidirectional type system
hmu at [email protected] and lets have a rapid chess match :)