shachaf shachaf@gts.y.la
O for a muse of fire @abecedarius@maly.io
still a meat clown
WhileyDave :ferris: @WhileyDave@hachyderm.io
Author of the Whiley Programming Language. Interested in Programming Languages, Formal Verification and Compilers. Researcher in Smart Contracts @ConsenSys. Opinions are my own and not those of my employer.
Jules @julesjacobs@discuss.systems
PhD student in PL (looking for postdoc for after
September)
Rk @Rk@mastodon.gamedev.place
Tristan Hume @trishume@sigmoid.social
AI Interpretability at https://anthropic.com/. Performance, distributed systems, tools. tristan@thume.ca
neverov @neverov@mastodon.social
Noah @noah@discuss.systems
Wanja @muvlon@hachyderm.io
Linux enjoyer
Nazi hackers fuck off
he/him
Jules Jacobs @julesjacobs@types.pl
PhD student in PL
Andres Löh @kosmikus@functional.cafe
I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.
Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.
rntz @rntz@recurse.social
Michael Arntzenius irl. PL design, math, calligraphy, &c.
Todd Gamblin @tgamblin@hachyderm.io
Dev tools, open source, HPC, systems, parallel computing at LLNL. https://spack.io guy. Opinions mine. he/him.