@ocramz.bsky.social
ML, λ • language and the machines that understand it • https://ocramz.github.io
@fullmoon.id
Author of Dhall, http://haskellforall.com, Nix Steering Committee, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@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.
@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
@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
@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/
@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.
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@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
@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.
@jeffclune.com
Professor, Computer Science, University of British Columbia. CIFAR AI Chair, Vector Institute. Senior Advisor, DeepMind. ML, AI, deep RL, deep learning, AI-Generating Algorithms (AI-GAs), open-endedness.
@keenancrane.bsky.social
Digital Geometer, Associate Professor of Computer Science & Robotics at Carnegie Mellon University. https://www.cs.cmu.edu/~kmcrane/
@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
@roydanroy.bsky.social
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst. Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
@avi.press
Founder of Scarf (https://scarf.sh) Board @ Haskell Foundation Startups and open source analytics
@johncarlosbaez.mathstodon.xyz.ap.brid.gy
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
@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
@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.
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@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