shachaf shachaf@gts.y.la

I write Haskell for a living, Agda for fun, Nix for self-improvement, OpenSCAD to make pretty shapes. I sometimes post about maths. I sometimes think about genealogy. I might even post about other things, too.

Compilers, embedded, open-source hardware and infosec. :vim: :python: :rust:

Working in the automotive sector. Dreaming of computing without computers.

Dev tools, open source, HPC, systems, parallel computing at LLNL. https://spack.io guy. Opinions mine. he/him.

Working on distributed systems at Facebook. “uvdn7” is “lupan” rotated by 180.

Check out my blog at https://blog.the-pans.com/

Roblox Chief Scientist
U.Waterloo & McGill Prof.

Known for NVIDIA, Williams College, Activision, Skylanders, Computer Graphics: Principles and Practice, Titan Quest, G3D, Markdeep, quadplay, @CasualEffects

grapherd and marley purveyor

Engineer

code / data wrangler in Switzerland

Conversing with the thinking stones in their native languages, writing synsedizers, sed compilers and obfuscated Haskell.
Happiness is free in ##:D on libera.chat.

SRE manager on Google Compute Engine (only speak for me), ex-quant dev. Fan of maths, Haskell, Rust and retrocomputing. London, UK. CS PhD. Fuck cancer.

Available on Twitter while stocks last.