@darkmoneywizard.bsky.social @darkmoneywizard.bsky.social 
Alyssa V PhD @and597.bsky.social ๐คทโโ๏ธ
Mateo @mateoatr.bsky.social Trying to understand probability through category theory
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
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.
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)
Versorlessly @solobugplayer.bsky.social 
Daniel Rogozin @hyperdoctrine.bsky.social Mathematical logic and complaining
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
beka valentine @bekavalentine.bsky.social a dyke who hacks on things. she/xey/ey.
defnotbeka@twitter.com
beka_valentine@kolektiva.social
Thorsten Ohl @thomega.bsky.social Doing and teaching theoretical (particle) physics @uni-wuerzburg.de and @grk2994.bsky.social.
Physics content in english, some arts and politics in german and english.
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/
Radoslav Krivak @rdkbio.bsky.social ๐งฌ Structural Bioinformatics | ๐ AI/ML for Drug Discovery | Geometric DL
๐ฌ @iocbprague.bsky.social, prev. PhD @cusbg.bsky.social @mff.unikarlova.cuni.cz
@stumblingblock.bsky.social @stumblingblock.bsky.social 
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Estel Cooper @estel62.bsky.social My Son calls me the "Last Boy Scout",
Science based Critical Thinker, Amateur Historian, Love Books,
ACE of Heart (Altruism, Communication, Entertainment) is my philosophy, Managing Information Systems has been my Life,
I served in the USASA #estel
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@konst9.bsky.social @konst9.bsky.social 
Forbidden Donut @forbidden-donut.bsky.social Arts (esp. music & film) & animal loving, left-leaning, spectrum-ish central Floridian retiree. Here to greet old friends, meet new ones, share knowledge & experiences and build community.
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
LittleGravitas, โEU immigrant, UKโ emigrant, anti-Brexit @catanonim.me UK-cit ES-res European, "dangerously continental". Federalist, inc UK โ Schengen, โฌ. en fr de ca es. #FBPE. M: @littlegravitas@c.im. lgrav24[a]privateum.net. โ๏ธ e2e ๐ซ crypto! Signal. Kagi search. No non-friend DMs. I mostly follow back - and I block back.
Kirsten Harris @kirstenharris.bsky.social Www.kirstenharrisart.co.uk
Artist - If Wishes Were Horses Tarot
Owen Waite @ojwuk.bsky.social Sports bettor on horse racing, cricket and football mainly. Jaded follower of politics and current affairs. Never had the makings of a varsity athlete. 
cronopio @cronopiob.bsky.social Books, maths, thinking.
@johnwinney.bsky.social @johnwinney.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.
@lisaoc123.bsky.social @lisaoc123.bsky.social 
Ian Stark @ian.stark.scot 
Sam Lindley @reifyreflect.bsky.social 
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Keiran Pedley @keiranpedley.bsky.social Pollster at Ipsos. Genuine poll Boffin. Expect Spurs polling and politics!!
v. @vdorr.bsky.social ahoj, jรก jsem vlรกฤa
also at mastodon.social/@vdorr5, formerly twitter.com/vdorr5 and twitter.com/vdorr6
he/him/koลฅรกteฤko
some kind of idiot
ostrava, earth
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Emilio Minichiello @eminichiello.bsky.social Assistant Professor of Mathematics. I like categories, spaces and algorithms.
Emiliominichiello.com
Matthew Cushman @astragalus.bsky.social Adjunct math prof at Hunter College in NYC. Lefty. Kindness is the only thing that matters.
@dubious-brackets.bsky.social @dubious-brackets.bsky.social 
@mahboobehad.bsky.social @mahboobehad.bsky.social 
Burny @burnytech.bsky.social On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. http://burnyverse.com Upskilling @StanfordOnline
Anthony Pickles @apickles.bsky.social Anthropologist, political gambling/prediction market researcher. Dad. Views my own.
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
Luigi Alfonsi @alfonsiluigi.bsky.social Theoretical physicist | Investigating the geometry at the heart of Quantum Field Theory | ๐LondonโHertfordshire | ๐ฎ๐น๐ช๐บ | #FBPE #FBPR #RejoinEU
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Matteo Capucci @mattecapu.bsky.social ๐ฎ๐น, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
You can't find me here, I'm on @mc@mathstodon.xyz
Robin Piedeleu @diagrammatic.bsky.social boxes-and-wires scientist
piedeleu.com
Hamza Waseem @quantumfoundations.bsky.social Oxford Physics DPhil (Rhodes Scholar) | Disclaimer: All views expressed here are my own and do not represent the views of my employer.
https://sites.google.com/site/hamzawaseem813/
King's Lead Hat @antitechbro.com (Applied) mathematician? Computer scientist?
Oisรญn Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
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
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.- M @mlehavi.bsky.social @mlehavi.bsky.social
Abel Jansma @abelaer.bsky.social Compositionality in natural and artificial intelligence || Fellow @emergenceDIEP, University of Amsterdam
Dilsat @dbyuksel.bsky.social PhD student- A @arceturus.bsky.social @arceturus.bsky.social
Burger Barry @phillyg123.bsky.social Newcastle quaysides number 1 hotdog and burger specialist. NUFC, F1, Cricket, cars, music, film and probably a lot of other things too boring to mention. Ya get what ya given, mate!
@massin.bsky.social @massin.bsky.social 
Martin Coll @colltoaction.bsky.social Hyping hypergraphs ๐ฆ๐ท
https://github.com/colltoaction
Cosmin Lehene @clehene.bsky.social 
@fretim.bsky.social @fretim.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
Harrison Grodin @harrisongrodin.bsky.social 
JP @jplofi.bsky.social researcher in computational fluid dynamics |
en el Sur Global
Evan Washington @eewash.bsky.social yields falsehood when preceded by his own quotation
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
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.
David Charboneau @dcharbon.bsky.social CTO Mimoto, he/him
Interests: Open Source, graph query at scale, category theory, sheaf theory, parallelism
@dcharbon@hachyderm.io
Rodolphe Lepigre @rlepigre.bsky.social Computer scientist, OCaml programmer, Coq/Rocq hacker
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
Michael Evans @teamtock.bsky.social Texas mathematician studying applied category theory. Trying to make sense of it all.
I'm building a small company called TOCK Analytics, whose concept won an award from the office of Senator Ted Cruz, and is receiving many well wishes. Thank you so much!
Marta Bilkova @martabilkova.bsky.social Logician, poet, occasional photographer. Words in @blackboughpoetry.bsky.social. Senior researcher at the Institute of Computer Science, Czech Academy of Sciences.
Adrian Smith @lovejoyantiques.bsky.social Political betting, occasional observations, interminable threads.
Jules @dialecticalrussell.bsky.social Eclectic Bakuninist
Math/Computer Science musings can be found over at hegeliantaco@mathstodon.xyz
Joel Wikstrรถm @kammadej.bsky.social Programming languages, BI, SQL, data warehouse, Haskell, Qlik
Peter Sturdgess @petersturdgess.bsky.social Sort of given up on Twitter and Threads, Mastodon was like treacle so I am here. #FBPE. Cyclist, Sailor, with a penchant for long walks. Salvitur Ambulando. A like means that I appreciate your commenting, not that I agree with your comment.
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
๐ซ @boekencurator.bsky.social
๐ https://w3future.com
๐ผ https://tweag.io
๐ฃ๏ธ https://strijpskamerkoor.nl
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago 
Paolo Perrone @paolopmath.bsky.social Mathematician & Math Teacher
Murray Wood @miwood.bsky.social Commoner.
Scottish Indie Music, Kilmarnock FC, Politics, Ex CS Academic.
Solidarity ๐ช๐- M @madeleinerooney.bsky.social @madeleinerooney.bsky.social
@ea640x480.bsky.social @ea640x480.bsky.social The glorious lamp of heaven, the sun, The higher he's a-getting
Jerry Swan @radiofreemonad.bsky.social Cyberneticist.
@ivanmykola.bsky.social @ivanmykola.bsky.social 
Rafael Wagner @quantumrw.bsky.social PhD Student in quantum foundations and quantum information
@politicaldude.bsky.social @politicaldude.bsky.social Tory Hater, Reform Hater, Trump hater and Labour Supporter, Democrat supporter. #FBPE #Socialist #VoteBlue #BlewCrew #VoteLabour