bollu
2 years ago by invitation from doug-moen
189
9, most commonly tagged compilers
46
https://pixel-druid.com/
https://github.com/bollu
PhD candidate at Cambridge, please do hit me up for a beer at the maypole :)
mathematics intersection computation: algorithms, data structures, proof theory, proof assistants, computer graphics, sat/smt, compiler verification, origami, …