This user hasn't set any names or pronouns yet.
This user hasn't set any names or pronouns yet.
People Formally proved nerd follows on Bluesky
Diego Marmsoler
@dmarmsoler.bsky.social
Julien Narboux
@jnarboux.bsky.social
Noa Kaplan
@noakaplan.bsky.social
Dmitrii Kovanikov
@chshersh.com
Freya Holmér
@freya.bsky.social
Yaron Minsky
@yminsky.bsky.social
Bruce Mitchener
@waywardmonkeys.bsky.social
Haskell programming language
@haskell.org
Sami Badawi
@samibadawi.com
OCaml
@ocaml.org
Alexandru Nedelcu
@alexn.org
TypeScript
@typescriptlang.org
∃ugene -Yokota 🥙
@eed3si9n.com
amos
@fasterthanli.me
Clojure Jobs - ClojureJobboard.com
@clojurejobboard.com
RustTrending
@rusttrending.bsky.social
Deno
@deno.land
Eric Torreborre
@etorreborre.blog
Andres Löh
@kosmikus.bsky.social
Angel Munoz
@tunaxor.me
Vladimir Keleshev
@keleshev.com
Dillon Mulroy λ
@dillonis.online
David Sancho
@david.sancho.dev
gabby
@fullmoon.id
Hillel
@hillelwayne.com
Kristin
@wiredaemon.bsky.social
Luc Tielen
@luctielen.bsky.social
Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
Talia Ringer
@taliaringer.bsky.social
Тsфdiиg
@tsoding.bsky.social
José A. Alonso
@jalonso.eurosky.social
Bluesky
@bsky.app
All caught up ✓