Sorry, Honey, I Have To Take This @sorryhoneycast.bsky.social A Delta Green actual play podcast. Cosmic horror, incredulous laughter, high stakes.
Join us every Wednesday for a new episode release, 07:00 EST.
https://linktr.ee/sorryhoney
Ramin Nasibov @nasibov.me Designer/Artist https://nasibov.me
Matt Williams @icklematt.bsky.social Software developer/architect/lead, currently trying to fix email security with the non-trendy kind of AI. Sailing, Scouting, board games and politics geek outside office hours.
Des Fitzgerald @desfitzgerald.bsky.social Co-director: https://www.ucc.ie/en/future-humanities/radicalhumanitieslaboratory/
Berger Smith @holbidope.bsky.social stay-in-bed hermit.
pfp snatched from @fleetingbits.bsky.social
~/.ð @deomorxsy.bsky.social 
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
our age of bronze is collapsing sarah @scgriffith.bsky.social used to do math
podcast on the production of bigotry at www.odiumsymposium.com and @odiumsymposium.bsky.social, with @homotoptheory.bsky.social
will guest on your podcast
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
The Fresh Prince of Donair @erisianrite.com Tech shitposts
Boston // Athens
Coder, writer, weightlifter, metal dive bar enthusiast
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
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
Saya Lin @saya96.bsky.social Led statistical analysis for global clinical trials, developed SAPs, collaborated on FDA and EMA submissions for two oncology drug approvals, and mentored junior statisticians in advanced techniques.
John Soo 🏳️🌈 @jsoo.refl.club Types, parentheses, ideology. He/him/they
https://refl.club/posts
Host of the Orange Combinator meetup
https://meetup.com/orange-combinator
cis/het
There is no such thing as conservative thought!
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Please stand by @pleasestandbyy.bsky.social AMERICA IS EXPERIENCING TECHNICAL DIFFICULTIES DUE TO A BATSHIT WHITE NATIONALIST MINORITY
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Bookshelfie ⭐️ @bookshelfie.bsky.social The Self-Pub Hub (Book Review and Story Site)
Submissions open now:
https://book-shelfie.com/submissions
Book tour inquiries: contact@book-shelfie.com
Eoin Daly @eoinmauricedaly.bsky.social Law lecturer. Political theory, constitutions, republicanism, France. Dad of two. An 'autism parent'. Interested in athletics, politics, wine. 
DAILYSPARK @dailyspark.bsky.social Stay informed with DAILYSPARK, a reliable online news source delivering the latest breaking news and entertainment updates.
💼 Media & News 🔔Turn on Notifications
@kateoma.bsky.social @kateoma.bsky.social 
George Zakhour @grgzkhr.bsky.social PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in 🇨🇭 from 🇱🇧
(he/him)
https://grgz.me
Tim Kersey @ktim.bsky.social If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
Nnotm @nnotm.bsky.social λ
@sadams-nl.bsky.social @sadams-nl.bsky.social 
cronopio @cronopiob.bsky.social Books, maths, thinking.
Eldonedwards @eldonedwards.bsky.social I am a business researcher. I am also very interested in artificial intelligence and business and education and medicine. Also, I am very interested in popular culture and music. I strive to live a simple healthy life. DTM and CBI.Score counselor.- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
v. @vdorr.bsky.social ahoj, já jsem vláďa
also at mastodon.social/@vdorr5, formerly twitter.com/vdorr5 and twitter.com/vdorr6
some kind of idiot
ostrava, earth
KUNI @kunihisa64.bsky.social Learned programming from a former Apple employee for a year 🍎
Plus, I had been working as an AI artist 👇
instagram.com/kunihisa64
Posting some vibe-coding art and sharing some coding tips 🎨
T. E. McCarthy @temccarthy.bsky.social With almost 30 years working in multiple roles throughout Tech, I have become fascinated with the people I have crossed paths with and worked along side. My writings reflect what I've learned from such a diverse group of individuals.- D @dfeuer.bsky.social @dfeuer.bsky.social
@dubious-brackets.bsky.social @dubious-brackets.bsky.social 
Colin Barrett @cbarrett.bsky.social tech worker, musician, gender idiot 🏳️🌈🏳️⚧️ any pronouns
📎🐸🕊️Ω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
Barton Rhodes 🕹️ @barton.bsky.social ♾️ algebraically informed, geometrically biased🕴️
{-1, 0, +1}
https://youtu.be/j8SNmGHhfks?si=TtOGVMXvswdsSYhE- S shinzui @shinzui.bsky.social Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
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.
Harrison Grodin @harrisongrodin.bsky.social 
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
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.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
Liam Goodacre @liamgoodacre.bsky.social I try to tell computers what to do and sometimes they pretend to listen.
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
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
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
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)
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
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
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
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
@adityabantwal.bsky.social @adityabantwal.bsky.social Intelligent systems MSc at Bielefeld university. Interested in Algorithmic cheminformatics, Graph theory, theorem proving and group theory.
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social