@bitonic.bsky.social @bitonic.bsky.social 
Dr Huw Campbell @huwcampbell.com Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
Samidh @samidh.bsky.social Co-Founder at Zentropi (Trustworthy AI). Formerly Meta Civic Integrity Founder, Google X and Google Civic Innovation Lead, and Groq CPO.
@presheaf.bsky.social @presheaf.bsky.social 
Kat Woods @kat-woods.bsky.social 
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
Matteo Capucci @mattecapu.bsky.social 🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
You can't find me here, I'm on @mc@mathstodon.xyz
Nadia/Надя/नादिया/娜迪亚/ نادية @nadiayvette.bsky.social Prenzlauer Berg, Berlin Deutschland
en: C1 | es: B1 | de: A2 | eo: A1 | tok: A1
elle|ella|ela|sie|она|इसकी|她|هِيَ
J Rogge @metafrostufo.bsky.social I am a nurse who makes art and music sometimes. Mostly I play video games these days cause burnout is a bitch.
Tiago @tiferrei.com he/him • Computer Scientist @ UCL PPLV
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 🔥
Dan P @copumpkin.bsky.social Wannabe figure skater ⛸️
I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
@yudkowsky.bsky.social @yudkowsky.bsky.social 
karpathy @karpathy.bsky.social AI @ OpenAI, Tesla, Stanford
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.
Matt Noonan @banjotragedy.bsky.social Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
Felix Dolderer @felixdolderer.com Create the future you want to live in.
@trishume.bsky.social @trishume.bsky.social 
Kyle Corbitt @corbt.com 
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
Peter Gent @petergent.bsky.social Interested in tech, politics, design
λdu.du @handle.invalid 🇧🇷
logic | PLT | Concurrency
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
Travis Whitaker (hs/acc) @travismwhitaker.bsky.social I am weaponizing Haskell and Nix.
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Renaissance Grrrl @wrengr.org Researcher and educator in linguistics, mathematics, computer sci., cognitive sci., gender/sexuality, philosophy
https://wrengr.org
she/her 🏳️🌈🏳️⚧️🏴♿️🦓🥄☸️🪷
Jason Glover @jasonglover.bsky.social #AI | #DigitalMarketing | #B2B
Senior Digital Marketing Manager.
Science fiction and video game nerd.
Father to young Padawan.
Dr. Katya Vrtis @purplezebrav.bsky.social Queer/crip scholar of freaks and monsters in pop culture and politics, here to talk about history, literary theory, and cats.
They/them or xe/xen/xens pronouns.
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Karl Eklund @karleklund.se 
Josh Arnold @josharnold.bsky.social incubating neural ventures + accelerating ambitious companies.
prev @wharton / @beondeck / @patronusai / @patronusai / @strategyand
お前はもう死んでいる with applied ai.
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
Joseph Lindley @designresearch.works Advocate for using Design Research to explore emerging perspectives on AI, more-than-human matters, and… pretty much anything.
Watch a film about it here: https://designresearch.works/permission-to-muck-about
Was @joegalen on ‘ex’ platform
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Shane Simms @shaneasimms.bsky.social VFX artist living in Melbourne, learning to write tools in C++ ⌨️
Currently learning about path tracing 🔮
🩵 Deputy Rabbit Appreciator 🩵 @storakatten.bsky.social Polyglot functional programmer in more ways than one. Montréal resident and novice French understander.
I do platform engineering stuff these days. Future Principle software architect I hope.
Bunny parent.
Any Pronouns.
https://ecluse-proxy.com
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/
Gordon @gordon.bsky.social Everything around me was someone’s lifework.
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
Ryan Fitzpatrick @ryanfitzpatrick.io 🔗 Site: https://ryanfitzpatrick.io
🎮 Games: https://app.moonlakeai.com/@RyanFitzpatrick
🌎 Wide Worlds: https://app.wideworlds.ai/world/Nmt9qjLsigCsPY7X3VkJ
🎶 Spotify: https://open.spotify.com/artist/1Abus6q7YnD9FT3OzroVqw
Eitan Chatav @eitan-chatav.bsky.social Soul of a mathematician
Pushon 🎨 @pushon.bsky.social I'm an experimental digital artist who uses many mediums & tools to craft mind-bending visuals, Beautiful Modern, Blazing Fast Websites & Paintings. #blender
YoavCodes @yoav.codes Technical founder. Building new stuff at my startup lab https://blackboard.sh | 20+ years in early startups | prev: 7 years at webflow
You might have met me as Jeff, Joab, or Larry.
#startups #ziglang #typescript #bun #electrobun #webflow
Rohit @strangeloopcanon.com I think, I write, sometimes I bleep? skeet? bleat? |
Read essays here https://www.strangeloopcanon.com |
Read the book here http://amazon.com/dp/B0CJ9F327M |
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
Paul Biberstein @paulbib.bsky.social Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
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
Sy Brand @tartanllama.xyz bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Janus Troelsen @januuus.bsky.social jeg har boet 6 år i cdmx
Mihai Maruseac @mihai.page Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google OSS Security Team (model signing, GUAC).
Previously: TensorFlow Security & OSS (@ Google)
Previously: Haskell+differential privacy+ML @ LeapYear
Samuel Tschiedel @aisamu.bsky.social Shitty cognitive cosplayer of deterministic machines
Certified® Cloud Yeller
@aisamu@mastodon.social
@aisamu@hachyderm.io
Tavis Rudd @tavis.damnsimple.com Geek in Vancouver. Sometimes CTO / software architect. Obsessive reader. Always curious! (was @tavisrudd elsewhere)
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
Kwyn 🏳️⚧️ @kwyn.io Maker to the core. Bits and atoms alike.
Rezzbian and won't shut up about it.
My posts and opinions are my own. I don’t speak for any brand or company.
Signal: @kwyn.42
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ- T Tim Sweeney @timsweeneyepic.bsky.social
@svenningsson.bsky.social @svenningsson.bsky.social 
Sung Kim @sungkim.bsky.social A business analyst at heart who enjoys delving into AI, ML, data engineering, data science, data analytics, and modeling. My views are my own.
You can also find me at threads: @sung.kim.mw
John Scalzi @scalzi.com I enjoy pie.
Social Media FAQ: https://whatever.scalzi.com/2025/04/16/the-official-john-scalzi-social-media-faq/
John Louge @jlouge.bsky.social Current Lead Directive Manager at UAL Association of Languages 
Samuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Currently migrating from Twitter (@teuber_dev)
www.teuber.dev
Paul Brauner @polux2001.bsky.social 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Luca Zulian @lucazulian.bsky.social software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time
https://github.com/lucazulian- G @gradyk.bsky.social @gradyk.bsky.social
Tim Kersey @ktim.bsky.social If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
Andrew Drozdov @mrdrozdov.com Research Scientist @ Mosaic x Databricks. Adaptive Methods for Retrieval, Generation, NLP, AI, LLMs https://mrdrozdov.github.io/
N Lucaroni @nicholas-lucaroni.bsky.social FP; OCaml Programmer; Generally lurking, not posting.
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
егор @egorlappo.me biology phd student @ stanford | https://egorlappo.me
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
David Schneider-Joseph @thedavidsj.bsky.social Working on AI gov. Past: Technology and Security Policy @ RAND re: AI compute, telemetry database lead & 1st stage landing software @ SpaceX; AWS; Google.
csmoe @csmoe.bsky.social 🦀Rustacean
Ethan @handle.invalid Software engineer from South Wales. F# programmer by day. https://github.com/sixfourtwelve
https://www.sixfourtwelve.com
jtulley @jtulley.bsky.social Programmer, biker, desert hiker, nerd, skeptic
Married to @jenndola
(He/him)
Ryan Marcus @handle.invalid Assistant professor at UPenn. Database systems. https://RyanMarc.us
I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus
Chris @chr1s.bsky.social Occasional computer user. I like ☕ and infrastructure. https://mastodon.social/@chr1stian and https://twitter.com/@_that_chris . Gopher. ʕ◔ϖ◔ʔ
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "Oblivion" by Mastodon
@chojyuzim.bsky.social @chojyuzim.bsky.social 
Nagy Károly @nagykaroly.bsky.social 
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
Johan Jeuring @johanjeuring.bsky.social Professor of Software technology for learning and teaching, Utrecht University- A Alex Soares @alexsoares.bsky.social
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.
Ken Scambler @kenscambler.me Architecture, FP, compositionality.
sam griffin @sfultong.bsky.social Wishful thinker, lives off scraps of imagination
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.
acfoltzer @acfoltzer.net fun: cats, flying, photos, synthesizers, strategy games
work: computer
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Joshua M. Thompson @area73.bsky.social Software developer and hardware hacker. I also enjoy retro computing, home automation, 3D printing, and self-hosting.
@ea640x480.bsky.social @ea640x480.bsky.social Living in the subjunctive
Oscar Boykin @posco.dev Some guy on Maui
Jay Z @superjz.bsky.social Building the future @Natural Capital, Aether Biomachines, Ashvattha Therapeutics, Icebox prev: Partner Social Capital, Founder CloudOn / Dropbox
Jonas Köhler @jonkhler.argmin.xyz web @ https://argmin.xyz
interests: machine learning, ai4science, algorithms, coding
member of technical staff @ https://cusp.ai
past @ MSR, DeepMind, MPI-IS
home @ Heimbach (Gilserberg), Berlin, Europe
born @ 353 ppm
block toxicity
he/him
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info