Nate Butler @nate.rip Making things, writing software • nate.rip • build native & open, share your ideas with the world • future exploration @githubnext.com, ex @zed.dev / fb
@jwiegley.bsky.social @jwiegley.bsky.social
Carter T Schonwald @cartazio.bsky.social Extroverted mathy computer science etc. nyc
shachaf @shachaf.net
@augustsson.bsky.social @augustsson.bsky.social
@sebastianthrun.bsky.social @sebastianthrun.bsky.social
Nick Benton @ennnbeee.bsky.social Principal Cloud Endpoint Consultant and Microsoft Intune Blogger
@gilith.bsky.social @gilith.bsky.social
@tmoertel.bsky.social @tmoertel.bsky.social
Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy Professor of computational mathematics at University of Ljubljana, Slovenia.
[bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Gergő Érdi @gergoerdi.bsky.social Finite tape Turing machine
Chad Scherrer @cscherrer.bsky.social Doing Bayesian stuff in #rustlang and #julialang. Seattle
Simon Thompson @thompsonsimon.com Intranets, user experience, and connected content. Mad for movies, the perfect 3-minute pop song, non-sequiturs and general silliness.
Also never gonna run around in dessert shoes.
London, UK
@jfischoff.bsky.social @jfischoff.bsky.social
Alex @kolmodin.bsky.social
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
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.
@jeremysiek.bsky.social @jeremysiek.bsky.social
Joe Armstrong @joearmstrong.bsky.social Empathetic nihilist.
Thomas Schilling @nominolo.bsky.social
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Eric Niebler @ericniebler.com Distinguished C++ nerd at @nvidia, father, @isocpp member, former nomad, and sometimes artist wannabe.
opinions are my own
he/him
Dan P @copumpkin.bsky.social Wannabe figure skater ⛸️
I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
Michael Olson @mwolson.bsky.social West Coaster. Happy husband, proud uncle of cool kiddos. Big karaoke fan. Trains and fire trucks are pretty neat. 🚂🚒🇨🇦🏳️🌈
かめの @rjmh.bsky.social 成人済|ひとまず閲覧用です|色々
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
@bgamari.bsky.social @bgamari.bsky.social
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Galois @gls.bsky.social AGI researcher and friend - G Peter Seibel @gigamonkeys.com
@christopherdone.bsky.social @christopherdone.bsky.social
Edward Z. Yang @ezyang.bsky.social Developer on PyTorch at Meta. Previously Haskeller and GHC developer.
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
Chung-chieh Shan 單中杰 @ccshan.woof.group.ap.brid.gy He misses theorizing and practicing in a leather bar.
📍PEAMSBOSAARNYCBZOITHTYOSFOINDT
🌉 bridged from ⁂ https://woof.group/@ccshan, follow @ap.brid.gy to interact
Dan Licata @gabagoolfilms.bsky.social Not the comic, but sometimes i'm funny. Movies!
acfoltzer @acfoltzer.net fun: cats, flying, photos, synthesizers, strategy games
work: computer
Matt Might @matt.might.net A private citizen
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.
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
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Mike Bostock @ocks.org Visualization toolmaker. Founder of Observable. Creator of D3. Former NYT Graphics. Pronounced BOSS-tock.
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Neil deGrasse Tyson @neildegrassetyson.com Astrophysicist
Karl's alt PDS account @supersat.geese.blue An alt of @dr.supersat.phd, experimenting with a non-Bluesky-hosted but federated PDS
Werner Dietl @wmdietl.bsky.social https://wmdietl.github.io/
@csgordon.bsky.social @csgordon.bsky.social
Paul Graham @iampaulgraham.bsky.social
zach @extrafabulous.bsky.social deogie comics @deogie.bsky.social
pervis comics @pervis.bsky.social
@colinscott.bsky.social @colinscott.bsky.social
Luke Hoersten @lukehoersten.bsky.social
Mark Wotton @mwotton.bsky.social freelance goblin technologist
@puffnfresh.bsky.social @puffnfresh.bsky.social
Ashley @polyaletheia.bsky.social Pro-housing. Pro-density. Pro-HSR. Pro-solar. Pro-nuclear. Pro-technology. Pro-AI. Pro-cryptocurrency. Pro-decentralisation. Pro-capitalist. Pro-abundance. Pro-natalist. Pro-babies. Pro-human. Pro-civilisation. Pro-world. Pagan. True to the Earth.
@ranjitjhala.bsky.social @ranjitjhala.bsky.social
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Noam Zeilberger @noamzoam.mathstodon.xyz.ap.brid.gy Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.
[bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]
Armon Dadgar @armon.bsky.social Co-founder of HashiCorp. Passionate about technology and startups. I love to build things.
Jim @ludflu.bsky.social functional programming, generative music, medical informatics, meditation, postgresql, baduk
eric hosick @erichosick.bsky.social sql enthusiast, the opinionated software architect (https://medium.com/full-stack-architecture)
Alex McLean @yaxu.post.lurk.org.ap.brid.gy Non-academic #UKRIFLF research fellow at non-profit org @thentrythis, working on algorithmic patterns (@alpaca).
Instigator of @tidalcycles, and co-founder of @algorave […]
🌉 bridged from ⁂ https://post.lurk.org/@yaxu, follow @ap.brid.gy to interact
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
@takeoutweight.bsky.social @takeoutweight.bsky.social I like functional programming, collecting arxiv pdfs, trying to grok Topos Theory for years, and turning tedious problems into interesting math problems. I like meditation and consciousness and Self Growth but am deeply suspicious of others who do too.
Ben Kovach @bkovach.bsky.social Artist
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Chris Biscardi @chrisbiscardi.bsky.social Rustlang and Rustlang accessories
* YouTube: https://www.youtube.com/@chrisbiscardi
* Learn Rust: https://www.rustadventure.dev/
* Rust Adventure Discord: https://discord.gg/GJ5UfxzUcP
* Party Corgi Content Discord: https://discord.gg/partycorgi
Steven Shaw @steshaw.bsky.social Loves programming languages! 🇬🇧🇦🇺👨💻
Ignition Northwest @handle.invalid IgnitionNW is a 501c3 non-profit, fueling community through participatory arts, events, and education.
https://ignitionnw.org/
INW 2025 Election Info: http://link.ignitionnw.org/elections
Miëtek Bak @mietek.bsky.social https://mietek.io
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Christopher Armstrong @radix.arpeggiogame.com software dev, gardener, woodworker. Pittsburgh
https://github.com/arpeggiorpg/arpeggiorpg/
https://arpeggiogame.com/
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Andrew Cowie @istathar.space Dedicated to space exploration, platform engineering, Linux, Rust, and observability. Author of the Technique procedures language. Fmr 🇨🇦 army, 🇺🇲 and 🇬🇧 tech, 🇦🇺 banking. Supporting cause of peace and freedom at NAFO and trying to get better at Warhammer 40k
@mattoflambda.bsky.social @mattoflambda.bsky.social i blog at parsonsmatt.org and i wrote productionhaskell.com
not sure what this space will be
Jeff Weinstein @jweinstein.bsky.social He/him
Retired Software Engineer. IBM, Silicon Graphics, Netscape, Cryptic Studios(RIP).
Leave trans people alone, you fucking weirdos!
@alanzimm.bsky.social @alanzimm.bsky.social - S Seagreen @seagreen.bsky.social
Dan Zheng @dancherp.bsky.social 美籍华人。Learning for Code at Google DeepMind. Purdue CS ‘18.
Paul Biggar 🇵🇸 🇮🇪 @paulbiggar.com Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
Peyman Milanfar @docmilanfar.bsky.social Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Posts are personal opinions. May change or disappear over time.
http://milanfar.org
Jess [on the job market!] @jessiejsmith.bsky.social PhD Candidate in CU Boulder's Info Science department • Researching AI ethics, ML fairness, harm and bias evaluation, and responsible AI • Generative AI + Information Access Systems
jessiejsmith.com
she/her 🏳️🌈 🪴 💫
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist
Etienne Jacob @bleuje.com creative coding, posting loops on other platforms
bleuje.com
@modostech.bsky.social @modostech.bsky.social
Taelin @victortaelin.bsky.social
tldraw @tldraw.com infinite canvas / http://tldraw.com / http://tldraw.dev / https://discord.tldraw.com/bsky
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/
Samuel Timbó @samuelmt.bsky.social Systems Engineer - Computer Futurist - Creator of Unit
Tone Row / Rob G @tonerow.bsky.social Tools for thoughts. Software for good. Made flowchart.fun and 1 and 1 million other things.
Max @maxbittker.bsky.social mammal with hobbies
Nathan Sobo @nathansobo.bsky.social Founder of Zed
Antonio Scandurra @as-cii.com Founder @zed.dev
@maxbrunsfeld.bsky.social @maxbrunsfeld.bsky.social
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app