Conor Sheridan @qucat.bsky.social Just a random ephemeral blob interested in understanding the world around it.
Independent researcher interested in using category theory to understand geometry and information.
1st class MSc in Mathematical Science.
I am actively seeking a PhD position.
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
Jeremy Harrison @morosoph1729.bsky.social Cuber, singer, thinker, reader.
Boost Blue @boostblue.bsky.social Alt Bluesky app for iOS and Android:
- Full iPad support
- Saved reading position
- Following feed filters
- Custom themes and fonts
- A lot of other stuff
Created by @jaxonevans.social
Download: https://onelink.to/boost-blue
Ben Orchard @raehik.bsky.social 夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ダンレボDDR・音ゲーrhythm games｜he/him｜trans rights
ESA Operations @operations.esa.int From Earth orbit to deep space: sharing the excitement of real-time mission operations at the European Space Agency. Home for ESA's teams working on Planetary Defence, Space Weather, Clean Space & Space Debris.
esa.int/Operations
esa.int/Space_Safety
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
NASAWATCH @nasawatch.bsky.social NASAWATCH.com - Unofficial Space News Since 1996
NASA Webb Telescope @nasawebb.extwitter.link ⚠️ MIRROR OF twitter.com/NASAWebb
⚠️ If you own the original account and want to claim this, please contact @twttr-mirrors.bsky.social
HiRISE Beautiful Mars (NASA) @uahirise.bsky.social Images from the High Resolution Imaging Science Experiment (HiRISE) on board the Mars Reconnaissance Orbiter (NASA). We are based out of the Lunar and Planetary Laboratory at the University of Arizona in Tucson, AZ. https://uahirise.org
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
Rune Skovbo Johansen @runevision.bsky.social Indie game developer, procedural generation enthusiast, Dane in Finland. I made Eye of the Temple, now working on The Big Forest.
📍 Turku, Finland
🔗 https://runevision.com
https://www.youtube.com/c/runevision
https://mastodon.gamedev.place/@runevision
PRO Oisterwijk - Sociaal & Groen @prooisterwijk.bsky.social PRO is de progressieve partij van Oisterwijk, Haaren, Moergestel en Heukelom. ❤️🧡💚
Rob Jetten @minister-president.bsky.social Minister-president van Nederland 🇳🇱🇪🇺
Redactie door de Rijksvoorlichtingsdienst.
Yuri Not Igor @ydewit.bsky.social Cryptic posts in general
AT Protocol Developers @atproto.com Social networking technology created by Bluesky.
Developer-focused account. Follow @bsky.app for general announcements!
Bluesky API docs: docs.bsky.app
AT Protocol specs: atproto.com
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
Scientias @scientias-nl.bsky.social De grootste populair-wetenschappelijke nieuwssite van de Benelux. Dagelijks nieuws over astronomie, ruimtevaart, geschiedenis, onze planeet en meer!
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Diligent Dilettante @diligentdilettante.bsky.social Unlicensed mathematician. Staff engineer at Bumble. Late-diagnosed autistic. Approaching the limit.
Sebastian Aaltonen @sebaaltonen.bsky.social Building a new renderer at HypeHype. Former principal engineer at Unity and Ubisoft. Opinions are my own.
@andrherr.bsky.social @andrherr.bsky.social 
Casper Boot @casperboot.bsky.social Vormgever @zilverblauw.bsky.social
Tuinfluencer, schrijver en podcastmaker
Medewerker Bezoekerscentrum Oisterwijk @natuurmonumenten.bsky.social
Liefde voor natuur en de Efteling 🍄✨
Gergő Érdi @gergoerdi.bsky.social Finite tape Turing machine
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
@bgamari.bsky.social @bgamari.bsky.social 
Facundo Domínguez @facundominguez.bsky.social Software engineer, father, based in Uruguay
@terrorjack.bsky.social @terrorjack.bsky.social 
Cynthia Pallandt @cynthiapallandt.bsky.social Waterschapsbestuurder, amateurfotograaf. Houdt van rechtvaardigheid, dieren en de Efteling.
Applicative Code @code.applicative.co IDE for functional programming on macOS • currently in beta
Interested in beta testing? Just DM an email address for a TestFlight invitation.
Karen Hao @karenhao.bsky.social NYT bestselling author of EMPIRE OF AI: empireofai.com. ai reporter. national magazine award & american humanist media award winner. words in The Atlantic. formerly WSJ, MIT Tech Review, KSJ@MIT. email: http://karendhao.com/contact.
Robin Kaarsgaard @manchegobaby.bsky.social I like categories, quantum computing, and programming languages, preferably all at once. Assistant Professor at Dept. of Mathematics and Computer Science at the University of Southern Denmark.
Jan van Brügge @jvanbruegge.cerberus-systems.de 
Haskell Interlude @haskellinterlude.bsky.social The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
ICFP Programming Contest 2026 @icfpcontest.bsky.social A Programming Contest associated with ICFP and organized yearly since 1998!
https://icfpcontest2025.github.io/
Bob Coecke @coecke.bsky.social Chief Scientist at Quantinuum, ex Oxford Professor, author of Picturing Quantum Processes & Quantum in Pictures. Also, composer/musician at Black Tish, inventor of Quantum Guitar, playing duets with orchestral organ.
Michael Chavinda @mschav.bsky.social Curious about many things
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Mark Hawthorne @markhawthorne.bsky.social Ethical vegan and the author of "The Way of the Rabbit," "Striking at the Roots," and a few other books. Board member of Save the Buns. MarkHawthorne.com.
Monoid Mary @argumatronic.bsky.social just a solarpunk hillbilly living in the gasoline crack of history
i get my glory in the desert rain
David Corfield @davidcorfield.bsky.social Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
Sebastiaan de With @sdw.bsky.social human interface design
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
Björn Ottosson - making Island Architect @bottosson.bsky.social Making Island Architect, a cosy town building game. Also game programming teacher and consultant. Previously 10 years at Frostbite and EA DICE. Creator of Oklab.
Whishlist now!
https://store.steampowered.com/app/3079100/Island_Architect
Auke Hoekstra @aukehoekstra.bsky.social Sharing hope and debunking FUD against electric vehicles and renewable energy. Director NEONresearch.nl @TUeindhoven Founder Zenmo.com.
Dr Eugenia Cheng -- no advice please -- @dreugeniacheng.bsky.social Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
Wouter Monden @woutermonden.bsky.social Comedian, podcastmaker, hardloper en talkshowsfluisteraar des Vaderlands. Nu op tournee met voorstelling 'Met Blokjes'
https://www.woutermonden.nl/speellijst
https://linktr.ee/woutermonden
@smelc.bsky.social @smelc.bsky.social 
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
Anne van Kesteren @annevk.nl Web Standards Engineer at U+F8FF.
Tweag by Modus Create @tweag.io Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
Glen Peters @glenpeters.bsky.social Energy, emissions, & climate
CICERO Center for International Climate Research, Oslo, Norway
https://cicero.oslo.no/en/employees/glen-peters
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
LUBACH @lubach.nl Vanaf 31 augustus om 21.00 op Videoland!
KNMI @knmi.nl Koninklijk Nederlands Meteorologisch Instituut (KNMI). Volg ons voor weerwaarschuwingen, meldingen over aardbevingen en belangrijk nieuws. Inclusief een RSS-feed voor nieuws- en klimaatberichten.
Actuele waarschuwingen? Download de KNMI-app. 📲
Firefly Aerospace @firefly-aerospace.bsky.social 
Nikita Lisitsa @lisyarus.bsky.social He/him
I teach C++ & computer graphics and make videogames
Working on a medieval village building game: https://youtube.com/playlist?list=PLSGI94QoFYJwGaieAkqw5_qfoupdppxHN&cbrd=1
Check out my cozy road building traffic sim: https://t.ly/FfOwR
Jelle Brandt Corstius @jellebc.bsky.social 
Boudewijn Bollmann @boudewijnbollmann.bsky.social Rotterdam (NL) based photographer and longtime zine-maker ✂️📐
Website loaded with stories (both personal work and commissioned): www.boudewijnbollmann.nl
Nonstop Eurotrip 🇺🇦 @nonstopeurotrip.com I Travel & Explore the World! 🌍🏔️🏝️🏞️🚞🚅🚈🚌
A new YouTube video every Friday @ 12pm UK / 1pm CET / 7am EST / 7pm ICT - Sub Here 👉🏻 https://youtube.com/@nonstopeurotrip
Martin van der Hooft @martinvanderhooft.bsky.social Hillie | (Klein-)Zoontjes & Aanhang | Zwolle l ScoutShop | Verhalenmaker | Interviewer Roady | http://Gelukcentraal.nl | Links in alles- incluis stemmen - sinds 1961
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Sam Lindley @reifyreflect.bsky.social 
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
@mgsloan.bsky.social @mgsloan.bsky.social 
Prof.dr. Beatrice de Graaf @beatricedegraaf.bsky.social Historian | Distinguished Professor Utrecht University | „Fighting terror after Napoleon (CUP)” | security, terrorism, radicalization, crisis | Adapt-Academy.nl | Tendit in ardua virtus.
George Monbiot @georgemonbiot.bsky.social Ungainly on land
Tegenlicht @vprotegenlicht.bsky.social Welcome to the real world. Prik door de waan van de dag en zie wat er schuilgaat achter de ontwikkelingen van vandaag.
https://t.mtrbio.com/tegenlicht
Paul Irish @paul.irish web performance and DevTools, mostly.
In '97 I wrote a paper for English class on HTML Image Maps. I haven't changed much since.
Jason @antitwister.bsky.social Hypergeometry connoisseur
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.
Eric Wastl @was.tl Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
buster @axionbuster.com constant, yet volatile
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera- D @dfeuer.bsky.social @dfeuer.bsky.social
- H @hoegenaamd.bsky.social @hoegenaamd.bsky.social
Bridgy Fed for the fediverse @ap.brid.gy Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your account to the fediverse, follow this account.
To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.
More i…
Egor Kloos @dutchcelt.com The Web, food & drink, photography, music, travel. Curiosity is everything.
Posts are my own - he/him - Gen X - 🇳🇱🇮🇪
Blog: dutchcelt.nl
For the full web nerd: @dutchcelt@mastodon.social
Sam Gerrits @samgerrits.bsky.social · Aardwetenschapper · (geo)journalist · heeft er kijk onder · ava ⇨ Enithka · 🌋 · samgerrits.com
Shayne Fletcher 🥝 @shayne-fletcher.bsky.social programming, maths, animals and food
Helga van Leur ☀️ @helgavanleur.bsky.social Ambassador weather, climate, sustainability and behavior 🌎
Public speaker. TV-host. 
Partij voor de Dieren @partijvoordedieren.nl Voor alle wereldverbeteraars, kritische burgers en idealisten 💚🐷🌏
Sluit je aan! Word lid ✊
Evan You @evanyou.me Husband / Father of two / Founder voidzero.dev / Creator @vuejs.org & @vite.dev
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
@olifantenpaadjes.bsky.social @olifantenpaadjes.bsky.social Binnendoor is nooit om
Datagraver @datagraver.com Helps making useful information out of data.
Loves and promotes #OpenData.
Open to requests but no promises on the results.
In English and Nederlandsch.
https://datagraver.com
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Rutger Bregman @rutgerbregman.com Historian | Author of ‘Utopia for Realists’ (2014), ‘Humankind’ (2020) and ‘Moral Ambition’ (2025) | Co-founder of The School for Moral Ambition | moralambition.org | rutgerbregman.com
📖 substack.com/@rutgerbregman
📺 youtube.com/@rutger.bregman
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
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
Evert Kwok @evertkwok.bsky.social Maakt slechte woordgrappen.
Neil deGrasse Tyson @neildegrassetyson.com Astrophysicist
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
@kolmogorov.bsky.social @kolmogorov.bsky.social The discrete, not the real one. Cockroach math impostor
Abel Jansma @abelaer.bsky.social Compositionality in natural and artificial intelligence || Fellow @emergenceDIEP, University of Amsterdam