Liam Goodacre
I try to tell computers what to do and sometimes they pretend to listen.
@brittanyellich.com
All-end engineer @github.com in #pdx, she/her Will review your code for fun. Not the most technical one in the room. Writing at brittanyellich.com and balancedengineer.com Talking at overcommitted.dev
@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/
@sandydoo.me
code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
@mpilquist.bsky.social
Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow @comcast working in video. He/him.
@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.
@twitchard.bsky.social
Software hot takes, shower thoughts, and parenting tales. Currently: developer platform @ hume.ai Formerly: Stripe, Vimeo, Livestream
@nutty.land
Haskell, climbing, blacksmithing; occasional SCAdian. I work on the core Zcash team at https://electriccoin.co and build software for worker-owned cooperatives at https://aftok.com by night. Signal: @nuttycom.01
@mattecapu.bsky.social
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
@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.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@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.
@yoav.codes
Technical founder. Building new stuff at my startup lab https://blackboard.sh | 20+ years in early startups going zero to one | prev: 7 years at webflow #startups #ziglang #typescript #bun #electrobun #webflow
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@victortaelin.bsky.social
@stringdiagram.bsky.social
Categories, computer science and logic. Also: @stringdiagram@mathstodon.xyz Website: https://stringdiagram.com/
@dillonis.online
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@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
@hyperboieva.bsky.social
Quantum information, useless information, generally informed. Quantum algorithms researcher at phasecraft.io https://ievacepaite.com/
@purefunctor.me
purescript @ oxfordabstracts.com core team @ purescript.org organiser @ functional.org.ph I work on web, compilers, and type systems using FP 🇵🇭 he/him
@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.
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@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.bsky.social
engineer twitch . http://twitch.tv/melkey . http://youtube.com/@MelkeyDev . http://astrostation.me . http://resuai.io . http://discord.gg/melkeydevhouse
@existentialcomics.com
A philosophy webcomic about the inevitable anguish of living a brief life in an absurd world. Also jokes.
@susanpotter.net
Antifascist, founder, options trader, and polyglot software engineer (Haskell, PureScript, Erlang, Scala, Nix, NixOS, Deno) with systems reliability and scalability focus. Irreverent heretic. Work with me: https://www.susanpotter.net/
@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
@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
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@neilhimself.neilgaiman.com
Makes things up. Writes them down. Dreams about growing up but not yet.
@leaht.codes
Frontend Engineer / Devrel @ Laravel | Former HS math teacher | Book lover | #100devs stream team member | 🏔️ CO ❄️ Twitch: http://twitch.tv/leahtcodes Youtube: https://youtube.com/@leahtcodes