shachaf shachaf@gts.y.la

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Apologies if I don't notice your follow request for a while.

Engineer @ AWS. Into distributed systems, storage, formal methods

ml @ huji | chasing the adjacent possible | http://galkatzh.github.io

but what does it all mean ?

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

I work on PyTorch at Meta.

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

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

engineer

grapherd and marley purveyor

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.

I work on PyTorch at Meta.