software engineer. CS BSE. passionate about programming languages, mathematics, and distributed systems.
been programming in some form for 10 years.
external link icon
All private interactions must abide by the code of conduct
Zig, SAT solving
Smol: An interpreter/compiler/verifier for a statically typed immutable programming language that includes a
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.