Ray Myers @raymyers.bsky.social Retrofuturist software mender / The Coding Agency / Empathy in Tech
jan Pana Suno li toki pona
Kent Beck @kentbeck.com Independent I guess these days you'd say content producer, artist, programmer, musician, pokerist. More about me at https://KentBeck.com.
Ivy Reese @spiralganglion.com I want to smush software between my fingers and
turn my weathered feelings into wriggly music.
merveilles.town/@spiralganglion Δ masto
@inkandswitch.com Δ research
feelingof.com Δ podcast
ivy.boo Δ myself
she / hrt 🏳️⚧️
Ink & Switch @inkandswitch.com An independent research lab exploring the future of tools for thought.
We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
Mariano Guerra @marianoguerra.org 🧑🏽💻 Co-founder of Gloodata & Instadeq
📘 Co-author of https://wasmfromthegroundup.com/
📰 Feeling of Computing Newsletter: https://newsletter.futureofcoding.org/join/
📑 Public Projects: https://marianoguerra.github.io/
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist
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
Amelia Wattenberger @wattenberger.com web dev, design, LLMs, data viz, tools for thought
✨ Design @ SHV
🌸 wattenberger.com
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
PGlite @pglite.dev Lightweight WASM Postgres by @electric.ax
https://pglite.dev
The Strange Log @thestrangelog.bsky.social Documenting the strange poetry of changelogs and patch notes. All tweets are unedited and selected verbatim. Created and managed by
@thediscopony.bsky.social
pvh @pvh.ca just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
John Siracusa @siracusa.social Programmer, tech writer, and co-host of Accidental Tech Podcast, Reconcilable Differences, and Robot or Not. https://hypercritical.co
sclv @sclv.bsky.social "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
Jepsen @jepsen.mastodon.jepsen.io.ap.brid.gy Breaking distributed systems, one fault at a time.
[bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
Jake Archibald @jakearchibald.com Developer of sorts at @webdevs.firefox.com, but this is my personal account. No thought goes unpublished. He/him.
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.
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
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
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Alexandru Nedelcu @alexn.org Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
🌍 Bucharest, Romania
https://alexn.org/about/
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Тsфdiиg @tsoding.bsky.social Recreational Programming
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
- http://twitch.tv/tsoding
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
Pekka Enberg @penberg.org @🏡🇫🇮🇪🇺🧑💻
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.
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
Higher-Kinded Type @hktpe.bsky.social https://blog.rhetoricalmusings.com
Gabriel Volpe @gvolpe.com Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell #UnisonLang
Daniel Lemire @lemire.bsky.social Daniel Lemire is a Computer Science Professor at the University of Quebec (TELUQ). Daniel Lemire ranks in the top 2% of scientists worldwide according to Stanford University/Elsevier's 2024 ranking.
Aloïs Cochard @aloiscochard.bsky.social United we stand, divided we fall.
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
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
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
Thorsten Ball @thorstenball.com Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
Graham Christensen @grahamc.com determinate.systems. Nix obsessed.
he/him
📻 no5ig
Martin Fowler @martinfowler.com Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
host of https://martinfowler.com
Yehuda Katz (he/him) @wycats.bsky.social Open Sourcerer. Co-author of the Extensible Web Manifesto. Creator of Bundler, Cargo and Ember.js. Father of wykittens and wifelette's husband. he/him
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Ricky Gervais @mrrickygervais.bsky.social Comedy God
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out July-ish)
Newsletter: https://buttondown.email/hillelwayne/
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
Tobias Brandt @snth.bsky.social PRQL Evangelist, Chief Excel Officer, MAD* Scientist, Pythonista, Rustacian (*: ML, AI, Data)
Jasper Van der Jeugt @jaspervdj.be I like Haskell- N Eelco Dolstra @niksnut.bsky.social
Luc Perkins @lucperkins.dev Nix advocate @determinate.systems. Buenos Aires 🇦🇷.
Domen @domenkozar.bsky.social Hacking on devenv.sh
Simon @hojberg.xyz Front-End @unison-lang.org (Leading UCM Desktop and Unison Share)
https://github.com/hojberg
Web: hojberg.dev
Writing: https://programming-is-collaboration.com
Dance more!
Dan Freeman @dfreeman.io 👨💻 Software | 👾 Games | 📚 Books | 🏳️🌈 General gay nerdery
📍 Edinburgh 🏴 • he/him
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Emily Liu @emilyliu.me this bio is left as an exercise to the reader
🌱 emilyliu.me
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
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
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/
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Dan P @copumpkin.bsky.social Wannabe figure skater ⛸️
I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
Race Radio @theraceradio.bsky.social Pro Cycling is like sausage, I love it but I don't want to know how it is made.
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
かめの @rjmh.bsky.social 成人済|ひとまず閲覧用です|色々
Richard Wallace @richwall.bsky.social Retired academic. Classicist. Working-class Geordie in exile. Gardener. Democratic Socialist. Unrepentant Remainer and vehemently anti-Brexit. Citizen of the world, and doesn't care who knows it. Born the weekend after Pearl Harbour
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.
ㅤ @tapbots.bsky.social
Michał Kwiatkowski @handle.invalid
Ken Scambler @kenscambler.me Architecture, FP, compositionality.- A @alissapajer.bsky.social @alissapajer.bsky.social
Katie Ots @kjots.bsky.social Coder. Communicator. Creative.
Fabrizio Schiavi @fabrizioschiavi.bsky.social fsd.it
Liam Goodacre @liamgoodacre.bsky.social I try to tell computers what to do and sometimes they pretend to listen.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
@andreymokhov.bsky.social @andreymokhov.bsky.social
Alex Kelley @nowuseemylife.bsky.social
Marco Arment @marcoarment.bsky.social Overcast, Accidental Tech Podcast, and… the internet, I guess
@theolognion.com @theolognion.com
Yuriy Bogomolov @ybogomolov.bsky.social Functional programming mentor | https://ybogomolov.me
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.
Kit Langton @kitlangton.bsky.social computer person
Matti Virtanen @mvirtanen.bsky.social - M M Gessen @mashagessen.bsky.social Columnist at The New York Times. Distinguished Professor at Craig Newmark Graduate School of Journalism, City University of NY. Author at Riverhead Books
Lgd. Viktor Klang @viktorklang.com Architect, Java Platform Group at Oracle.
⚡️Views are my own. ⚡️
Timo Haapala @timohaapala.bsky.social Tarkkailija henkeen ja vereen politiikan kysymyksissä. Raporttori. IS.
Papers We Love @paperswelove.org A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
James Ward @jamesward.com Just another nerd with a podcast: happypathprogramming.com
And a book:
effectorientedprogramming.com
Katleena Kortesuo @katleena.bsky.social Tietokirjailija, viestinnän kouluttaja, puhuva pää ja kokeileva kokki. Nykyään myös tiedustelun opiskelija Jyväskylän yliopistossa. Erikoistaitona biologinen sodankäynti keittiössä. Blogi: www.eioototta.fi
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Justin Tunney @justine.lol I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
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/
Jonathan Deyrson @deyrson.bsky.social Scala Functional Designer
Markus Voelter @markusvoelter.bsky.social Software Engineer, Photographer, Pilot. Former Podcaster.
kepano @stephango.com making @obsidian.md
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
Ben Burke @benburke.org Kid on the Lost Highway
gelisam @gelisam.bsky.social professional Haskeller
Johannes Schickling @schickling.dev Building a local-first music app overtone.pro with @livestore.dev. Host @localfirst.fm. DX Effect. Founded @prisma.io. schickling.dev
Framework @frame.work Remaking consumer electronics to respect people and the planet. 💻🪛
For support visit http://support.frame.work