Following

@samderbyshire.bsky.social

France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Ian Duncan @iankduncan.com I used to be smart, now I just try hard. Haskell enthusiast Me, https://iankduncan.com Maker, https://wireform.systems/ Engineering at Mercury, formerly Forge, CircleCI, others
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types! https://ipv3.org PhD student @tuberlin.bsky.social Ask me about EGraphs, Compilers, GPU-Computing, and Rust SIGPLAN AV Member Opinions are those of your pet
ncnvrgnt @inconvergent.net procedural & graphics artist parallel programmer advisor at the office of alternative geometry website | https://inconvergent.net gallery | https://img.inconvergent.net/plot/ a game | https://boxtype.app store | https://buy.inconvergent.net
@terrorjack.bsky.social @terrorjack.bsky.social
@bgamari.bsky.social @bgamari.bsky.social
mod_poppo @mod-poppo.bsky.social Haskell / Standard ML
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Chris Franklin @errant-signal.com Failed Media Critic, Washed Up YouTuber, Formally Trained Self-Loather | Professional also-ran | Cringe Elemental | (he/him) | linktr.ee/campster
shaun @shaunvids.bsky.social https://www.twitch.tv/shaun_vids https://www.youtube.com/@Shaun_vids https://www.patreon.com/shaunfromyoutube
Luna @moonbase.lgbt 30-something queer with several cameras she/it see also: https://pony.social/@luna
Peli Grietzer @peligrietzer.bsky.social Mathematized philosophy of literature peligrietzer.github.io
METR @metr.org METR is a research nonprofit that builds evaluations to empirically test AI systems for capabilities that could threaten catastrophic harm to society.
@jameshaydon.bsky.social @jameshaydon.bsky.social
SPiNDLE @spindlesong.bsky.social i am a drawer / any pronouns / MDNI / sometimes drawing 🔞 // personal alt: @noctsilk.bsky.social // Fanart: #SpindleClub // Lore & Yaps: #SpindleLore // COMMS CLOSED - I don't know when I'll open them //
Tantacrul @tantacrul.bsky.social Composer, designer and YouTuber.
Zi @majormcdoom.bsky.social Canadian indie VR dev / founder @cozycubegames.bsky.social. Wishlist 🐧Penguin Festival🐧: https://store.steampowered.com/app/3552090/Penguin_Festival/ Past: Owlchemy Labs. Proud husband and shiba dad. - 🚫 gen AI - 🚫 genocide - ✊ trans rights
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
Nnotm @nnotm.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
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
mcc @dryad.technology glitch girl — I do not trust this place and would prefer you follow me on Mastodon: https://mastodon.social/@mcc — A mixtape for you: https://bsky.app/profile/dryad.technology/feed/listening-to — Avatar by @urnash.com‬ — 🏳️‍⚧️🏳️‍🌈 — she/her
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.
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.
Greg Egan @greg29.bsky.social Trump is cancer.
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
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.
teo @doublenegation.bsky.social writes Haskell mostly | loves public transport | studied philosophy | 🏴 | | they/them
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
da share z0ne @dasharez0ne.bsky.social GET MY T-SHIRTS HOODYS MUGS AT https://dashare.zone - DAILY EXTRAS BY EMAIL AT https://patreon.com/dasharez0ne WHERE U WILL ALSO FIND "DA SHARE Z1NE", STICKERS AND MORE SHYT -DASHARE.ZONE ADMIN
John Ericson @johnericson.me https://github.com/ericson2314/ Also volunteer member of @etany.org
Supper Mario Broth @mariobrothblog.bsky.social Additional obscure Mario content for http://suppermariobroth.com. Now on Patreon: https://www.patreon.com/suppermariobroth
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible Working on a book on topos theory
Tom Francis @pentadact.com Designer/writer/coder on Gunpoint, Heat Signature, and Tactical Breach Wizards. More on those and other things I write or do or be: https://www.pentadact.com/
Ashley @khyperia.bsky.social fractal witch, space dork 🔭 ~ she/her, anxiety (AvPD, GAD), 🖤🩶🤍💜 ~ rust compiler engineer at https://hexcat.nl my general life posts are here, techy thoughts are on https://mas.to/@khyperia
Randall Munroe @xkcd.com
Natalie Wynn @contrapoints.bsky.social Ex-philosopher, ex-Tweeter. Email: info@contrapoints.com
Dan Olson 🔜 Saskatchewan @foldablehuman.bsky.social Documentarian
Katelyn Gadd @kg.luminance.org 🔞NSFW .NET, Heaven Lens, Viramate, WASM spec, JSIL, Grim Fandango Remaster, Escape Goat 2, IMVU, Guild Wars, etc icon: sashacall Opinions mine only https://luminance.org/
F @fumieval.bsky.social @fumieval.bsky.social
Tom Scott @tomscott.com I make things. They’ll probably come back to haunt me in a few years’ time. https://www.tomscott.com/
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
tobyfox @tobyfox.undertale.com chicken
Adam Neely @adamneely.bsky.social Bassist, musician, creator ™️
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. Blog at wickstrom.tech, work at antithesis.com
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
Erika @rrika9.bsky.social GPU compiler dev, reverse engineer, mostly in Glasgow
lynn @chordbug.bsky.social math music conlangs weird toys ⎃ https://lynn.github.io/
Freya Holmér @freya.bsky.social 🎮 tech artist/shader sorceress/math dork 🌐 acegikmo.com 🎥 youtube.com/@acegikmo 🏗️ Shader Forge / Shapes / https://half-edge.xyz 📡 ex-founder of Neat Corp 🪡 neoluddite my kids: 🥪 @toast.acegikmo.com 🥗 @salad.acegikmo.com 🐈‍⬛ @thor.acegikmo.com