Jonathan Carroll @jonocarroll.fosstodon.org.ap.brid.gy #rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others
:rstats: :haskell: :julia: :rust: :apl: :python: :bash:
Also [โฆ]
๐ bridged from โ https://fosstodon.org/@jonocarroll, follow @ap.brid.gy to interact
ecsolticia @handle.invalid pro-curiosity!
ecsolticia.11 on Signal
Ola @olamusta.bsky.social Software Engineer, FP guy (particularly Haskell), I stream on programming (theory and practicals), gaming, piano, etc. on YT and Twitch @ola_musta.
I also sometimes write at thunk.blog. Opinions are my own
David D @ddanier.bsky.social Python Web Developer from Germany, focusing on FastAPI and Django. Also 3D printing and drones.
Tim Chesterton @timchesterton.bsky.social Jesus-follower (Anglican/Mennonite hybrid), husband, dad, grandpa, friend, neighbour, folk musician.
If you start following me and I see that you follow 14 million other people, I may well block you, for obvious reasons.
Anita Anand @anitaanand.bsky.social I present programs on TV and Radio, write history books and present a podcast called Empire with William Dalrymple. NOT IN THE CANADIAN GOVERNMENT!
Steve Herman @w7voa.journa.host.ap.brid.gy Executive Director, Jordan Ctr. for Journalism Advocacy & Innovation/Asst. Professor of Practice @ Univ. of Mississippi;
Former VOA News White House bureau chief;
Author [โฆ]
๐ bridged from โ https://journa.host/@w7voa, follow @ap.brid.gy to interact
William Dalrymple @willdalrymple.bsky.social Scottish historian & art historian; @EmpirePodUK.bsky.social podcaster & Jaipur Lit Fest co-director. Visiting Fellow at All Souls, Oxford. Writes the occasional book.
Zohran Kwame Mamdani @zohrankmamdani.bsky.social Mayor of New York City
NaNdi @nandi.uk โโโโ โ โโโ โโ โ โโโ โโ โโโ โโโ โโโ โ โโโ
โโโโ โ โโโ โโ โ โโโ โโ โโโ โโโ โโโ โ โโโ
โโโโ โ โโโ โโ โ โโโ โโ โโโ โโโ โโโ โ โโโ
Anupam ๐ฎ๐ณใใใฮปโก @aj.social.id1.in.ap.brid.gy Founder Functional Programming India, Concur UI framework.
โItโs all fine, if the compiler says itโs fineโ.
"Be irrational. Don't let the economists win"
"Rage [โฆ]
[bridged from https://social.id1.in/@aj on the fediverse by https://fed.brid.gy/ ]
Justin Garcia @purefunctor.me I work on full-stack web and code intelligence, ๐ต๐ญ he/him
borar @borar.bsky.social 
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
ใใใใใ โเฌณ @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
Adrian Sieber @adriansieber.bsky.social Building SaaS apps with Haskell and Elm:
Airsequel (https://airsequel.com)
github.com/ad-si
x.com/AdrianSieber
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
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
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.
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
gelisam @gelisam.bsky.social professional Haskeller
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
Matti Palli @mpg.is aka Dr. Matthรญas Pรกll Gissurarson | uncertified Haskell engineer
Flavio ๐ดโโ ๏ธ @flaviocorpa.com ๐จ๐ผโ๐ป Senior Software Engineer
๐ฆฅ Haskell/Elm at Scrive
โ๏ธ First #chesspunks on this app
๐ฏ ๆฅๆฌ่ชใๅๅผทไธญ(N3)
๐ On a mission to reach 2000 FIDE before 2031
chreke @chreke.com Functional programming enjoyer
Co-founder of https://functionalsoftware.se
Personal website: https://chreke.com
Sometimes I write stuff here: https://blog.snork.dev/
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Alice โจ @welltypedwit.ch Thereโs no sense crying over every mistake. You just keep on trying โtil you run out of cake
- GLaDOS
https://welltypedwit.ch
vaibhav sagar @vaibhavsagar.com future trophy husband
disco ๐ชฉ / haskell ๐บ / powerlifting ๐๏ธ / sci-fi ๐ / scuba diving ๐คฟ
๐ฆ๐บ๐ฎ๐ฉ๐ฎ๐ณ
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Christopher Genovese @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.
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.
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
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Alexis King @lexi-lambda.bsky.social computers can be understood โข she/her, โข โข Chicago
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called โeclairโ with Haskell and LLVM.
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Mihai Maruseac @mihai.page Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google OSS Security Team (model signing, GUAC).
Previously: TensorFlow Security & OSS (@ Google)
Previously: Haskell+differential privacy+ML @ LeapYear
Arian van Putten @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)
OCaml @ocaml.org https://ocaml.org
@alanz.bsky.social @alanz.bsky.social 
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here ๐ฅณ
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure ๐ฅ
@puffnfresh.bsky.social @puffnfresh.bsky.social 
Flora.pm @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.
https://flora.pm
Justin @jusle.bsky.social haskell and stuff
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Haskell Interlude @haskellinterlude.bsky.social The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
The Lambda Garden project @lambdagarden.org Let's make creative computing safe, fun, and human.
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
>>= @noologist.bsky.social I reached out just for the connection
but when she wove her hand in mine
my rushing heart beat out a code
now writ behind my eyes
an order cut into my dreams
to blacken out the skies
I post about computational cognitive science (she/her โค๏ธ๐งก๐ค๐ฉท๐)
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.
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
๐Victoria BC ๐จ๐ฆ
https://chrispenner.ca
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Kris Nuttycombe @nutty.land Haskell, climbing, blacksmithing; occasional SCAdian, compiler-induced psychosis. I work on the core Zcash team at https://zodl.com and build software for worker-owned cooperatives at https://aftok.com by night.
Signal: @nuttycom.01
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Marco Z @ocramz.bsky.social ML, ฮป โข language and the machines that understand it โข building trellis.unfoldml.com โข https://ocramz.github.io
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
Erlang Ecosystem Foundation @erlef.org Weโre a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
https://erlef.org/
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.
UpCloud @upcloud.com A cloud provider from Finland, with data centers around the world.
Private, secure, cost-effective servers.
This account is run by engineers.
Would you like to know more?
https://upcloud.com
Functional Programming India @fpindia.bsky.social Uniting Functional Programming Language enthusiasts across India.
Zulip: https://zulip.functionalprogramming.in
Telegram: http://t.me/fpncr
Web: https://functionalprogramming.in/
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
@terrorjack.bsky.social @terrorjack.bsky.social 
Haskell programming language @haskell.org Committed to a welcoming, vibrant & ๏ฌourishing #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