I research & develop techniques for high-performance, parallel deterministic computing. Determinism eases debugging, testing, and formal verification.
All private interactions must abide by the code of conduct
I'm a functional programmer of 26 years, and a Haskell hacker for the last ten. I build compilers and runtime systems. I love low level software, performance, containers and OS tech.
I've been writing more Rust, but I'm still learning.
Explore mutual interests. Plus Cloudseal is hiring.
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.