shachaf shachaf@gts.y.la

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

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

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

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

Data, UI and PL developer based in SF, working on at MotherDuck. OSS stuff: Tad, Tabli, duckdb-async.

Performance, compilers, hardware, mathematics, computer science.

I've worked in or adjacent to the video game industry for most of my career.

building a new 🧠 in the skull of the old (ADHD enjoyer) ~ wriggle and twist like ⚡ to the ground, freedom is an endless 🔥~ all my tails diverge

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

database, concurrency nerd

Reading about types

capybara | current phd student @ CMU SCS | Brunei