Hi! I'm a programmer that specializes in systems programming and really enjoys large scale distributed system design

• 🔭 I’m currently (sporadically) working on a distributed mapreduce implementation called neuromancer where jobs are cli programs compiled to LLVM bitcode
• 🌱 I’m working my way through The Book of Proof and scaling up my mathematical literacy
• ❤️ I'm always up for learning new things, cooking, and listening to lofi