Matt McCarty
94 following
LightNews LightNews
Tomas Petricek
Tomas Petricek
@tomasp.net
JMCT
JMCT
@jmct.bsky.social
Dan Plyukhin
Dan Plyukhin
@dplyukhin.bsky.social
Susan Potter
Susan Potter
@susanpotter.net
Recurse Center
Recurse Center
@recurse.com
Adam Chalmers
Adam Chalmers
@adamchalmers.com
Type Theory Forall
Type Theory Forall
@ttforall.bsky.social
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
Retro Tech Dreams
Retro Tech Dreams
@retrotechdreams.bsky.social
Loris D'Antoni
Loris D'Antoni
@lorisdanto.bsky.social
Kristopher Micinski
Kristopher Micinski
@krismicinski.bsky.social
justin
justin
@purefunctor.me
odersky.bsky.social
@odersky.bsky.social
Sebastian Ullrich
Sebastian Ullrich
@kha.functional.cafe.ap.brid.gy
ionchy
ionchy
@ionchy.ca
Chris Penner
Chris Penner
@chrispenner.ca
Sjoerd Visscher
Sjoerd Visscher
@sjoerdvisscher.w3future.com
Michael Pilquist
Michael Pilquist
@mpilquist.bsky.social
Eric Torreborre
Eric Torreborre
@etorreborre.blog
A Sturdy Magic Hedgehog
A Sturdy Magic Hedgehog
@aussiedingo.bsky.social
Alexander Bandukwala
Alexander Bandukwala
@bandukwala.me
gabby
gabby
@fullmoon.id
Alice ✨
Alice ✨
@welltypedwit.ch
Hillel
Hillel
@hillelwayne.com
Graydon Hoare
Graydon Hoare
@graydon-pub.bsky.social
Soares Chen
Soares Chen
@maybevoid.com
Don Syme
Don Syme
@dsyme.bsky.social
Lambda Days
Lambda Days
@lambdadays.bsky.social
Stephen
Stephen
@sp.degabrielle.name
The Scala Programming Language
The Scala Programming Language
@scala-lang.org
∃ugene -Yokota 🥙
∃ugene -Yokota 🥙
@eed3si9n.com
Why
Why
@why.bsky.team
Laurence Tratt
Laurence Tratt
@ltratt.bsky.social
Paul Chiusano
Paul Chiusano
@pchiusano.bsky.social
Unison
Unison
@unison-lang.org
Chet Husk
Chet Husk
@chethusk.bsky.social
Ross Tate
Ross Tate
@rosstate.bsky.social
SIGPLAN
SIGPLAN
@sigplan.bsky.social
amos
amos
@fasterthanli.me
Luca Palmieri
Luca Palmieri
@lpalmieri.com
srrrse
srrrse
@without.boats
Chris Krycho
Chris Krycho
@chriskrycho.com
Satnam Singh
Satnam Singh
@satnam6502.bsky.social
Miles Sabin
Miles Sabin
@milessabin.com
Voytek Pitula
Voytek Pitula
@krever01.bsky.social
Alvin Alexander
Alvin Alexander
@alvinalexander.bsky.social
Adam Warski
Adam Warski
@warski.org
Higher-Kinded Type
Higher-Kinded Type
@hktpe.bsky.social
SoftwareMill
SoftwareMill
@softwaremill.com
Gabriel Volpe
Gabriel Volpe
@gvolpe.com
Load more