shachaf shachaf@gts.y.la

disabled queer computer geek

Make learn-anything.xyz & kuskus.app

Learn in public: wiki.nikiv.dev

Working in tech as a software engineer. Baker, gardener, and more in my free time. He/him.

ceo @figma. likes = bookmarking, not endorsement

Principal Research Software Engineer at Microsoft Research - Let TLA+ (in) RiSE @ MSFT

Real name: Max S. New

Assistant Professor in Computer Science & Engineering at University of Michigan.

Programming language theorist, categorical logician

Compilers are cool, along with wasm, rust, zig, and js

Data visualization, software development, design, dogs. 🐾

https://yuri.is

Low level perf stuff