@garden-gnome.bsky.social @garden-gnome.bsky.social I tweet into the abyss so that if I ever become (in)famous people will know where I stood.
Father, software dev guy, 3d printer nerd...
squatting on http://openhatemail.com which I'll probably never use because who needs that hatred
Bryan Grounds @bagrounds.bsky.social 💕 Husband | 🦸🏻♂️ Father | 👨👩👦 Son | 🤜🏻 Brother | 🙂 Friend | 🏘️ Neighbor | 🇺🇸 American | 💾 Software Engineer | 🎓 UCSD Graduate | 🪖 USMC Veteran | https://bagrounds.org
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/
Harish Chandramouleeswaran @harish1108.bsky.social Ph. D. student in computer science at the Chennai Mathematical Institute.
Academic webpage: https://sites.google.com/view/harish-chandramouleeswaran
Matt Williams @icklematt.bsky.social Software developer/architect/lead, currently trying to fix email security with the non-trendy kind of AI. Sailing, Scouting, board games and politics geek outside office hours.
Marek Fajkus @turbomack.bsky.social Software engineer. Functional and low level programming. I wrote a lot of UI code because nobody else wanted. Computer mason and proof people can get payed for hobbies.
Gone from twitter https://x.com/turbo_MaCk
https://turbomack.github.io/
Anupam λ≡ @haskman.bsky.social “It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage against walled gardens"
#Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Atheism
Casey Muratori @cmuratori.bsky.social Programming: computerenhance.com
Comics: meowtheinfinite.com
Salar Rahmanian @salarrahmanian.bsky.social Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems.
My blog: https://www.softinio.com
@pipelineisgushing.bsky.social @pipelineisgushing.bsky.social 
スマートコン @konn-san.com 小人閒居為不貞寝 @mr_konn from Twitter
PLT_cheater @cheater00.bsky.social 
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Christian F.K. Schaller @cfks.bsky.social Director of Engineering for Display Systems at Red Hat
Shayne Fletcher 🥝 @shayne-fletcher.bsky.social programming, maths, animals and food
Eva Borgwardt 🔥 @evaborgwardt.bsky.social great to be here
nat'l spokesperson @ifnotnowmovement.org 🔥
Eduardo Serrano @eduserrano.com Editor. Brazil. || The Secret Agent, Bacurau, Aquarius, Boi Neon, War Pony || https://www.imdb.com/name/nm3810896/
andrii @unorsk.com L∃ⱯN ∩ VEGEMITE
Jonathan Merritt @lancelet.bsky.social AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Tim Shorrock @timshorrock.bsky.social Journalist, writer, musician, DC since 1982. Living with grief since losing my daughter Roxanne in March 2024. Writing on Korea, Japan, Cold War, Capitalism. Crazy Bob Dylan fan. Author of SPIES FOR HIRE. Was just exiled from X by vengeful hacker-thieves.
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
int_ijk @tbrunner.bsky.social irl i provide care to dependent adults and read algebra, logic, & code.
berkeley, maine, ithaca, eugene. nominal vet (usnr '71-73), nps, hac, sri alum
email: tbrunner@uoregon.edu
commandeer
pronouns: thee/thou
#mathsky #autism
Marco Devillers @asmodaie.bsky.social Likes to shuffle bits. Shares and/or likes don't mean endorse but mean interesting to me. Programming languages enthusiast. https://egel-lang.github.io
@gclaramunt.bsky.social @gclaramunt.bsky.social Not your kwisatz haderach. Father, software surgeon, code juggler, Scala fan and FP enthusiast. Full heap developer. The voices in my head tell me what to type
Thu @noteed.bsky.social 
Pavel @spavel.bsky.social Raised gifted; non-practicing.
If your reply doesn't have alt text, I won't see it.
🌐 productpicnic.beehiiv.com 💼 UX Design 🟦 Sick of rectangles 🧑 he/him
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
joao @joao.omg.lol Grief Astronomer
A special snowflake existing in 196883 dimensions
#ActuallyAutistic He/Him
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Josh Arnold @josharnold.bsky.social incubating neural ventures + accelerating ambitious companies.
prev @wharton / @beondeck / @patronusai / @patronusai / @strategyand
お前はもう死んでいる with applied ai.
Andre Videla @andrev.bsky.social I like trains
David Cay Johnston @davidcayjohnston.bsky.social Rochester Institute of Technology professor of practice: law, criminal justice, journalism & political science; Pulitzer Prize for NYTimes tax reporting; 4 NYT best sellers; DCReport.org co-founder; 8 grown children; AKA Mr. Jennifer Leonard since 1982.
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.
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Ian Wright @ianpaulwright.bsky.social writer
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #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
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
James Meech @jmeechy.bsky.social 
John Louge @jlouge.bsky.social Current Lead Directive Manager at UAL Association of Languages 
Tobi @tpflug.bsky.social 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
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
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
JMCT @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
Тsфdiиg @tsoding.bsky.social Recreational Programming
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
- http://twitch.tv/tsoding
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
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)
Current Affairs @currentaffairs.bsky.social A magazine of political commentary, analysis, and amusements.
https://linkin.bio/currentaffairsmag
Mike Jackson @volkadav.bsky.social software wrangler, chemist, bricoleur, anarcho-socialist, texpat, husband, father.
anti-bigotry in any form. equal rights for all!
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.
Fabio Mogavero, Ph.D. 🌍🇪🇺🇮🇹 @fabiomog.bsky.social A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
Henry Garner @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
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Talia Ringer @taliaringer.bsky.social 
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
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.
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@rtfeldman.bsky.social @rtfeldman.bsky.social 
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/
@jonascarpay.bsky.social @jonascarpay.bsky.social 
rmunoz @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.
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
Michael Mroz @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.
Igal Tabachnik @handle.invalid I like functions.
Rémi @remilouf.bsky.social CEO & co-founder at .txt. I wander.
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
Michał Płachta @mplachta.com λ coder • 📙 Author of "Grokking Functional Programming" • #Scala • Learning through teaching • https://michalplachta.com
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
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@alanz.bsky.social @alanz.bsky.social 
EqualToHeaven @equaltoheaven.bsky.social World's #1 Haskell Influencer
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
@puffnfresh.bsky.social @puffnfresh.bsky.social 
@codingedgar.com @codingedgar.com 
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
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Bryan Cantrill @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.
Thankful Nico🦃🇵🇸🪂🔻 @watherboi.bsky.social 🇮🇷🇲🇽Free Mumia, Free Palestine, Free Congo
Grim Bones @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.
Atabey Kaygun @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
Craig Unger @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.
John Cusack @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
Jason Hickel @jasonhickel.bsky.social Professor at ICREA, ICTA, and the Department of Political Science & Public Law at UAB • Author of THE DIVIDE and LESS IS MORE • Global inequality, political economy and ecological economics
Sarah Kendzior @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/
Julie K. Brown @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. Jkbjournalist on Substack.
four seasons joe (not the hotel) @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 @cybai.dev Taiwanese, never Chinese!
λ. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
George from CAVDEF @cavdef.bsky.social Head researcher into election fraud, human trafficking, and the dark intersection of crime and politics. Check out https://cavdef.org/
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others