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.
Robert @kubanrob@discuss.systems
Always check for the stupid mistakes first.
Probably only boosting stuff I find interesting for a while, I have not fully read everything I boost. All my opinions are my own.
Harold Aptroot @harold@mastodon.gamedev.place
Andrew J Bromage @Pseudonym@aus.social
Something, something, geek
he/him
uwedeportivo @uwedeportivo@social.vivaldi.net
but what does it all mean ?
danielmewes @danielmewes@techhub.social
@dmewes.com on BlueSky
Computer scientist. Interested in technology, artificial and natural intelligence, emergent complexity, among other things.
Ganesh Sittampalam @ganesh@functional.cafe
carter @cartazio@hachyderm.io
math, cs, etc!
github.com/cartazio
github.com/wellposed
wellposed.com
cstheory.net
also twitter.com/cartazio
current mastodon accounts, this + 1-2 others, primary tdb
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.
"subtlety" @hoveringhog@tech.lgbt
I’m just a little landfish I don’t belong here I belong in the sea