tobioloke = Yapper { fName = "Tobi", age = 28} @tobioloke.com haskell, game dev and graphics enthusiast | want to make 3D video games with haskell | stop palestinian 🇵🇸 and congolese 🇨🇩 genocide!
Haskell Interlude @haskellinterlude.bsky.social The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
Feriel فَرْيَال (ꈍ ᴗ ꈍ✿) @feriel.choutri.eu Trade unionist, musician, professional software victim.
🇫🇷/🇩🇿
Séparatisme Numérique at @solinfonat.bsky.social
Project lead at @flora.pm
93 est mon indice d'octane
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
Alp @alpmestan.bsky.social Mathematics, Programming
https://blog.fmap.fr/
Andrew Boardman @myshoggoth.bsky.social I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon.
Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Facundo Domínguez @facundominguez.bsky.social Software engineer, father, based in Uruguay
PLT_cheater @cheater00.bsky.social 
LambdaConf 2025 @lambdaconf.bsky.social A mind-blowing programming conference, held in Estes Park, CO.
https://www.lambdaconf.us/
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Matthew Waddington @mattwadd.bsky.social Legislative drafter. Computational law & Rules as Code - lead Jersey’s Computer-Readable Legislation Project https://crlp-jerseyldo.github.io/ @crlp-jerseyldo.bsky.social
Drafting; small jurisdictions; ethics, logic, philosophy
linktr.ee/MatthewWaddington
Kaja Kallas @kajakallas.bsky.social EU High Representative for Foreign Affairs and Security Policy
Vice-President of the European Commission
@mgsloan.bsky.social @mgsloan.bsky.social 
Nnotm @nnotm.bsky.social λ
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Joel Wikström @kammadej.bsky.social Programming languages, BI, SQL, data warehouse, Haskell, Qlik
Stefan Holdermans @stefanholdermans.bsky.social Unlocking the potential of software.
Axman6 @axman6.au Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler.
Also find me on 🦣 @axman6@infosec.exchange
Sam Lindley @reifyreflect.bsky.social 
Wendy @wendydevolder.bsky.social love bringing communities together
Jens Petersen @juhp.bsky.social Fedora Linux, Haskeller, meditator
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
@augustsx.bsky.social @augustsx.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/
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
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
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.
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
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
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Malcolm Wallace @malcolmwallace.bsky.social haskell hacker, vicar’s wife, accidental banker
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
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
zimbatm @zimbatm.com I like to build things.
Helping companies adopt #Nix and #NixOS at https://numtide.com
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Julian K. Arni @jkarni.bsky.social 
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
Rob Stewart @robstewartuk.bsky.social Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Eitan Chatav @eitan-chatav.bsky.social Soul of a mathematician
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/
@svenningsson.bsky.social @svenningsson.bsky.social 
Ida Bzo (Bzowska) @idabzo.bsky.social Functional Programming Ambassador passionate about fostering connections in tech communities. A marketer with expertise in JVM technologies, and organizing events. Enthusiast of Haskell, Scala, and Lean.
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
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.
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
Artin Ghasivand @ei30metry.bsky.social PLT Enthusiast
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.
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Katie Ots @kjots.bsky.social Coder. Communicator. Creative.
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
shachaf @shachaf.net 
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
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
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
Dani Díaz @diazcarrete.bsky.social 
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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
Ruprecht Polenz @polenz.bsky.social
MdB (CDU) 1994-2013; Vorsitzender des Auswärtigen Ausschusses 2005-2008; CompassMitte, Präsident der Deutschen Gesellschaft für Osteuropakunde (DGO); Goldener Blogger 2019 🇩🇪🇪🇺🇮🇱🇺🇦
OCaml @ocaml.org https://ocaml.org- I @idontgetoutmuch.bsky.social @idontgetoutmuch.bsky.social
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen- H Mathieu Boespflug @handle.invalid
Adrian Sieber @adriansieber.bsky.social Building SaaS apps with Haskell and Elm:
Airsequel (https://airsequel.com)
github.com/ad-si
x.com/AdrianSieber
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
Johan Jeuring @johanjeuring.bsky.social Professor of Software technology for learning and teaching, Utrecht University
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics- M Martin Bravenboer @mbravenboer.bsky.social Computer Scientist, Hiker, Photographer
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
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
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Der Volksverpetzer @volksverpetzer.de "Fakten-Jünger", Anti-Fake-News-Blog. 100% Crowdfunding.
Unterstützen: https://www.volksverpetzer.de/unterstutzen/
Alle Links: https://www.volksverpetzer.de/links/
Posts von @laschyk.volksverpetzer.de, wenn nicht anders angegeben
BOB Konferenz @bobkonf.de The next BOB conference takes place in Berlin on 26 February 2027!
Organised by @active-group.de
Also at @bobkonf@discuss.systems.
Functional Architecture @funarch.bsky.social ACM SIGPLAN Workshop on Functional Software Architecture
https://functional-architecture.org/
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.
Talia Ringer @taliaringer.bsky.social 
Active Group GmbH @active-group.de happiness through functional programming
Website: https://active-group.de
Fediverse: @activegroupgmbh@discuss.systems
Unsere Konferenz bei Bluesky: @bobkonf.de- H Harold Carr @hcarr.bsky.social https://haroldcarr.bandcamp.com/
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
FT Visual & Data Journalism @data.ft.com The FT’s team of reporters, statisticians, illustrators, cartographers, designers, and developers work with colleagues across our newsrooms, using graphics and data to find, investigate and explain stories.
https://www.ft.com/visual-and-data-journalism
@philippkant.bsky.social @philippkant.bsky.social 
Randall Munroe @xkcd.com - R @romanandreg.bsky.social @romanandreg.bsky.social
Sridhar Ratnakumar @srid.bsky.social https://x.com/sridca
Torsten „Teggy“ Grust @teggy.org Professor — like database systems, programming languages, and SC Freiburg ツ
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 
Marina Weisband @afelia.bsky.social Bildung, Beteiligung, Demokratie.
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺