Duc-Than Nguyen @ducthan.bsky.social Interested in Programming Languages & Formal Verification (he/him)
https://ducthan.net/
AI Proof and Verification @aipv-series.bsky.social https://aipv2026.github.io
Jenny Sinclair @jennysinclair.bsky.social Wait, what?
https://jennysinclair.substack.com
Research and higher ed skeets at: @jsResearchPro.bsky.social
Beatrix ๐ณ๏ธโโง๏ธ @beatrix.bsky.social โIโm a New Deal Democratโ
doesn't bite
but may hold forth about trains, politics, or computers
consider yourself warned!
Somerville, MA
@jhjackyt.bsky.social @jhjackyt.bsky.social 
@terrorjack.bsky.social @terrorjack.bsky.social 
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others
ANU Press @anupress.bsky.social The first and largest open-access university press in the world. Based at ANU, we publish academic monographs and journals across a wide variety of disciplines.
Marek Fajkus @turbomack.bsky.social Software engineer. Functional and low level programming. I wrote a lot of UI code because nobody else wanted. Computer mason and proof people can get payed for hobbies.
Gone from twitter https://x.com/turbo_MaCk
https://turbomack.github.io/
๐บ๐ฆ Oleksii T. @oleksify.me Programmer, Designer, Musician. Vegan for the animals. ๐ค๐ท๐ฎ๐๐น๐ฑ๐ถ
Steven Shaw @steshaw.bsky.social Loves programming languages! ๐ฌ๐ง๐ฆ๐บ๐จโ๐ป- E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
@0xitalo.bsky.social @0xitalo.bsky.social 
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores ๐
https://buildstash.com
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io- T Emiel @ttyout.net
Florian @fham.dev ReScript enthusiast and core contributor
fham.dev
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Sam Thoyre @samthoyre.bsky.social ๐ Tech Enthusiast | AI & Dev Tools ๐ ๏ธ
๐ฅ Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
๐บ Watch my tutorials & build with me: https://www.youtube.com/channel/UClxm1AYVvel_7Lhft3FPdhg
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
Our ANU @ouranu.bsky.social Staff campaigning against cuts and poor governance at the Australian National University.
Junrui Liu @junrui-liu.bsky.social CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
@urbanowicz.bsky.social @urbanowicz.bsky.social 
Sam Kuhn @samkuhn.bsky.social 
@binarymonkee.bsky.social @binarymonkee.bsky.social 
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Ron Pressler @pressron.bsky.social 
Paul Danger Kile @paul-danger-kile.bsky.social Legal name: Paul Danger Kile
Name at birth: William Paul Caligiuri
Anagram: Guardlike Panel
Japanese Name: ใใผใซใปใใณใธใฃใผใปใญใฌ
Callsign: K0PDK
Godless, Programming, Images, Opinion, Electric Bass
dangerismymiddlename.com
Henry Wallace @attobop.bsky.social Learning and hacking! ๐โก๏ธ๐ฅ๐ง๐ฑ
https://attobop.net
https://github.com/arclabs561
Pierre dโAlancaisez (is) Verdurin @verdur.in https://verdur.in - cultural project and event space, concept store, and soon publisher in London.
https://petitpoi.net - art criticism and writing by Pierre d'Alancaisez.
Jen ๐ป @jenerallytyping.bsky.social 25 she/her
Aspiring pianist
Bimbocore adjacent
Error at line 4: Type Girl expected, found type Robot instead
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
@pipelineisgushing.bsky.social @pipelineisgushing.bsky.social 
Matt Keenan @negabinary.bsky.social 
@eyeshar.bsky.social @eyeshar.bsky.social 
@cgreil.bsky.social @cgreil.bsky.social 
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
Bฬถuฬถiฬถlฬถdฬถiฬถnฬถgฬถ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Puppydudley๐น๐ช๐บ๐บ๐ณ๐จ๐ฆ๐ฒ๐ฝ๐บ๐ฆ๐ต๐ธ๐บ๐ธ๐ฝ๐ฆ
๐ฑโ๏ธ๐ชฟ๐๐๐ซ๐๏ธโ๏ธ @puppydudley.bsky.social socialist. federalist. supports democratic socialism, universal healthcare & universal basic income. he/him. pro-choice. pro-democracy. anti-war. anti-racist. anti-authoritarian. LGBTQ+ ally. PNW(WA), tech junkie, casual gamer, policy nerd, twitter refugee- L Laurence Aitchison @laurenceai.bsky.social Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
KinkyKongAI @handle.invalid The color of my dress means NOTHING. #Midjourney Event Host, Guide, and Community Outreach | Moderator at Hedra | Shares the best I see in AI | Your Fun, Friendly Creator at the Bleeding Edge of #AI . I BLOCKED MAGA words, Cuz I value my peace. 
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
@mgsloan.bsky.social @mgsloan.bsky.social 
Subash @anterr.bsky.social 
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me- M Mร riรฉ @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
cronopio @cronopiob.bsky.social Books, maths, thinking.
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
elisabeth lemma โ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions ยท she/they/e
phantomtyp.es
Ian Stark @ian.stark.scot 
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@gabedijkstra.bsky.social @gabedijkstra.bsky.social 
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- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Tudor Girba @tudorgirba.com CEO feenk.com
We modernize legacy systems.
Through Moldable Development.
Yutaka @yutaka-en.bsky.social Computer Scientist at the Czech Academy of Sciences
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://github.com/data61/PSL
Carl Lenox @alphaconstant.bsky.social All in for clean distributed energy abundance. At it for a good while now.
Product, strategy, technology & policy
Mio @mio19.uk 
๐จ๐ฆ 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.
The Origenist @theorigenist.bsky.social *Philosophy MA
*Christian-Platonist
Jannikh @jannikf.bsky.social 
@fred678.bsky.social @fred678.bsky.social 
@dubious-brackets.bsky.social @dubious-brackets.bsky.social 
Prompt Domains @promptdomains.bsky.social Tech Enthusiast, AI Tinkerer and Domain Investor. Passionate about shaping the future of creativity and technology.
@pmcgee1969.bsky.social @pmcgee1969.bsky.social 
Robert Kenneth Mackey ๐ @rkm87.bsky.social Student of Life โค๏ธ โ Never Stop Learning ๐ก
Real Stella Sky @realstellasky.bsky.social Helping you quit the rat race and build your online business the easy way!
https://realstellasky.start.page
@momodoumanneh.bsky.social @momodoumanneh.bsky.social 
Nathan Mudrak @nathanmudrak.bsky.social Just another guy trying to find a platform that gives Musk no ad revenue.
2023 Marshall Scholar, reading for DPhil in Paediatrics at Oxford focused on TB diagnostics. HMS '30. Hopkins alum. "Science is magic that works" - Kurt Vonnegut. Kindness above all
Colleen Hoffenbacker @floralart.bsky.social Renaissance Wonderland in Bloom | Art for Modern Dreamers ๐ธ๐จ๐ค Crafting Semi-autonomous Visions Beyond Human and Machine
#Art #AICreativity #FineArt #ArtAndAI #AIArt #Artwork #ArtificialIntelligence #AIEvolution
๐จ https://bio.site/artcollector
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Mark ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ๐ณโ๐ @bolshevikbear.bsky.social The bear, redux. Just in time for Christmas.
Law grad: intel analyst to pay the bills. OU '26. Likes lectionaries and old prayerbooks. #FaithfullyLGBT. Working my way through life with ennui.
(I'm not a bolshevik. It's an old joke about a hat...) ๐ณ๏ธโ๐โโพ๏ธ
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Ravi Mangal @ravimangal.bsky.social Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
second class citizen of the dual state of america @anem0ne.net ๋
น์ฐจ๋
โข ๐ต๐ฆ โข ํ์ธ์ ์๋ช
์ ์์คํ๋ค โข ์๋ฅด๋จ๊ฐ๋ถํฐ ์ง์คํด๊น์ง, ํ๋ ์คํ์ธ์ ํด๋ฐฉ๋๋ฆฌ๋ผ!
city of ฯโถโถโถโถ
prev_name: real name requirements considered harmful
prev_name2: a very serious person here
prev_name3: โท transgender movement ๐ค the yellow peril
prev_name4: ๐จperil, ๐ฅmenace, ๐ชscare
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
Eliza Zhang ๐ @elldritch.bsky.social your builds should be faster and your government should work