Wimius
21 following
LightNews LightNews
Matt Godbolt
Matt Godbolt
@matt.godbolt.org
Flavio 🏴‍☠️
Flavio 🏴‍☠️
@flaviocorpa.com
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
Mike Dodds
Mike Dodds
@m-dodds.bsky.social
Galois
Galois
@galoisinc.bsky.social
José A. Alonso
José A. Alonso
@jalonso.bsky.social
Edward Kmett
Edward Kmett
@kmett.ai
Kristopher Micinski
Kristopher Micinski
@krismicinski.bsky.social
Alecs P. Hacker
Alecs P. Hacker
@bisimulation.bsky.social
Hillel is taking a break
Hillel is taking a break
@hillelwayne.com
Bob Nystrom
Bob Nystrom
@stuffwithstuff.com
Haskell programming language
Haskell programming language
@haskell.org
Eric Wastl
Eric Wastl
@was.tl
Eduardo Rafael
Eduardo Rafael
@eduardorfs.com
Matti Palli
Matti Palli
@mpg.is
Marco Bonelli
Marco Bonelli
@mebeim.bsky.social
Alice ✨
Alice ✨
@welltypedwit.ch
Thorsten Ball
Thorsten Ball
@thorstenball.com
Ray
Ray
@raysan5.bsky.social
Тsфdiиg
Тsфdiиg
@tsoding.bsky.social
Bluesky
Bluesky
@bsky.app