I'm into programming languages, formal methods, and synthesis stuff.
external link icon
All private interactions must abide by the code of conduct
Lua, JS, Python, Java
Nim, Rust, Racket, some C
Languages, compilers, solvers, synthesizer, and more...
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.