Brittany Ellich @brittanyellich.com Software engineer @bsky.app exploring the Atmosphere with @attie.ai
Topics: accessibility, refactoring, AI & career growth
Podcast: @overcommitted.dev
Website: brittanyellich.com
ATProto Site: opensocial.community
#pdx #ai #atproto
Maynard @quelklef.bsky.social Maynard
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/- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
sander @sandydoo.me code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
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.
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Kate @katef.bsky.social If I unfollowed you, it's because you keep posting things without alt text
Tom Harding @beef.cat Trying my best
twitchard @twitchard.bsky.social Software hot takes, shower thoughts, and parenting tales.
Kris Nuttycombe @nutty.land Haskell, climbing, blacksmithing; occasional SCAdian, compiler-induced psychosis. I work on the core Zcash team at https://zodl.com and build software for worker-owned cooperatives at https://aftok.com by night.
Signal: @nuttycom.01
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
Angela Collier @acollierastro.bsky.social Theoretical Physicist.
(She/her/hers)
From Eastern KY.
Stein Makes Games @steinmakesgames.bsky.social Game developer working on mining roguelike Dig Dig Boom. #indiedev Stein Makes Games - using #godot!
⭐Wishlist my game: s.team/a/2026040
🥇"Game of the Year" 2023 at StartNTNU Norwegian Game Awards
🔗Links: https://linktr.ee/steinmakesgames
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
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
Gwen Shapira @gwenshap.bsky.social Founder of SaaS Developer Community and Nile Database. 
Jeremy Soller @soller.dev System76 Principal Engineer, Pop!_OS Maintainer, and Redox OS BDFL - https://soller.dev
Profile picture and banner: I am wearing a Pop!_OS shirt with multiple computers running Pop!_OS in the background to celebrate the 20.04 release.
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
Higher-Kinded Type @hktpe.bsky.social https://blog.rhetoricalmusings.com
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 
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Taelin @victortaelin.bsky.social 
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
Lgd. Viktor Klang @viktorklang.com Architect, Java Platform Group at Oracle.
⚡️Views are my own. ⚡️
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
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
ieva @hyperboieva.bsky.social Quantum information, useless information, generally informed.
Quantum algorithms researcher at phasecraft.io
https://ievacepaite.com/
Justin Garcia @purefunctor.me I work on full-stack web and code intelligence, 🇵🇭 he/him
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.
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Malcolm Wallace @malcolmwallace.bsky.social haskell hacker, vicar’s wife, accidental banker
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
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
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.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Neovim @neovim.io Neovim is a hyperextensible Vim-based text editor
Ways to support the project:
- https://github.com/sponsors/neovim
- https://store.neovim.io
- Have fun using it and spread the word
Melkey @melkey.bsky.social engineer twitch . http://twitch.tv/melkey . http://youtube.com/@MelkeyDev . http://astrostation.me . http://resuai.io . http://discord.gg/melkeydevhouse
Existential Comics @existentialcomics.com A philosophy webcomic about the inevitable anguish of living a brief life in an absurd world. Also jokes. 
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/
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
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
Toni @tonijs.com 👨🏻💻London based tech guy
Daniel Harvey @danieljharvey.bsky.social Discontent farm
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Neil Gaiman @neilhimself.neilgaiman.com Makes things up. Writes them down. Dreams about growing up but not yet. 
✨Leah✨ @leaht.codes Devrel Engineer at Laravel | Former HS math teacher | Book lover | #100devs stream team member | 🏔️ CO ❄️
Twitch: http://twitch.tv/leahtcodes
Youtube: https://youtube.com/@leahtcodes
What a week, huh? all Wednesdays @whataweekhuh.bsky.social Captain, it's Wednesday.
inspired by: https://hostux.social/@whataweekhuh | https://www.instagram.com/whataweek.huh
False Knees @falseknees.bsky.social Prints available here: https://store.falseknees.com/
Dan P @copumpkin.bsky.social Wannabe figure skater ⛸️
I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
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)
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
Game Maker's Toolkit @gamemakerstoolkit.com 🎥 YouTube: https://www.youtube.com/@GMTK
🍓 GMTK Game Jam: http://gmtk.itch.io
🔠 Word Play: http://s.team/a/3586660/
🧲 Mind Over Magnet: http://s.team/a/2685900/
Greg Uzelac @gregrex.bsky.social S/W engineer (currently C# React TS EF, previously C# ASP.NET JS SQL Azure, previously C# WPF SQL, previously C++ MFC, previously C & asm, previously C FORTRAN YACC asm, previously machine code), DIY handyman, husband, dad, repair vs replace, dog lover
John McBride @johncodes.com 🌊 Co-Founder & CTO @papercompute.com 🥡 Prev: Zuplo, Linux Foundation, OpenSauced, AWS, VMware, Pivotal 🕺 https://johncodes.com 🏔️ Denver → CT
Tailscale @tailscale.com Your private programmable network.
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
Vladimir Keleshev @keleshev.com OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
gelisam @gelisam.bsky.social professional Haskeller
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
Nina Osegueda - Queen of Hell @duchessofdork.bsky.social Lead Singer of A Sound of Thunder and horror movie enthusiast! I'm also an artist. I love orcs. FOR THE HORDE!! She/Her
To support me, consider joining my Patreon: patreon.com/user?u=4751652
@piq9117.me @piq9117.me We the People
Nikita Lisitsa @lisyarus.bsky.social He/him
I teach C++ & computer graphics and make videogames
Working on a medieval village building game: https://youtube.com/playlist?list=PLSGI94QoFYJwGaieAkqw5_qfoupdppxHN&cbrd=1
Check out my cozy road building traffic sim: https://t.ly/FfOwR
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
trav @techsavvytravvy.com sr software engineer @ crunchyroll
🦀🔪 @ crablang
winning the fight against Big Outside™
Mara Bos @mara.bsky.social Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her
@mattoflambda.bsky.social @mattoflambda.bsky.social i blog at parsonsmatt.org and i wrote productionhaskell.com
not sure what this space will be
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.
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
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.
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
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/
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Freya Holmér @freya.bsky.social 🎮 tech artist/shader sorceress/math dork
🌐 acegikmo.com
🎥 youtube.com/@acegikmo
🏗️ Shader Forge / Shapes / https://half-edge.xyz
📡 ex-founder of Neat Corp
🪡 neoluddite
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Bob Nystrom @stuffwithstuff.com Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
Grant Sanderson @3blue1brown.com Math videos
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Impure Pics @impurepics.bsky.social FP Advocat. Distilling functional programming for the good of all. http://youtube.com/@impurepics
Matt Parker @standupmaths.bsky.social That maths guy from the internet.
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
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
Joe Hall @halll.bsky.social Music and mince pies.
soundcloud.com/jose-hinch
Sophie @localghost.dev 🐕 Dog botherer
🚀 Staff Eng
🚧 Web1 enthusiast and fan of pointless websites
👻 localghost.dev
#TransRightsAreHumanRights
Banner pic: florian.photo
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Pirate Software @piratesoftware.live Game Dev - Streamer 💛 Go Make Games - https://develop.games 💜 Ferret Rescue - https://ferrets.live 💛 Business: Pirate@sidequestmedia.com
Jonathan King @jlk.co I’m Interested in functional programming and programming languages. Software engineer from London.
Hillel @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/
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