shachaf shachaf@gts.y.la
inglobe @inglobe@mastodon.social
WhileyDave :ferris: @WhileyDave@hachyderm.io
Author of the Whiley Programming Language. Interested in Programming Languages, Formal Verification and Compilers. Researcher in Smart Contracts @ConsenSys.
Ada Worcester 🏳️⚧️ @pikhq@social.treehouse.systems
disabled queer computer geek
Harold Aptroot @harold@mastodon.gamedev.place
Sgeo @sgeo@mastodon.sdf.org
Just a programmer who likes VR and (poorly) modding stuff to run in VR
He/him
Dylan Field @zoink@mastodon.social
ceo @figma. likes = bookmarking, not endorsement
rytis_p @rytis_p@mastodon.gamedev.place
Max S. New ⚜️ @maxsnew@types.pl
Real name: Max S. New
Assistant Professor in Computer Science & Engineering at University of Michigan.
Programming language theorist, categorical logician
Andrew Drake @adrake@sfba.social
Working in tech as a software engineer. Baker, gardener, and more in my free time. He/him.
abuss @abuss@types.pl
Reading about types
David Justo @davidjustodavid@types.pl
PL/DB/DistSys cultist.
Likes icecream warmed up a little.
https://twitter.com/davidjustodavid
https://davidmrdavid.github.io/about.html
Lu Pan @uvdn7@discuss.systems
Working on distributed systems at Facebook. “uvdn7” is “lupan” rotated by 180.
Check out my blog at https://blog.the-pans.com/