shachaf shachaf@gts.y.la

┌┐┌┐·┌┐┌┐
└┘└┘·└┘└┘ ᴬᴹ

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

Applied graphics research at SEED. previously nvidia, blizzard, monolith, others. graphics, audio synth, exotic computation. my blog: http://blog.demofox.org.

History of Imperial Germany nerd trying to branch out into:
- Human Behavioural Ecology
- Marxism
- Programming
Not much of a poster.

🎇 Somehow Is A C Expert ✨ Smooches Unicode-kun 💕 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 🧟‍♀️ Pixel Art is Cool ✨

https://pvk.ca

Founder Functional Programming India, Creator of the Concur UI framework.
“It’s all fine, if the compiler says it’s fine”.
#Haskell, #Purescript, #Rust, #FunctionalProgramming, #ProgrammingForKids, #WebDevelopment, #Robotics #3DPrinting #India #FOSS #Spanish #Japanese #Atheism

⭐⭐⭐⭐⭐Lifetime WARRANTY⭐⭐⭐⭐⭐One Day SHIPPING⭐⭐⭐⭐⭐

Engineer at Bloomberg, formerly Igalia and Google. Participate in TC39 and other standards bodies. Ecma VP. Opinions are my own, not representing Bloomberg, TC39 or Ecma. he/they(((🏳️‍🌈)))

https://twitter.com/FlohOfWoe
https://github.com/floooh/

"nʉf". He/They. A nerd's nerd. Anti-fascist, anti-theist. 🏳️‍🌈🏳️‍⚧️ Work @ MS Research; opinions mine.