shachaf shachaf@gts.y.la

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

post-doc CSD at CMU :: programming languages :: parallel algorithms :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)

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(((🏳️‍🌈)))

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

Dev tools, open source, HPC, systems, parallel computing at LLNL. https://spack.io guy. Opinions mine. he/him.

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

@dmewes.com on BlueSky

Computer scientist. Interested in technology, artificial and natural intelligence, emergent complexity, among other things.

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 🐈🎾⛷️ 🧗‍♂️🛹👟

(searchable on tootfinder.ch)

Just a programmer who likes VR and (poorly) modding stuff to run in VR
He/him