Ian Duncan @iankduncan.com I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://wireform.systems/
Engineering at Mercury, formerly Forge, CircleCI, others
Emma @emmatyping.dev Python Core Dev & Rust for CPython co-lead. mypy core team. Former quantum compiler engineer, now at NVIDIA working on Python & packaging. Opinions my own.
🏳️⚧️
https://emmatyping.dev
Masto: @emmatyping@hachyderm.io
Profile pic by Caleb Rippetoe
she/her
Joe Cutler @alphaconvert.bsky.social cutler.pl
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
Recurse Center @recurse.com The retreat for curious programmers.
Work at the edge of your abilities, develop your volitional muscles, and learn generously.
📝 Applications are open!
🔗 https://www.recurse.com/
📍NYC | Online
Adam Chalmers @adamchalmers.com Texan (prev Australian). Father (prev gamer). Pynchon fan (prev illiterate).
Building a new programming language for CAD at zoo.dev. Built a lot of Cloudflare Tunnel. I run a meetup austinsystems.org and love reading sci-fi, history and Jewish stuff.
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Retro Tech Dreams @retrotechdreams.bsky.social Retro tech, early web & vintage computing. 80s, 90s, 2000s nostalgia. Follow for daily posts.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Justin Garcia @purefunctor.me I work on full-stack web and code intelligence, 🇵🇭 he/him- O @odersky.bsky.social @odersky.bsky.social
Sebastian Ullrich @kha.functional.cafe.ap.brid.gy makes Lean at Lean FRO
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
Michael Pilquist @mpilquist.bsky.social Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow
@comcast
working in video. He/him.
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
A Sturdy Magic Hedgehog @aussiedingo.bsky.social Awaiting the joyous celebration 🎉 🎉 🎉
Meanjin Land
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist 
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Hillel is on Social Media Break @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Soares Chen @maybevoid.com Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
The Scala Programming Language @scala-lang.org A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.org
∃ugene -Yokota 🥙 @eed3si9n.com enjoys music, good food, coding, and talking about them.
learning machines at employer. sbt core dev. he/him
Why @why.bsky.world Wandering Wizard Utopian
General Partner @mana.inc
🌳
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Chet Husk @chethusk.bsky.social Functional Programmer. .NET SDK/MSBuild/Templating PM @microsoft. @IonideProject contributor. :heart: F# and Linux. he/him.
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🦾 AI liker 🫐 working on https://vixen.rs to improve build systems 🦀 known for teaching rust and not much else
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
Luca Palmieri @lpalmieri.com Author of zero2prod.com, a book on backend development in Rust, and https://rust-exercises.com.
Building pavex.dev, a new Rust web framework.
Principal Engineer at Mainmatter. Opinions are my own. He/him.
@algo_luca on Twitter.
srrrse @without.boats WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
Chris Krycho @chriskrycho.com Anglican Christian. Software engineer, composer, theologian, writer, runner, photographer. Platform engineering at Vanta. Co-author of the Rust book. Previously front-end platform at LinkedIn; Ember TS & Framework teams alum.
→ chriskrycho.com
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
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.
Voytek Pitula @krever01.bsky.social Staff Engineer at @SwissBorg • Crapposter • Occasional conference speaker • Libertarian paternalist • #Scala developer • Books addict • Building https://business4s.org
Alvin Alexander @alvinalexander.bsky.social Author of the Scala Cookbook and Functional Programming, Simplified (and more).
Adam Warski @warski.org Sharing elegant solutions to everyday problems | R&D @ VirtusLab, SoftwareMill | #AI #Scala #FP #Java | Blogger | #OSS developer
Higher-Kinded Type @hktpe.bsky.social https://blog.rhetoricalmusings.com
SoftwareMill @softwaremill.com Custom software by true engineers #ML #BigData #Scala #Kafka #Akka #Rust #Kotlin
organizer: @scalar-conf.com @rustikon.dev
Gabriel Volpe @gvolpe.com Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell #UnisonLang
Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
Ólafur Páll Geirsson @geirsson.com Building Agents at Sourcegraph. Posts about coding, AI, and family (3 kids). @olafurpg elsewhere. Based in Oslo, Norway.
https://geirsson.com
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
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/
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
hayleigh @hayleigh.dev • Drawing boxes and writing words at xyflow
• Core Team at Gleam
• Author of Lustre
I’m just a 🏳️⚧️ girl learning 🇫🇷 and vibing in 🇧🇪🇬🇧
Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Florian Verdonck @nojaf.com Open-source developer | Full stack Web | Self-employed | Hire me to move your favorite OSS forward!
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
OCaml @ocaml.org https://ocaml.org
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Saša Jurić @sasajuric.bsky.social Elixir mentor, author of Elixir in Action (https://manning.com/books/elixir-in-action-third-edition), aspiring fingerstyle guitar player (https://www.youtube.com/@downcasestring), hobbyist procrastinator. 
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Vitaly Bragilevsky @bravit.bsky.social Head of Rust Ecosystem at JetBrains
Dustin @dusted.codes Highly functioning organism that transforms caffeine into code.
Currently building https://msgdrop.io and blogging at https://dusted.codes.
Find the best .NET news at http://dotnetketchup.com.
You can find me on X: https://x.com/dustinmoris
Vlád Zä @vlz.bsky.social C++ compiler backend @ Microsoft. Previously - F# compiler and tooling lead.
Opinions are my own and all that.
Russia is a terrorist state! Make fascists afraid again. Fuck bigots.
David Fowler @davidfowl.com Distinguished Engineer @ Microsoft 🧐. Creator of NuGet, SignalR and ASP.NET Core, Barbadian 🇧🇧, Tennis Player.
Immo Landwerth @terrajobst.net #IStandWithUkraine #blacklivesmatter .NET lover. Ex Microsoft. I typo for a livng. He/Him. 🇩🇪 🇺🇸
SwiftOnSecurity @swiftonsecurity.com computer security person. former helpdesk
Damian Edwards @damianedwards.com PM Architect at Microsoft working on @aspire.dev & @dot.net
❤️ craft 🍺 malt 🥃 good ☕ fine ⌚ F1 🏎️
📺 https://live.damianedwards.com
Scott Hanselman 🌮 @scott.hanselman.com I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
Sarah Drasner @sarahedo.bsky.social Opinions my own. https://sarah.dev
Distinguished Engineer @ Google, Chrome
Formerly Google Core Infrastructure
Formerly Vue Core •
Frontend Masters teacher •
O'Reilly Author •
https://www.engmanagement.dev/
https://github.com/sdras
big gina @wiredsis.bsky.social computer programmer (#OCaml, #fsharp) #tech thot leader, social justice Wario, resting bitch voice.
yes, walmart put my face on a truck
🇺🇸 ➡️ 🇦🇺
Urs Enzler @ursenzler.bsky.social Software engineering, architecture and design stuff, mainly on .Net, F#, and Azure.
Co-Host of .Net user group Central-Switzerland.
Blog: www.planetgeek.ch
#fsharp
#dotnet
#SoftwareArchitecture
Angel Munoz @tunaxor.me One of the 12 #fsharp devs in the world, trying out kotlin and #buildinginpublic fun, I started this journey around 2013.
https://linktr.ee/angel_d_munoz
Other social media, not an OF 😆
Mexican, so spanish sometimes