Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Versorlessly @solobugplayer.bsky.social 
Kate @kit-ty-kate.exn.st Some kind of nerd by day and goblin by night.
Cyclophosphamide connoisseur.
๐ฉ๐ด
๐ Glasgow, Scotland
๐ข FR/EN/DE
๐จ Avatar by @chordbug.bsky.social
๐ exn.st
See also:
๐ mastodon.social/@kit_ty_kate
๐ https://cohost.org/kit-ty-kate
Sam ๐ @samhh.com Human of a few decades. Loves animals and functional programming and pastel colours.
https://samhh.com
https://github.com/samhh
Working on @gitbutler.com ๐ฉต
Sam Lindley @reifyreflect.bsky.social 
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
iurii (ะฎัะฐ) ๐บ๐ฆ @iurii.net We need to write codeโฆ You son of a bitch, Iโm in.
๐บ๐ฆ Ukrainian. #SoftwareEngineering and #TechnicalLeadership. I also write about #politics and hobbies.
Music lover.
Vacation = Mountains.
https://iurii.net
https://mastodon.world/@iurii
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
perfectoid @perfectoid.bsky.social 
Pocket AI @pocketai.bsky.social a billion parameters in your pocket
Kristian Harstad @kristianharstad.bsky.social Follow/RT/links NOT endorsement.
Informatheux @informatheux.bsky.social Info. Maths. Logique. Shitpost.
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
Tim Vermeulen @tim-vermeulen.bsky.social 
๐จ๐ฆ 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.
Caroline Kovacs @traineegeek.bsky.social Clinical outcome modelling PhD & maths graduate. Colorectal Surgery Audit Coordinator NHS ๐ support research for patients' benefit. Now work in hospital but previously Primary care. Support ALL delivering patient care in current climate. Twitter refugee
John Flournoy @johnflournoy.science johnflournoy.science
Research Scientist, statistical and psychometric methods focus
Also really into technical research infrastructure and tools. Feel free to reach out!
PhD. Pysch, Neuro, Stats, Methods, Phil of Sci.
Marcel Frรถhlich @froehlichmarcel.bsky.social
Data Strategy, Building organizations building systems, Mathematics
Director Services @ eccenca
Chair OMG Enterprise Knowledge Graph Platform Task Force
https://sigmoid.social/@FroehlichMarcel
Goodie 2Shoes @goldenphallus.bsky.social Enjoying life under blue skies, in tight blue jeans, chewing blue bubblegum, wearing blue shoes.
๐ฒ druth ๐ @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
๐ป github.com/massivefermion
๐ธ instagram.com/massivefermion
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
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it ๐ & Rust Rec ๐ฆโ๏ธ
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
George Kaye @georgejkaye.bsky.social Birmingham resident, active travel and public transport enjoyer
Dilsat @dbyuksel.bsky.social PhD student
Antony Hosking @antonyhosking.bsky.social Garbage collector.
Professor.
Alcides Fonseca @handle.invalid Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
Jonathan Merritt @lancelet.bsky.social AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog- A @arceturus.bsky.social @arceturus.bsky.social
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.
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.
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
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
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)
Venkatesh-Prasad Ranganath @orderwithchaos.bsky.social Curious about software and computing. I consume skeets via curated lists hoisted as feeds :)
[he/him]
http://rvprasad.com
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, โheartless wenchโ, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
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.
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/
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
Hardy Krรผger Jr @hardykrugerjr.bsky.social 
David Moon @dm0ney.bsky.social PhD UMich โข building http://tylr.fun http://hazel.org โข dmoon.info
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
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
@massin.bsky.social @massin.bsky.social 
Martin Coll @colltoaction.bsky.social Hyping hypergraphs ๐ฆ๐ท
https://github.com/colltoaction
@kolmogorov.bsky.social @kolmogorov.bsky.social The discrete, not the real one. Cockroach math impostor
@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
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.
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
Sam Kuhn @samkuhn.bsky.social 
Jules @dialecticalrussell.bsky.social Eclectic Bakuninist
Math/Computer Science musings can be found over at hegeliantaco@mathstodon.xyz
Paolo Perrone @paolopmath.bsky.social Mathematician & Math Teacher
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Izaias *Blancore โ
@blancore.bsky.social brazillian aspiring artist, student, 20y 11/11
รฉcletico, e alem doq uma bio poderia resumir
i am not spam
pardon me bluesky
Stefano Gogioso @stego.bsky.social Accelerating quantum cryptography at @spooqy-ai.bsky.social โ๏ธ๐ป๐
๐ฆ I'm @StefanoGogioso on X- P protosevn @protosevn.bsky.social Programming Enjoyer
Joshua Fitzgerald @lopeetall.bsky.social cryptographer and moonshiner
cronopio @cronopiob.bsky.social Books, maths, thinking.
Abel Jansma @abelaer.bsky.social Compositionality in natural and artificial intelligence || Fellow @emergenceDIEP, University of Amsterdam
Fulltime HTML Programmer @programmerhumor.bsky.social For anything funny related to programming and software development.
๐ต๐ธTim Henke (tษชm 'ษฆษล.kษ) @timhenke.bsky.social ๐ณ๐ฑ Postdoc in Quantisation of moduli spaces, QFT, TQFT & CFT, Algebraic Geometry, Differential Geometry, moduli geometry โ Masters in: Maths/Physics/Logic โ Help me learn ๐ต๐น๐ฉ๐ฐ๐ฎ๐น๐ฉ๐ช๐ซ๐ท by talking to me! (he/him)
Forse tu non pensavi ch'io lรถico fossi
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.
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
๐ซ @boekencurator.bsky.social
๐ https://w3future.com
๐ผ https://tweag.io
๐ฃ๏ธ https://strijpskamerkoor.nl
Adam Bressler Chudiak @madam7.bsky.social WSU. AIS. Sr Marketer. CRM/Ads. Audio. Trader. Coach. Studio. Sports. Jew. SEA. History.
InfoSec, Marketer
Facebook.com/bressler1
Instagram.com/adambressler/
linkedin.com/in/adambressler/
Twitter.com/adambressler
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
ieva @hyperboieva.bsky.social Quantum information, useless information, generally informed.
Quantum algorithms researcher at phasecraft.io
https://ievacepaite.com/
Andres Lรถh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
p1xelHer0 @p1xelher0.com 
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
๐๐๐ @k1it.bsky.social #๐บ๐๐๐๐
๐พ๐๐๐๐ผ๐๐๐๐๐๐
https://savelife.in.ua/en/
๐ ๐๐ฌ๐ค๐ฒ_๐๐๐ญ
โ ๏ธIf you don't want me to be your follower , write under any post and I will unsubscribe.
CardiOnCryptography @bsky.gay they ๐ณ๏ธโโง๏ธ putting the crypt in cryptography ๐ชฆ
Frederic Jacobs @fredericjacobs.com www.fredericjacobs.com
https://ger.mx/A-RGsldmQt0iXfnzPgXNzLzA5_jvDbWHabqz1yJrt2ma#did:plc:oxwmqopgbm3driwzues7odpz
Voye @voye.bsky.social https://linktr.ee/voye
nic @invest.bsky.social now: building
then: founder gpte (acq)
enjoy: investing, nba, saas, whatever
Lรบcรกs Meier @cronokirby.com Cryptographer working on Penumbra
Cryptography, FP, Math, and other cool stuff.
Blog too infrequently at cronokirby.com
Lost in Seattle somewhere
Bay Area Times @bayareatimes.bsky.social ๐๏ธ The visual daily newsletter on business and tech.
๐ Analyzing the news with 1 visual per story.
Join our 60,000+ subscribers here.๐
jpren @jpren.bsky.social Bad ideas only
Jason Chan @jasonchan.bsky.social ๐จ Building subset.so in public
๐ถ Dog dad
๐ SF 
Ian Rathbone @rathbone.dev ๐ป CTO @ Serene, currently in โbuild modeโ
โค๏ธ Love my family
๐น Pet Shop Boys obsessive
๐คฉ Trying to control my Lego addiction
๐ฅพ Hiker, Biker, fan of Riker! ๐ฅธ- R Rui @rui.bsky.social
Tim Holt @timholt.bsky.social Northern English photo/painter chap. Loves Scones. Hates Nazis.
Reels & Stories: Instagram.com/timholt