Research engineer, interested in computer graphics, computer vision, facial animation and physical simulation.
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Jorge Aparicio
japaric
"Everything else is a distraction". @ferrous-systems engineer.
@ferrous-systems Germany