@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@handle.invalid
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@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
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@crgenovese.bsky.social
Professor of Statistics & Data Science at Carnegie Mellon; high-dimensional inference and computation. Book "Probability Explained" nearing completion. Whitewater and Wilderness Paddler; Haskell, Clojure, and FP Enthusiast; and Emacs. Opinions my own.
@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.
@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
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@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
@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/
@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/
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@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
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@rosactrl.bsky.social
🇨🇱 ✈️ 🇳🇴 immigrant. I like computers, urbanism, literature and music. Too woke for my age. Posting mostly complaints
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@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)
@mihai.page
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
@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.
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)