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.
Erica Windisch @ewindisch.ontological.observer Working on:
Hyprstream.com - RL environments for distributed open AI-RSI
Ferruleos.org - hardened Linux sandbox OS
Onionshell.ch - tor from a static website
Happy Paintings @happypaintings.bsky.social Miro/Orange
I made Fear & Hunger and F&H2: Termina
SE Gyges @segyges.bsky.social Como todos los hombres de Babilonia, he sido procónsul; como todos, esclavo; también he conocido la omnipotencia, el oprobio, las cárceles.
very sane ai newsletter: verysane.ai
all writing: https://segyges.github.io/
also @antiantiai.bsky.social
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
sai @texoport.in 
Flavio 🏴☠️ @flaviocorpa.com 👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031
Alejandro Serrano Mena @serranofp.com 👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
PLT_cheater @cheater00.bsky.social 
Joe @lgyraoptuhneonvdie.bsky.social Actually autistic
Protect trans children
Land back
Abolish police
Abolish prison
Free Palestine
Theo @t3.gg Full time CEO & YouTuber. Also an investor and developer. More info at t3.gg
Fy @fy6.bsky.social (🏳️⚧️ : Haskell) → Agda 🏳️⚧️
Marco Z @ocramz.bsky.social ML, λ • language and the machines that understand it • building trellis.unfoldml.com • https://ocramz.github.io
🇨🇦 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.
Mihai Maruseac @mihai.page Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google OSS Security Team (model signing, GUAC).
Previously: TensorFlow Security & OSS (@ Google)
Previously: Haskell+differential privacy+ML @ LeapYear
Johannes Drever 🌫️➰💎 @comandingo.bsky.social software developer, haskell, category theory, religionsgeschichte, weird studies
☭. evie @eviefp.bsky.social they/she
commie & queer activist
apprentice field mathematician, functional programming enjoyer
DMs are open
Jacob S. Zelko @thecedarprince.bsky.social 🤓: Applied Math & Biomed Engineer; Research Affl @usask.ca
🔎: Health informatics, public health, applied cat. theory & open source/science
📝: EN/ES/DE/AR
🌐: Blog @ https://jacobzelko.com
📹: Twitch @ https://www.twitch.tv/thecedarprince
@hitsujigoods.bsky.social @hitsujigoods.bsky.social Artist/Owner of Hitsuji Goods http://patreon.com/hitsujigoods http://hitsujigoods.com
Play NEET Girl Date Night! http://hitsujigoods.itch.io/ngdn
ENG/日本語
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Rogelio E. Cardona-Rivera @recardona.bsky.social 🇵🇷 Asst. Prof. of AI, CogSci, Interactive Narrative, Game Design, & VR in the Division of Games at the University of Utah. He/They.
Soares Chen @maybevoid.com Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Dmitriy Kovalenko @neogoose.bsky.social Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
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/
Ross Duncan @rossquantum.bsky.social Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser.
Senior Fellow @ Quantinuum
(I cannot read DMs on Bluesky)
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Philippa Cowderoy @flippac.org Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else.
(she/her)
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Eitan Chatav @eitan-chatav.bsky.social Soul of a mathematician
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Harrison Grodin @harrisongrodin.bsky.social 
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
Claudia Doppioslash @doppioslash.bsky.social Principal Graphics Programmer
Rendering, PBR, ProcGen (Houdini, Blender), Tools, Optimisation, Photography, UE5, camera lens simulation
Rust, C++, C#, Python
Author of "Physically Based Shader Development for Unity 2017", Apress
theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude
[bridged from https://mathstodon.xyz/@highergeometer on the fediverse by https://fed.brid.gy/ ]
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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.
🐔 Brian Bucklew 🐔 ₑͤ＞∿＜ₑͤ ∞🌮 @unormal.bsky.social A semi-sentient colony of self-assembling, cooperative, biological nano-units. Still somewhat functional, despite its age. AI bad. 🏆IGF Narrative. 🚀Hugo Award Winning Caves of Qud Sproggiwood pronoun* BLM
Carl T. Bergstrom @carlbergstrom.com Professor, UW Biology / Santa Fe Institute
I study how information flows in biology, science, and society.
Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b
LLM course: https://thebullshitmachines.com
Corvids: https://tinyurl.com/mr2n5ymk
he/him
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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
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
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
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.
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
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
Seth Frey @enfascination.com Democracy is not a kind of process, it’s a kind of person. It’s a project of human development.
Prof in computational commons, collective action, and social emergence. Internet as a governance lab. Science towards nescience
enfascination.com/research
@typeswitch.bsky.social @typeswitch.bsky.social 
Michael Kinyon @profkinyon.bsky.social Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
eigenform @reflexive.space he/him (John), near-30, looking for work!
🌙 your nonlocal hacker friend
🦀 hw/fw/sw, μarch security, rust, etc
🐬 hacks on gc/wii/melee stuff sometimes
🐘 @eigenform@treehouse.systems
🐦 @eigenform- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
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
William Gillis 🏴 @rechelon.bsky.social go to mastodon
Anarchist "exuberant." Really into exploring the roots of things and expanding degrees of freedom. Incurable woke moralist. Floating metal sphere. “Radically uncool.”
https://humaniterations.net/
Daniel Nikpayuk @nikpayuk.bsky.social Inuit, Math, C++.
https://www.paypal.me/danielnikpayuk
Michael Bench-Capon @mikebenchcapon.bsky.social I have a PhD in philosophy and now I work in a library. He/him.
michaelbenchcapon.blogspot.com
Evan Washington @eewash.bsky.social yields falsehood when preceded by his own quotation
Amar Hadzihasanovic @amarh.bsky.social Assistant Professor at TalTech, advisor at Quantinuum. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
Nathaniel Virgo @nathanielvirgo.bsky.social I research applied category theory / complex systems.
I post sporadically about maths, science, random creative projects.
they/them
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)
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
Joel Wikström @kammadej.bsky.social Programming languages, BI, SQL, data warehouse, Haskell, Qlik
Dani Díaz @diazcarrete.bsky.social 
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
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
Vaush @vaush.gg amateur livestreamer, professional homosexual
Navigator in the Sea of Time 🇺🇦 🏳️🌈 @braneloop.bsky.social AuDHD • Tweets: ML/AI, Math, Neuroscience, Physics, Philosophy, other stuff.
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Paolo Perrone @paolopmath.bsky.social Mathematician & Math Teacher
Liam Goodacre @liamgoodacre.bsky.social I try to tell computers what to do and sometimes they pretend to listen.
Eli Sennesh @elisennesh.bsky.social Abolish the value function!
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
isis agora lovecruft (they/them) @isis.bsky.social anarchist; the bay area’s only hacker; once-upon-a-time theoretical physicist. i might be a cryptographer but i'm not your cryptographer.
helped build tor, signal, zcash, firefox, probably some other things folks use sometimes. 🏳️⚧️
Anita Sarkeesian @anitasarkeesian.bsky.social ✨Things and Stuff✨
anitasarkeesian.com
Jeremy Corbyn @jeremycorbyn.bsky.social MP for Islington North
Grady Booch @booch.com scientist, storyteller, philosopher
computingthehumanexperience.com
web3 is going just great @web3isgoinggreat.com tracking only some of the many disasters happening in crypto, defi, NFTs, and other blockchain-based projects since 2021 • created by @molly.wiki
web3isgoinggreat.com
katie @focusfronting.bsky.social opinions are not my own and represent those of your sainted mother. she/her.
Rob DenBleyker @robdenbleyker.com a collection of ass brained posts written by your favorite stupid fucking idiot
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
jenny tightpants @jtp.bsky.social engineer at anthropic
joao @joao.omg.lol Grief Astronomer
A special snowflake existing in 196883 dimensions
#ActuallyAutistic He/Him
Kristin @wiredaemon.bsky.social Formal Methods, Programming languages, Specifications.
discord: wiredaemon
she / her 🏳️⚧️
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