@massin.bsky.social @massin.bsky.social 
@branchingfactor.bsky.social @branchingfactor.bsky.social 
Dave @davejeeping.bsky.social ๐
dmytrish @dmytrish.bsky.social https://github.com/EarlGray
Richard Davison @stronglytyped.bsky.social Software engineer in NYC. Typed systems, infrastructure, and correctness-focused tooling.
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
Angela @j-beanz.bsky.social Democratic supporter. Dog mom. Fed up with the impact of Trump's policies on our people. I love my blue state.
Landon D. C. Elkind @logicalatomist.bsky.social Resident logical atomist and Associate Professor of Philosophy at Western Kentucky University. Exploring logical atomism in the digital age. Director of the Principia Rewrite and PM-MATS projects. Tolkien fan.
Centre for Logic and Philosophy of Science (CLPS) @clpskuleuven.bsky.social The Centre for Logic and Philosophy of Science (CLPS) at the Institute of Philosophy, @kuleuvenuniversity.bsky.social focuses on #logic & #philsci, with a concentration on the philosophies of the special sciences https://hiw.kuleuven.be/clps #philsky #HPS
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 ๐ซก
CogniDroid @cognidroid.tngl.sh 
Joรฃo Honrado da Silva @jphonrados.bsky.social Portuguese. Tutor of college and high school Mathematics. Communist. Trying to bypass Meta and survive this grim, techno-feudalistic world.
Rob Stewart @robstewartuk.bsky.social Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
Jonah Stockwell @jonahstockwell.com Theoretical computer science, math, art.
In NYC @ Columbia University.
Marco Peressotti @mperessotti.bsky.social Associate Professor of Computer Science at @sdu.dk.
Vรญt Tuฤek @tucek.bsky.social mathematician (differential geometry, representation theory), data analyst and Python developer
Sonobacter resonans @sonobacter.bsky.social I try to treat people the way I would like to be treated.
Vote blue! I make music that's usually calm, but not always.
I do not avoid machines, but I do deny them my essence.
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL โ UBC โฆ PhD @ PLClub โ UPenn
asian-canadian ๐จ๐ฆ๐น๐ผ๐ญ๐ฐ๐ณ๏ธโ๐
I inherited https://types.pl
โผ https://ionathan.ch
@jhemann.bsky.social @jhemann.bsky.social 
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
Owen Maresh @graveolens.bsky.social Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa,
Psoepbe-Tlaxtlal; (an undreamt splendour?)
Joseph O'Rourke @josephorourke.bsky.social Mathematician and Computer Scientist, Smith College, USA.
https://cs.smith.edu/~jorourke/
Polyhedron displayed in banner has max volume of all convex foldings from a square.
Peter Rowlett @peterrowlett.net I teach maths and computing at a UK university and work as a maths communicator. Sheffield/Nottingham based. Editor, The Mathematical Gazette. Aperiodical blog, Mathematical Objects podcast. Part of http://finitegroup.co.uk
peterrowlett.net
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
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
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social ๐ฑ ruining programming forever @ hazel.org
๐ฑ professoring @ Michigan
๐ฑ poetry
๐ฑ dendrites
๐ฑ immersion
๐ฑ flowers
๐ฑ resisting idiocracy
https://web.eecs.umich.edu/~comar
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
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)
Jim Fowler @kisonecat.com associate professor in mathematics
at The Ohio State University
he/him
https://youtube.com/kisonecat
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Jesse Oldroyd @joldroyd.bsky.social Associate professor of mathematics at West Virginia Wesleyan College. My views are my own.
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Ben Grant @bengrantmath.bsky.social PhD candidate in math at UConn. Interested in cluster algebras, representation theory, algebraic combinatorics, dimer models, knot theory, and logic. he/him/his
https://sites.google.com/view/benjamingrant
Oscar Levin @oscarlevin.com Professor, Mathematician, Developer, Author, Magician, and Oxford Comma Fan. 
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/
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Giovanni Bracchi @giobrach.bsky.social Pure mathematics PhD @ UCL (microlocal analysis & spectral theory) โ raised a physicist โ friendly neighbourhood continuist โ stalwart cat enthusiast โ โโโ
Hope @hopeiona.bsky.social Set theorist. Maths comm. Panel show enthusiast. Reader of too many books at once.
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Liโคโคy Kodpuak nรฉe Acid Lich (canโt spell sheaves without she) @acidlich.bsky.social Artist & mathematician. Iโm serious, I am a mathematician. She/her. Actually autistic ๐ฒ
Aspiring polyglot:
๐น๐ญ๐จ๐ณ๐ญ๐ฐ๐ฑ๐ฆ๐ฐ๐ญ๐ฉ๐ช
I used to be a tattooer until I took an arrow to the knee
https://linktr.ee/Acid_Lich?utm_source=linkt
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Bill Shillito @solidangles.bsky.social Math instructor at Oglethorpe University. Views my own. Talk to me about anything combinatorial game theory related!
He/him. Pronounced SHILL-lit-toe.
Websites: https://www.solidangl.es, https://1dividedby0.com
Nathaniel Virgo @nathanielvirgo.bsky.social I research applied category theory / complex systems.
I post sporadically about maths, science, random creative projects.
they/them