Jamie Kelly @sisyphussmile.bsky.social Aberdonian in Glasgow | Public Sector Bureaucrat | Historian of 18th century Scotland | PhD on SSPCK
Recently dusted off the keyboard ✍🏻⌨️
Zotero fangirl.
`` dp by @electricgraayhem.bsky.social (March 2026 ❤️)
@catawampless.bsky.social @catawampless.bsky.social 
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/
@bijkerhans.bsky.social @bijkerhans.bsky.social 
@joelmccracken.bsky.social @joelmccracken.bsky.social 
André @zro.fm Yes, the Cat is real, no, he does not have an account. I dunno, he was mad about a measurement or something.
The handle is 0, means nothing
❤️ @lanooba.com
🧭 To the left of the Cat
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
DAILYSPARK @dailyspark.bsky.social Stay informed with DAILYSPARK, a reliable online news source delivering the latest breaking news and entertainment updates.
💼 Media & News 🔔Turn on Notifications
Michelle A @pettales070.bsky.social Welcome to my little corner of the internet, where I share my passion for all things furry and four-legged! As an animal lover, pet parent, and storyteller, I'm excited to take you on adventures with my faithful companions.
Bayesian Bacon Brit @bayes-bacon.bsky.social computer scientist; centrist until the centre moved; social capitalist- T @tonikaihola.bsky.social @tonikaihola.bsky.social
@objetsinfernaux.bsky.social @objetsinfernaux.bsky.social 
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
@mgsloan.bsky.social @mgsloan.bsky.social 
Nnotm @nnotm.bsky.social λ
borar @borar.bsky.social 
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Benjamin P Taylor @antlerboy.com systems | cybernetics | complexity
public | service | transformation
business evolutionary | avid learner
#wordrotator #poastrationalist
https://chosen-path.org
connect at antlerboy.com
redquadrant.com
publicservicetransformation.org
skeeting personally
@crnflke.bsky.social @crnflke.bsky.social 
This Adattato @candalua.bsky.social TV-series ex-addict (now relapsed), Guzzi lover, extreme bug hunter, playing the white and black thingies on pianos, pretending to draw.
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@tad.codes @tad.codes 
Ryan Gallagher @zero-g-ddr.bsky.social iOS Developer @Transport for London. Develops on the iOS TfL Go app: https://tfl.gov.uk/maps_/tfl-go
Opinions are my own and not my employer. LinkedIn: https://www.linkedin.com/in/ryan-gallagher-38560b232/
nihil2501 @nihil2501.bsky.social 
twitchard @twitchard.bsky.social Software hot takes, shower thoughts, and parenting tales.- S shinzui @shinzui.bsky.social Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.
Indefinitely AWOL @xargs.io Redirect to: https://bsky.app/profile/xargs.io & https://blog.xargs.io/page/me/
sander @sandydoo.me code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
Sarah McManus @sarahm.bsky.social 
kepano @stephango.com making @obsidian.md
Daniel Bachler @danielbachler.de Head of Engineering at @ourworldindata.org; likes nuanced discourse, weird creatures and programming languages with ADTs
Luigi Berrettini @berrettini.bsky.social Architect, distributed systems and #EDA enthusiast, #DDD advocate, #AWS aficionado
Opinions are my own
chris bodhi @newschematic.org Whatcha working on?
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
📎🐸🕊️ZhSigma@332ppm≅Σx,x∈S={🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat;🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴;Nno🇮🇸🇫🇴
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
zimbatm @zimbatm.com I like to build things.
Helping companies adopt #Nix and #NixOS at https://numtide.com
@rjk1.bsky.social @rjk1.bsky.social 
Luis Pedro Coelho @luispedrocoelho.bsky.social Content creator for Elsevier, NPG, and others
Microbiome researcher
Based in Brisbane
@kyebae.bsky.social @kyebae.bsky.social 
Håkon Rossebø @hakonrossebo.bsky.social Software developer. Web, functional programming, Elm, F#, cyclist, photo enthusiast. Consultant @bouvet Kristiansand- E @eliaslfox.bsky.social @eliaslfox.bsky.social
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Mathias Staab @mastaa.bsky.social Engineering @ Wire
Patrick @patrick.social old internet guy from a cold place
founder clovyr.app
was https://twitter.com/pmylund
https://patrick.computer
Anoop Kunjuraman @anoop.kunjuraman.com Engineering @ AWS. Views are my own.
jacek szymanski @jcszymansk.bsky.social With sufficient thrust, pigs fly just fine. However, this is not necessarily a good idea. It is hard to be sure where they are going to land, and it could be dangerous sitting under them as they fly overhead.
-- RFC1925- A @amayerson.bsky.social @amayerson.bsky.social
Alexander Klink @alech.de Senior SecEng @ AWS Clean Rooms. While I do _work_ for AWS, I do not _speak_ for them.
Stefan V. @sv-97.bsky.social Pure mathematics master's student, working on applications around signal processing, nonsmooth regression & changepoint detection using Rust and Python.
I'm also into SciFi and Tea 🍵
Guillaume Bogard @guillaumebogard.dev (he/him) Developer (Haskell, Rust). Enjoys FP and static typing. Interested in databases and distributed systems. Theme park enthusiast 🎢 🏳️🌈 🇪🇺
Nick Sweeting @sweeting.me learning about brains + internet archiving ⑊ aka @theSquashSH on X ⑊ @ArchiveBox.io ⑊ 🚴♂️🏍🎵🗻 ⑊ 沪老外 ⑊ past: @MonadicalHQ, @RecurseCenter '14
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.
milia @milia.bsky.social mostly retweet ∴ fr, en ∴ feminism ∴ programming ∴ cosplay ∴ do stuff at @guerilla.studio
I mlem.
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
@johnky.bsky.social @johnky.bsky.social 
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
Espen Trydal @espenkt.bsky.social PhD-student neuroimaging, Stavanger Medical Imaging Laboratory (SMIL)/Stavanger University Hospital- A Adam Conner-Sax @adamcs.bsky.social He/Him Using data-science to empower progressives and make things better, especially by making them more blue.
https://blueripplepolitics.org
@orphaninstance.bsky.social @orphaninstance.bsky.social 
Monika Viktorova @mviktoro.bsky.social we fight dystopia by resisting cynicism and apathy #tech #aiethics #humanrights #UBI #booksky #crafts
🇧🇬🇨🇦 she/her | views my own
penelope @pysm.dev she/her
Manuel Gómez @mgomez.ch Estepicursor lupolipafóbico. Te audire non possum—musa sapientum fixa est in aure. fix (10×). No longer avoiding success at all costs. DFS brain. 👨🏽💻🇻🇪@🇩🇪
alt:
profile picture: mid-30s guy, short black hair, hiking with an envomask
banner: cat in the sun
Steve Jones @sjfloat.bsky.social Types, Principles, Creation, Humanity
Scala's been paying the bills.
I respectfully disagree.
Snacking on cromchy diatomaceous earth 🏳️⚧️ @pyrolagus.bsky.social 28 | she/her | compsci student
HRT 2023-12-11
@fghibellini.bsky.social @fghibellini.bsky.social 
@jhemann.bsky.social @jhemann.bsky.social 
Timothy Perrigo @tperrigo.bsky.social Husband. Father. Software / Data Engineer. Devotee of Philosophy and the Muses (He / Him)
mark @ndrus.bsky.social Co-founder Propel. Making it easy for companies to surface analytics in their product.
Peter Bhat Harkins ✔️ @push.cx Programmer by day, programmer by night.
Blog: https://push.cx Bootstrapping: https://recheck.dev
I run https://lobste.rs and stream office hours Mon+Thu: https://push.cx/stream
For people migrating, I was @pushcx on Twitter. I use he/him.
Alex Argunov @troglotit.bsky.social 🏴
he/him
Juxtin Spaceman @postpunkjustin.bsky.social He/him. FP, retro games, music, political survival. Software eng at GitHub, all opinions are my own. You can also find me at hachyderm.io/@postpunkjustin. Based in sunny Portland, OR.
Michael Maclean @mgdm.net Developer, software architect, former sailor, occasional photographer, sometime cyclist, full-time geek. He/him.
Gerred @gerred.org Building frontier intelligence.
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Eric Budd @ericmbudd.com the econ side of everything. @boulderbedrooms.bsky.social, @BoulderProgressives.org, Better Boulder. he/him.
I run Boulder Colorado Election Voter Guide https://bouldercoloradovoterguide.com and @didtherockieslose.com
Liam Goodacre @liamgoodacre.bsky.social I try to tell computers what to do and sometimes they pretend to listen.
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer- F Foliated @foliated.bsky.social mathematics, philosophy, programming languages, politics, indie games
Luke @gcsgcsgcs.bsky.social 
Leon Bambrick @secretgeek.bsky.social Writer, reader, coder, friend, musician, human; see https://secretGeek.net, https://TimeSnapper.com https://NimbleText.com
Pieces of Mathematics @piecesofmathematics.com I am Francesco Macrì, a passionate, self-taught, and self-directed learner of mathematics.
Website: https://www.piecesofmathematics.com
Mathstodon: https://mathstodon.xyz/@pieces_of_mathematics
mark @ejmg.is él original es infiel a la traducción
poor man, beggar man, thief
computers, economic history, cold war politics, y latinidad 🌹
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
@e__dt @e-dt.bsky.social I'm henry the eighth, I am, I am,