shachaf shachaf@gts.y.la

https://www.atnnn.com/about

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

Something, something, geek
he/him

PL/DB/DistSys cultist.
Likes icecream warmed up a little.
https://twitter.com/davidjustodavid
https://davidmrdavid.github.io/about.html

You are all dreams and we are happy to know you, as you are nice dreams. We are an asexual autistic trans-feminine plural system with a label collection.

We compromise with legibility only so far as to say the following: Technology Director at Internet Safety Labs; ex-Google information privacy expert. 🏳️‍⚧️🍁

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Now moved to @jer_gib

I’m just a little landfish I don’t belong here I belong in the sea

I work on PyTorch at Meta.

Rust dev at work • Playing around with Swift and SwiftUI at home • Used to work on formal verification for Scala • Haskell enthusiast • Web dev in a previous life • I like 🐈🎾⛷️ 🧗‍♂️🛹👟

computer programmer