Javi Neira @javineira.bsky.social 
@terrorjack.bsky.social @terrorjack.bsky.social 
Alp @alpmestan.bsky.social Mathematics, Programming
https://blog.fmap.fr/
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
Brujo Benavides 🧙♂️ @elbrujohalcon.bsky.social about.me/elbrujohalcon
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.
Steve Purcell @stevepurcell.bsky.social Writer, Artist, Creator of Sam & Max
Jeremy Ruston @jermolene.bsky.social Learning to code since 1978. Creator of #TiddlyWiki
Richard Carlsson @richcarl.bsky.social Free range yak farmer. @richcarl@mastodon.nu
david barsky @davidbarsky.com i like cooking and reading books. my day job is to work on ersc.io, but before, it was rust-analyzer. he/they is fine.
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Andre @andrevdm.bsky.social Software developer at http://hyraxbio.com. 0x20 supporter. λ
RTÉ News @news.rte.ie RTÉ News and Current Affairs - Irish and International News
gelisam @gelisam.bsky.social professional Haskeller
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/
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@puffnfresh.bsky.social @puffnfresh.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
Flora.pm @flora.pm Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes.
https://flora.pm
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.
Shayne Fletcher 🥝 @shayne-fletcher.bsky.social programming, maths, animals and food
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Andre Should Be Writing @andreshouldwrite.bsky.social Writer, Game Designer, Developer, Secure Scuttlebutt Hermie, and Solarpunk Anarchist.
https://andregarzia.com/links
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
notplants @notplants.sunbeam.city.ap.brid.gy experiments in online gardening
permacomputing, mycology, queer poetry
all labels are temporary
[bridged from https://sunbeam.city/@notplants on the fediverse by https://fed.brid.gy/ ]
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
Lucas Tauil @lucastauil.bsky.social Participative Culture and Commons Governance geek. I am a member of Enspiral and host of the Entangled Futures Podcast. Also post on education, journalism, sailing & Brazil.
Prof Christina Pagel @chrischirp.bsky.social Prof Operational Research , @UCL_CORU, passionate about health care, women in STEMs, defending liberal democracy (!). Member of @independentsage, posts personal. https://www.trumpactiontracker.info/
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.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
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist 
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
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
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.
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
bryan newbold @bnewbold.net oscilloscopes, cycling, snow, big cities, wiki. I like speculating about found objects.
protocol and standards @bsky.app. formerly archive.org
elsewhere: bnewbold.net / @bnewbold@social.coop
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Christine Lemmer-Webber @dustyweb.bsky.social Co-author/co-editor of ActivityPub (what connects together the fediverse, including Mastodon, etc). Executive Director of the Spritely Institute. Lisp/scheme enthusiast, chaos transfem, sketcher of tiny creature drawings.
https://dustycloud.org
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
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Jonty Wareing @jonty.bsky.social Accidentally responsible
Also http://chaos.social/@jonty
Previously http://twitter.com/jonty
Always http://jonty.co.uk
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Edmund Edgar Test Account @edmundedgar.id.goat.navy Main account is @goat.navy, this one is for tinkering with a self-hosted PDS
Sussex Wildlife Trust @sussexwildlife.bsky.social Sussex Wildlife Trust. For everyone who cares about nature in Sussex. Become a member, volunteer & support our campaigns. Header photo - Sprat shoal © Paul Parsons
https://sussexwildlifetrust.org.uk/
ȶɦɛօ աɨռȶɛʀ @theowinter.com Jack of all trades, master of pun...
Talia Ringer @taliaringer.bsky.social - C @cocreature.bsky.social @cocreature.bsky.social
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
apenwarr @apenwarr.ca wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, atlogin.net, and now Top Chicken @Tailscale.com doing WireGuard mesh. First search result for "epic treatise."
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.
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
@mattoflambda.bsky.social @mattoflambda.bsky.social i blog at parsonsmatt.org and i wrote productionhaskell.com
not sure what this space will be
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago- H Harold Carr @hcarr.bsky.social https://haroldcarr.bandcamp.com/
Luandro @luandro.bsky.social Working with Awana Digital, Coolab and others to empower native communities and their ways of life. From Pindo Abya Ayala (named Brazil by invaders), has lived for the past 11 years in a Quilombola (maroon) community learning to be human.
Romeu Moura @malk-zameth.bsky.social Endless conversation — with friends, compilers — on art, equivocacy, Symmathesy, methods, absurdism, dialectic, paradigm jumps, serendipity.
Flipboard @flipboard.com Your Social Magazine.
Curating the world's stories to inform and inspire your day.
Get the app to explore your interests all in one place: https://about.flipboard.com/download-flipboard
Creator of @surf.social.- D @deech.bsky.social @deech.bsky.social
Signal Noise Ratio 😷🇪🇺🍸 @jbond23.bsky.social Julian Bond
Chief Entertainment Officer
UK. EU-Maximalist. Born: 2.7b, 314ppm.
Vax-Air-Space-Mask-Test-Isolate-Touch. Ok, so far.
#Cocktail #Collapse #Climate #Cyberpunk #Motorcycle #Music @jbond@mastodon.social https://linktr.ee/jbond23
Kopyleft
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
John Ericson @johnericson.me https://github.com/ericson2314/
Also volunteer member of @etany.org
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
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.
sclv @sclv.bsky.social "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
Graham Christensen @grahamc.com determinate.systems. Nix obsessed.
he/him
📻 no5ig
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
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/
Rian van der Merwe @rianvdm.com 👋 Product person, curious learner, and music fanatic.
👨💻 Data & Observability at @cloudflare.social
✍️ Blog → https://elezea.com
Pete @mobivangelist.bsky.social Elder nerd · Dad of 3 · Recovering former entrepreneur · Engineering Director · 🇿🇦🇳🇦🇩🇪 · he/him/his
_3Jane 🦐 @3jane.co.uk make :: software | rpg | street art photography
study :: Japanese | hermetica
in :: London
BlueSky :: krill
Edmund Edgar @goat.navy Free software developer. Live in Mashiko, Japan. Made https://reality.eth.link
Mainly skeet about goats
interfect @interfect.bsky.social You see nothing special about the interfect.
Internet Archive @archive.org Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine. 
Dare Obasanjo @carnage4life.bsky.social Opinions about product management, technology news and inclusivity in tech. Diversity is about demographics, inclusion is about creating a sense of belonging.
Nathan Schneider @ntnsndr.in Teaching and writing media studies at CU Boulder. Helping to build a cooperative fediverse with Social.coop. Fan of democratic experiences and divine mysteries. Co-leading metagov.org, start.coop, wagingnonviolence.org.
Matthew Hodgson @arathorn.net project lead matrix.org | CEO/CTO Element
mixmix @mixmix.bsky.social Scuttlebutt, Āhau, p2p, gardening of communities, sci-fi, magic (game), New Zealand - mixmix.nz
nichoth @nichoth.com https://nichoth.com/
https://github.com/nichoth/
NaNdi @nandi.uk █▄░█ █ █░█ █▀ █ █░█ █▀ ▄▀▀ ▀█▀ █░█ █ ▄▀▀
█░▀█ █ ▄▀▄ █▀ █ ▄▀▄ █▀ ░▀▄ ░█░ █▀█ █ ░▀▄
▀░░▀ ▀ ▀░▀ ▀░ ▀ ▀░▀ ▀▀ ▀▀░ ░▀░ ▀░▀ ▀ ▀▀░
Boris @bmann.ca Web tinkerer. Pooling capital and collaboration.
What if we made things a little bit better?
Jer @jeremie.com dream things. make things. 🫶all. he/him.
(wayback created jabber/XMPP, also founding board member for bluesky)
Kartik Agaram @akkartik.name Programmer building programs that are useful, easy to install, easy to run, easy to modify, easy to share. https://akkartik.name/freewheeling-apps
Tudor Girba @tudorgirba.com CEO feenk.com
We modernize legacy systems.
Through Moldable Development.
Louis Pilfold @lpil.uk "the maintainer is a legitimate communist. i will not be supporting this language"
- some yt guy, 2024
I made @gleam.run and I do gymnastics (badly)
they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
Bryan Cantrill @bcantrill.bsky.social Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Konrad Hinsen @khinsen.net Researcher at CNRS (France). Computational science, in particular computational biophysics. Metascience, in particular the evolution of science in the digital era.
More active in the Fediverse: https://scholar.social/@khinsen