James Dawson Brock
Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
@hendroid.io
Principal Engineer & AI Lead @juxt.pro AI/ML • data intensive applications • product Author of Clojure for Data Science https://cljds.com/book Maintainer of Clojure(Script) library kixi.stats {London | Cambridge | Brighton}, UK
@andygillku.bsky.social
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@mommunism.bsky.social
Curly hair enthusiast, ☭, mom, abortion aficionado, misplaced Kentuckian, Berliner, Colonel Sanders chronicler, recovering lawyer, contributing writer @therealnews.com Social Media etc for @burnitdownkimbrown.bsky.social Always Antifascist
@taliaringer.bsky.social
@naumsmogers.bsky.social
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
@acowley.bsky.social
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@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/
@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/
@rmunoz.xyz
I like cooking, software development and maths. I'm a curious mind and I'm always motivated to learn new things and understand how stuff works. Now I'm trying to learn how to take photos. As Richard Feynman said: "what I cannot create, I do not understand"
@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
@mroz.io
Ostensibly a software engineer specializing in correctness-critical systems, but I think of myself more as a logician and translator. Writer of Haskell. Into abstraction and extensibility. Cat and type theory enthusiast. Recreational skier and photog.
@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
@mplachta.com
λ coder • 📙 Author of "Grokking Functional Programming" • #Scala • Learning through teaching • https://michalplachta.com
@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
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@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
@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
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@crimingpunishman.bsky.social
A glass of water. Wasting my life away doing IT work for the scions of the ruling class. mod of episode one wiki, 7' 5" 140lbs.
@atabeykaygun.bsky.social
Mathematician. Frankenstein's monster. Incongruous bits and pieces coalesced accidentally instead of a plan. Apparently, also includes batteries. https://kaygun.github.io
@craigunger.bsky.social
NYT bestselling author of 6 books on the GOP’s assault on democracy, including American Kompromat. Apple Books says my latest,Den of Spies, about the 1980 October Surprise, is "the scariest political thriller you've ever read." www.craigunger.com.
@johncusack.bsky.social
Apocalyptic shit disturber elephant trainer - This is the only account . 👈 If I share something it doesn’t necessarily mean I agree Founding board member @Freedom.press please follow https://linktr.ee/freedomofpress @johncusack on twiiter
@jasonhickel.bsky.social
Professor at ICTA-UAB and Visiting Senior Fellow at LSE • Author of THE DIVIDE and LESS IS MORE • Global inequality, political economy and ecological economics
@sarahkendzior.bsky.social
Bestselling author of THEY KNEW, HIDING IN PLAIN SIGHT, THE VIEW FROM FLYOVER COUNTRY and THE LAST AMERICAN ROAD TRIP. https://sarahkendzior.substack.com/
@jkbjournalist.bsky.social
Miami Herald Investigative journalist, author of "Perversion of Justice: The Jeffrey Epstein Story." Philly girl trying to make my way in the South Florida wilderness. Temple Owl.
@alacqua.bsky.social
Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
@cybai.dev
Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him
@cavdef.bsky.social
Head researcher into election fraud, human trafficking, and the dark intersection of crime and politics. Check out https://cavdef.org/
@jkachmar.com
sounding rockets & bad computer programming formerly Groq, Soostone, NASA Wallops, among others
@mathieu.social
@adriansieber.bsky.social
Building SaaS apps with Haskell and Elm: Airsequel (https://airsequel.com) github.com/ad-si x.com/AdrianSieber
@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.
@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
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@yukikurage.net
基本的にうるさいです 🎮ゲーム制作 stellagate.yukikurage.net ♥️ 純粋関数型 (PureScript) zenn.dev/yukikurage/articles/482a8647421fd5 🎵 作曲(Dynamix / Takumi³ / ChainBeeT) soundcloud.com/yukikurage 🎨 イラスト www.pixiv.net/users/44737353 traP元代表 twitter.com/traPtitech