popcorn::Sinner::sentence(&mut self) @beiuet.bsky.social Meu pau na sua mao
@givik.bsky.social @givik.bsky.social
Arnaud @pankzsoft.net
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
@tomasmikula.bsky.social @tomasmikula.bsky.social
Janus Troelsen @januuus.bsky.social jeg har boet 6 år i cdmx
andreas @andreas.hgk.me rust and nix enjoyer
Christian Klauser @klauser.link Professional nerd and certified indoor enthusiast. Software architect by day, TTRPG fiend by <whatever is left>. He/him- M @matthewsole.bsky.social @matthewsole.bsky.social
- K @kelvin-kads.bsky.social @kelvin-kads.bsky.social
Northward @northward1.bsky.social https://zenn.dev/northward
owner of @zenn-rust-feed-bot.bsky.social
Lodewijk Vöge @lodewijk.voege.nl I lurk.- R @rhythmsoundmotion.bsky.social @rhythmsoundmotion.bsky.social
Albert R. @dsifriend.albertrg.me Nuyorican 🗽🇵🇷 exiliado de Alemania
Channing Walton @channingwalton.bsky.social Scala software developer, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@2hungry2fast.bsky.social @2hungry2fast.bsky.social
Yiyuan Li (Chris) @yiyuan-li.bsky.social CS & Maths @Reed_College;
AI Alignment for Empowerment and Care;
They/Them
大雨大風攏是同款咱的命運- M @mcwitt.bsky.social @mcwitt.bsky.social
Boneguts @boneguts.com I love beautiful things
@wakeofwind.bsky.social @wakeofwind.bsky.social
nhatanh @nhatanh02.bsky.social
Christian Braun @pocapoc.bsky.social Immigrant living on a Mediterranean island.
CogniDroid @cognidroid.bsky.social Failure at life and the passion I'd wanted to pursue.
Marshall Abrams @marshall0i.bsky.social Philosopher of science, occasional scientist. Phil of:
ev biol, probability, modeling, stat inference. Book: Evolution and the Machinery of Chance. Activity here as private citizen, not as rep of nor supported by employer. https://marshallalmostsurely.com
muck @muck.bsky.social metaphysical idealist. lolbertarian.
@2sided.bsky.social @2sided.bsky.social
⏧ @syntacrobat.xyz normcore futurism
@bgaudel.bsky.social @bgaudel.bsky.social - A Alex Nasonov @alnsn.bsky.social
@mmhelloworld.bsky.social @mmhelloworld.bsky.social Software Engineer. Programming fanatic. Idris, Java, TypeScript, Haskell, JVM- M @marcesquerra.bsky.social @marcesquerra.bsky.social
duck @quack.bsky.social Low-level bit twiddler. CS @ Columbia
@ara4711.bsky.social @ara4711.bsky.social
Chai T. Rex @chai.t.rex.army
@hyprdia.bsky.social @hyprdia.bsky.social
Mikko Matilainen @mikkoma.bsky.social
@colovianfurhelm.bsky.social @colovianfurhelm.bsky.social
@joxzaren.bsky.social @joxzaren.bsky.social
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
🌐🗽🏳️⚧️🏙️🏦🔰 @congenial5039.bsky.social liberal democrat. I like free markets, open borders, and trans rights
dis_da_mør @dis-da-mor.bsky.social https://disdamor.me
@jdemuijnck.bsky.social @jdemuijnck.bsky.social Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
Idal @idal.dialogue.host Programming 👉💥👈 Democracy
https://github.com/dialogue-host/requirements/blob/main/README.md
Saxxie.dev @saxxie.dev Software person; mathematician wannabe
Andrew @alphajuliet.com Technologist, musician, coffee-drinker etc.
Andrzej Głuszak @agluszak.bsky.social Software dev @ JetBrains, Rust fan, urban activist in Warsaw. I like bees and flowers- A Albin Otterhäll @a12l.se
Sam Lindley @reifyreflect.bsky.social
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@adrianclough.bsky.social @adrianclough.bsky.social
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Adam Paszke @apaszke.bsky.social Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate.
@reddean.bsky.social @reddean.bsky.social
@efasckenoth.bsky.social @efasckenoth.bsky.social
Steve Dunham @dunhamsteve.bsky.social father, computer programmer, hobbyist computer scientist, he/him. Currently dabbling in dependent type theory.
@dunhamsteve@mathstodon.xyz
Jens Petersen @juhp.bsky.social Fedora Linux, Haskeller, meditator
Phil Nguyen @pcn0112.bsky.social Likely just stalking people for doomscrolling content, and posting 😺s
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/