heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI ๐
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Willow Poudan @willpound.bsky.social Experienced investor in many businesses and start-ups with a bias in Digital Financial Assets market.
Property Guru Real Estate Agency @johnsonbryan0.bsky.social PropertyGuru real estate is a leading property portal. We have property all around the world. Singapore, USA, UK, UAE, Switzerland, Japan, Sweden, Germany, Spain, Norway, Canada, Australia, and Denmark. Contact us for more info we may have your dream home
Grace @gracekind.net A latent space odyssey
gracekind.net
aron @adler.dev โ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
@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
@lelantos1337.bsky.social @lelantos1337.bsky.social 
Resston @resston.bsky.social Brazilian photographer living in Sรฃo Paulo.
Portfolio: bit.ly/3pz9cRK (look and download) or buy high-resolution, watermark-free photos directly from me at better prices via PIX or PayPal. Send me a message.
Instagram : @resston X : @RobResstonFo
Ethiopia Beyond @talksmart.bsky.social Exploring the untold beauty, culture, history, innovation, and spirit of Ethiopia.
Sharing authentic stories, breathtaking places, people, traditions, and the new face of Africaโs rising destination.
From ancient civilizations to modern transformation โ E
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
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
@xmateozzz.bsky.social @xmateozzz.bsky.social 
"Carlito" [ฮป] @carlo.daugavalabs.com 2025@{๐ฌ๐ง๐ฑ๐ป๐ฉ๐ช๐ฒ๐ฝ}
In a personal revolution against boredom.
Laszlo Kiss @laszlokiss.bsky.social software developer, founder of actorle.com and whichcountrytomoveto.com
Vitor Roma @vitoroma.bsky.social (ele/u)
arquiteto e urbanista, mestrando em planejamento urbano e regional
bioconstruรงรฃo, agroecologia e territorializaรงรฃo
cronopio @cronopiob.bsky.social Books, maths, thinking.
@cham22ywh.bsky.social @cham22ywh.bsky.social He or she who considers the poor will never lack and that will be nothing to you but endless God's blessings and rewards for you through faith and sympathy โค๏ธ๐๐ป
#Location The Gambia in west Africa ๐๐คโ๐ป
@conteh.bsky.social @conteh.bsky.social 
Green Pixel Retro Game Lab @greenpixelretrolab.bsky.social Growing up in the 80s, my first introduction to computers was the Commodore 64. That experience sparked a lifelong passion for technology, leading me down the path to software development.
Enjoy Exploring Retro Computers!
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
Mike Samuel ๐ฃ @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
@jan-kaspar.bsky.social @jan-kaspar.bsky.social 
oeiuwq @oeiuwq.com SDA. ser feliz es mi color de identidad.
navego en el mar de las cosas exactas.
let this = lib.flip that; in lib.flip this;
Nix/Rust/Go/Scala
vborja at apache.org
github.com/vic
Jardines de agua.
Nenรบfares, sal.
Lanif led lanif le atsah!
x.com/oeiuwq
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
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.
Assaf Ben Amitai @assaf758.bsky.social Curios guy: Technology, WW2 history, Politics
๐๐ธ๐๏ธฮฉ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- T @tw33tzr4kidz.bsky.social @tw33tzr4kidz.bsky.social
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
@xandkar.bsky.social @xandkar.bsky.social I like languages, distributed systems, and a life examined.
ฮป๐ซ๐ฆ
https://xandkar.net/
Latin: xandkarus.bsky.social
Marcelo Fornet @mfornet.bsky.social 
tijana miniฤ @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | ๐ท๐ธ๐ฆ๐ช๐บ๐ธ
tijanaminic1.github.io
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@cobord.bsky.social @cobord.bsky.social Was Bord_n on Twitter, but I made that before realizing co is better. Am Cobord most other places.- M Matt Russell @mattrusselluk.bsky.social
Vitor @vitorsalmeida.com Developer.
Still learning how to think better.
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
mdioc @mdioc.bsky.social 
๐ฒ druth ๐ @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
๐ป github.com/massivefermion
๐ธ instagram.com/massivefermion
Leo ๐ดโโ ๏ธ @leostera.com typed actor maxxing since 2018 ยท http://github.com/leostera
Shrutarshi Basu @basus.me Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
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.
simeondermaats ๐ฆ @simeondermaats.bsky.social Maths student @ KU Leuven, lay-out responsible for @vetobe.bsky.social. In love with category and type theory and declarative languages, Iosevka, Pynchon.
K @ksc28.bsky.social Finance, Munich, (Fantasy) Football ๐, CAR, ๐ด๐ผ
Tavian Barnes @tavianator.com Aspiring computer scientist
Stephanie Anderson @thewiscofactor.bsky.social Rep for photographers, directors, and stylists. Co-owner of a commercial production company. TV and fitness enthusiast and occasional poker player.
Michaล Szajbe @szajbus.dev szajbus.dev โข Software Engineer โข Backend Team Lead โข he/him
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing โข Personal account โข Opinions my own, not employer's โข RTs not endorsements
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
Michael Kevin Spencer @aisupremacy.bsky.social Canadian in Taiwan. Emerging tech writer, and analyst with a flagship Newsletter called A.I. Supremacy reaching 115k readers
Also watching Semis, China, robotics, Quantum, BigTech, open-source AI and Gen AI tools.
https://www.ai-supremacy.com/archive
Alexander Bandukwala @bandukwala.me ๐ป Pursuing the Future of Computing
๐ฌ PhD Student @ University of Michigan (Future of Programming Lab)
๐ช Building Hazel: Live Functional Programming & Malleable Systems
๐พ Dog Parent
๐ ๏ธ Ex-Software Engineer
๐ Computing Maximalist 
Harrison Grodin @harrisongrodin.bsky.social 
Michael Lugo @miclugo.bsky.social northerner in exile, data scientist, reads too much, lover of cats, parent of world's cutest chaos muppets. My mom took Tylenol when she was pregnant.
Sr. Wing Armor Engineer @bengo.bsky.social Rstats, DS, ML, AI, dataviz, causal inference, econ.
Anxious Optimist.
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.
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.
Gergely Orosz @gergely.pragmaticengineer.com Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
@exenn.bsky.social @exenn.bsky.social 
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| ๐ง programming languages / type systems / synthesis | https://sankhs.com
Tom Magrino, PhD @tommagrino.com My day job is making arbitrary sequences of bits others told a computer reappear on command, quickly and at scale.
@tmagrino@discuss.systems
https://threads.net/t.magrino
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
TJ @tjtjtj.tj transportation nerd, accessibility advocate โข they/them โข also see: https://tech.lgbt/@tj
Josรฉ Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) ๐จ๐ท in ATL. www.josecambronero.com
Crista ๐ถ @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the Universityโs.
I like light and clarity.
Eigenhector @eigenhector.bsky.social Machine learning, meditation, magic, muscles, mathematics, metta, meta, memes, manifolds.
Researcher in Machine Learning and Contemplative arts.
https://scholar.google.com/citations?user=KjOV76MAAAAJ&hl=en
Recsys book author https://amzn.to/3ANPx6e
Vince Vatter @vatter.bsky.social Mathematician at the University of Florida. Here for the hot takes. Also @VinceVatter@mathstodon.xyz https://vincevatter.com
Alan Taylor (he/him/his) @alantaylor314.bsky.social Still alive on unceded Central Algonquian land.
to make me easier to find, https://x.com/Alan_Taylor_314
He/him/his, cis. INFJ, Leo, แฐ๐โฎ. West of Luna, east of Sol.
pinning a thread: https://bsky.app/profile/alantaylor314.bsky.social/post/3kcm7mqts6b2o
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
Aaron M @amcfarla.bsky.social Me. Broncos, Nuggets, CU fan. Trying this app to see if it is better than Twitter. My old Twitter was amcfarla, Threads is aaron_mcfarland1. Love my Tesla, hate what Elon Musk has become.
Christian Williams @cwilliams.thedevyroyale.com Co-owner of thedevyroyale.com.
College football, NFL Draft, fantasy football & NFL content.
I enjoy cinema, especially horror films.
Fear is the mind-killer.
he/him.
For more content: thedevyroyale.xyz
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
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
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Alice โจ @welltypedwit.ch Thereโs no sense crying over every mistake. You just keep on trying โtil you run out of cake
- GLaDOS
https://welltypedwit.ch