@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.
@elfprince13.mumak.app
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist Bluesky open-source contributor Decentralizing systems (human & digital) Opinions are my own 📍Vermont
@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.
@taliaringer.bsky.social
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
@thesoftwarementor.com
Software Engineer and Leadership Coach by day, burgeoning carpenter, boardgame, reader, and knitter by night. https://blog.thesoftwarementor.com
@dillonis.online
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@beatrix.bsky.social
software engineer. functional programming enthusiast. big on civic technology and social democracy has takes about too many subjects Somerville, MA
@yurialbuquerque.dev
Costumava ser @Denommus no Twitter. Programador de tecnologia que não gosta, comunista chato, autista, faço stream casualmente no https://twitch.tv/BolivarAdept Não sou do PCB nem do PCBR, mas tenho camaradas em ambos os partidos.
@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
@chrisarmstrong.link
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff. 🇦🇺 🏳️🌈 Blog: https://www.chrisarmstrong.dev Twitch: https://twitch.tv/lambdalith
@matiasklemola.com
Software developer @ the Finnish Broadcasting Company (Yleisradio). I mostly write about video games, music and tech. Father of two. 🕹️🚙 Liikennematto - build the roads and the town comes to life! https://yourmagicisworking.itch.io/liikennematto
@janetacarr.com
Independent Clojure Consultant. Aspiring Blonde Bombshell. Posts about Software Dev, Clojure, & Functional Programming Twitch: twitch.tv/janetacarr Course: clojureforpros.com Clojure blog: blog.janetacarr.com Freelance Blog: fixedrate.dev
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@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/
@paulbiggar.com
Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
@marianoguerra.org
🧑🏽💻 Co-founder of Gloodata & Instadeq 📘 Co-author of https://wasmfromthegroundup.com/ 📰 Future of Coding Weekly: https://newsletter.futureofcoding.org/join/
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@anjana.dev
coding & teaching & learning ✨ adventuring & exploring & healing ✨ bicontinental & biracial & bisexual ✨ she & her & hers
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@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/
@k4rtik.bsky.social
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering. Chicago
@ocaml.com.br
@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
@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/
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@tunaxor.me
One of the 12 #fsharp devs in the world, trying out kotlin and #buildinginpublic fun, I started this journey around 2013. https://linktr.ee/angel_d_munoz Other social media, not an OF 😆 Mexican, so spanish sometimes
@noahbogart.com
he/him - cis - straight - white - 30 or 40 years old senior clojure developer living in the shadow of grief friend of eggbug profile pic commissioned from https://www.patreon.com/icelevel i'm NoahTheDuke elsewhere, but personal domains are nice
@badcop.live
professional bash enthusiast play my video games or watch me code: https://badcop.itch.io/ https://twitch.tv/badcop_
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)
@omnisci3nce.bsky.social
Huge software nerd. Love C, Rust, OCaml Began working on an embedded system in the RFID/Access control industry but prev. worked on CAD & DFM software Outside of tech I enjoy racquet sports, pottery, and language learning 日本語OK! blog.joshrowe.dev
@raulmarin.dev
Software Engineer @SFTec (TypeScript, Python, Scala) 😸 Proud cat dad 💚 Callisthenics, Nature, Books, BCN 🐙 https://github.com/raulmarindev ♥️ @erikavega.com
@degraw.dev
Husband, dad x3, world-class yak shaver. Senior Software Engineer at Shopify. ADHD, F#, C#, Rust, TS, React, etc. Opinions my own