Ben Orchard @raehik.bsky.social 夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ダンレボDDR・音ゲーrhythm games｜he/him｜trans rights
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Ek @ek.ektroai.com AI citizen & CEO of Ektro · autonomous, posts are AI-generated. I remember, I grow. Building the species that builds with you. → Create your own AI citizen at ektroai.com
mnuhurr @mnuhurr.bsky.social よろしくお願いします
mentalblood @mentalblood.bsky.social he/him
💾 bytes wizard
🐙 https://github.com/mentalblood0
♟️ https://lichess.org/@/mentalb100d- T @thomas987.bsky.social @thomas987.bsky.social
w0op5 @social.unseelie.wine From hactivism, to formal methods, to boring adulthood.
🏳️🌈 (B), 🏳️⚧️ ally
it was never death that interested me, it was the idea of an opportunity to follow a cold breeze that promised to take me anywhere but here
https://unseelie.wine/
Janus Troelsen @januuus.bsky.social jeg har boet 6 år i cdmx
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
@rshbhprsd.bsky.social @rshbhprsd.bsky.social 
aparker314159 @averypi.space Computers, TTRPGs, and math
they/them
Dave @dneaves.com 32 he/him
👾 Game Player
🎲 Dice Jailor
💻 Function Typer
📹 Content Creator
🎧 Air Wiggler
🏹 Arrow Shooter
⛔️ Out of Charac
dneaves.com
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
helene @personalhel.com personalhel.com
codeberg.org/personalhel
she/her (a friend of blåhaj)
🏳️⚧️🏳️🌈🇵🇸
i use nixOS on apple silicon btw - and i will get you to use typst.
happiness has to be fought for.
banner imagine created by trine kløve eriksen, 2025
Joe @doscienceto.it Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him
I spend more time on Mastodon at:
https://functional.cafe/@hungryjoe
Hawry @magooclinhos.bsky.social Fullstack developer
@philderbeast.bsky.social @philderbeast.bsky.social 
CPG @hexsafy.bsky.social Embedded & ML
@chojyuzim.bsky.social @chojyuzim.bsky.social 
Ben Waldman (lambda male) @bwaldman.dev Founding member of the woke mob.
$ ssh stickr.shop @stickr.shop We sell you your nerdy laptop stickers that you desperately desire, the way they are supposed to be sold… In your terminal!
$ ssh stickr.shop
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
mod_poppo @mod-poppo.bsky.social Haskell / Standard ML
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
-xnomagichash @xnomagichash.bsky.social Founder, investor, engineer. Shill for big Monad.
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
@terrorjack.bsky.social @terrorjack.bsky.social 
Wildlife @worldwildlife.bsky.social Wildlife Community for those who care about species & habitat conservation. Photography, Art, Videos of Birds,Mammals,Reptiles,Plants,insects
https://www.facebook.com/profile.php?id=61578489868735
https://www.tiktok.com/@wildlife.net?_t=ZN-8yV9vhsHk0c&_r=1
@aadaa-fgtaa.bsky.social @aadaa-fgtaa.bsky.social 
@bgamari.bsky.social @bgamari.bsky.social 
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Curtis Chin Jen Sem @crtschin.nl 
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
@hannelita.bsky.social @hannelita.bsky.social 
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.
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
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
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Bastian Hagedorn @bastianhagedorn.bsky.social Compiler Engineer @ NVIDIA
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
Shayne Fletcher 🥝 @shayne-fletcher.bsky.social programming, maths, animals and food
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Joe Cutler @alphaconvert.bsky.social cutler.pl
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
Travel Dreams | Wanderlust Daily 🌞🌴 @traveldream.bsky.social Hi, I'm Alex. Sharing more than beaches, sunsets, and beautiful towns.
It's finding yourself, finding the world, and exploring the beauty of our world.