rntz @[email protected]
Michael Arntzenius irl. PL design, math, calligraphy, &c.
Taneb @[email protected]
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.
Ben Visness @[email protected]
Handmade Network lead. Mentor for FIRST Robotics Competition Team 2175, The Fighting Calculators. WebAssembly engineer at Mozilla.
Ben Weinstein-Raun @[email protected]
I ain't afraid of nothin'
Markus Kuppe @[email protected]
Principal Research Software Engineer at Microsoft Research - Let TLA+ (in) RiSE @ MSFT
danielmewes @[email protected]
Computer scientist. Interested in technology, artificial and natural intelligence, emergent complexity, among other things.
Josh Simmons @[email protected]
phd in branch predicting, ceo of euro gaming,
aspiring skeleton
"subtlety" @[email protected]
I’m just a little landfish I don’t belong here I belong in the sea