Taylor Smith @taylorjsmith.bsky.social 🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
edwintorok.eurosky.social @edwintorok.eurosky.social 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
@cobnyc.bsky.social @cobnyc.bsky.social 
business goose🪿 @goose.art seattle’s most businessy goose. honk
status: grinding to become the worlds first heelying goose
@waltsharpe.bsky.social @waltsharpe.bsky.social 
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Cong Ma @mc-pony.bsky.social PhD student at University of Waterloo
https://mc-pony.com
@arthur-ionescu.bsky.social @arthur-ionescu.bsky.social Researchgate profile: https://www.researchgate.net/profile/Arthur-Ionescu/research
Philpapers profile: https://philpeople.org/profiles/arthur-ionescu
Mastodon profile: https://mastodon.social/@ArthurI
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
-xnomagichash @xnomagichash.bsky.social Founder, investor, engineer. Shill for big Monad.
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
@jhjackyt.bsky.social @jhjackyt.bsky.social - M @mkolosick.bsky.social @mkolosick.bsky.social
- P @plumenator.bsky.social @plumenator.bsky.social
Chris Keele 🥁🥁🎉 and 6 others @christhekeele.social You've met with a terrible fate, haven't you?
All opinions expressed are not my own, and strictly reflect the views of your employer.
nerd ~ #T1D ~ he/him
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. — Compilers, WebAssembly, Java, Rust, Go — prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit — organizer Papers We Love Milano
evacchi.dev
Internet Hedgehog 🦔
@ezhik.jp A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik
Mike Samuel 🟣 @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Jiří Beneš @jiribenes.com Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
John Clements @jbclements.bsky.social scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
@delob.bsky.social @delob.bsky.social 
Dani Díaz @diazcarrete.bsky.social 
Emory 🩶 @emory-f8.bsky.social I write dark Victorian fiction and specialize in the long 19th century.
She/Her 🏳️🌈🇪🇸✡️ (I'm always kind)
#writer #historian #Lesbian #sapphic #wlw #Hispanic #feminist #goth #vampires #jpop #bibliophile
NO DMs | Terfs & Narcissists DNI
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Rafael Ferreira @rff.bsky.social 
asa @anglesideangle.dev nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/- W Chentian Wu @wuct.bsky.social 26’ Math & CS undergrad @ UW-Madison
PL / Logic / Cat Theory 🐈
https://wuct.site
Applying for PhD starting from 2026 Fall
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Raghav Agrawal @impactology@mastodon.social @impactology.bsky.social Former Diamond Dealer | Turning research on learning, cognition, and systems into interfaces that reduce confusion, cost and decision stress.
https://twitter.com/impactology
Th. Ma. @thierry.marianne.io 
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores 🚀
https://buildstash.com
Chris Ogden @ctogden.bsky.social Walton, NY
@jdemuijnck.bsky.social @jdemuijnck.bsky.social Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
Nick Rioux @nickrioux.bsky.social Programming will get better.
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
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/
avee @aveedev.bsky.social recreational programming
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
Serra Dane @serradane.bsky.social PhD student at UMich CSE
安全第一 @kripkejoyal.bsky.social 本日のKYは、ヘルメット安全帯を装着し、
高次元圏作業時には安全圏の使用を徹底します。
作業後には手摺り足場等の現場復旧並びに、
高次切り捨て１圏復旧を徹底します。
今日も一日ご安全に！
Liz Darnell @lizdarnell.bsky.social AI & Trust using Mixed Methods
PhD at TU Dublin
From Montana
Love data, music, dogs, hiking, women's football, and coffee
All opinions are my own
Paul Arnheim-Projekt @paula-projekt.bsky.social nd authors Darknet premium members
#SharingIsTheNewLearning
Von nichts zu viel=Nothing in excess=a little bit of everything
they/them a²+b²=c²=>a²+2ad+d²=(a+d)²
1st & 2nd Shalan theorem:
(0.5d(m²-1))²+d²m²=(a+d)²
(0.5d(((4m³-1)/3)⁰·⁵-1))³+d³m³=(a+d)³
Alan @alanlaidlaw.com HyperTalk Spelunker. NYC.
@alanlaidlaw
linktr.ee/alaidlaw
A.G. @antisignal.bsky.social Field artist / Artiste de terrain. Interdisciplinary artist-researcher / Artiste-chercheur interdisciplinaire. Montreal, Quebec.
@chateromar.bsky.social @chateromar.bsky.social Humble forever
Like meeting people and share culture.
Humanity first❤️
Love lead
Sheera @sheera82.bsky.social 
Mitch Wand @mitchwand.bsky.social CS Professor at Northeastern University; supporter of Democracy; Jew
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
Dev Shorts @devshorts.in Byte Sized Developer Education | Newsletter on Substack
https://www.devshorts.in/
λdu.du @handle.invalid 🇧🇷
logic | PLT | Concurrency