brigitte @servic82.bsky.social - D Sรธren Debois @debois.bsky.social
Cong Ma @mc-pony.bsky.social PhD student at University of Waterloo
https://mc-pony.com
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Swapna @iswapna.bsky.social Join the builders network @ The LAB (let all build) Company https://www.thelabcompany.co/
Now signing up Beta users.
@jhjackyt.bsky.social @jhjackyt.bsky.social 
@terrorjack.bsky.social @terrorjack.bsky.social 
@waynee95.bsky.social @waynee95.bsky.social programmer. vim user. student
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
High Noon. @highnoon12.bsky.social im the human embodiment of a small cane corso puppy.
planning to attempt following ALMOST EVERYONE. feel free to follow back if you like me :D if you like my posts PLEASE repost so i can beat the algo
I have an amazing dog. @9kkagji.bsky.social Regrets are an inevitable part of life. Everyone, at some point, regrets a choice or a choice not made. The impact of age and experience on decision making. The way people think, their values and perceptions change as they age.
Michio Honda @michioh.bsky.social Faculty at Edinburgh. Computer network & OS research. Foodie. ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ๐ฌ๐งโ๐ฉ๐ชโ๐ฏ๐ต
https://micchie.net
Jiลรญ Beneลก @jiribenes.com PhD student at University of Tรผbingen. Interested in type systems and (co)effect systems, especially their pragmatics, ergonomics, and notation.
Website: https://jiribenes.com
Primarily on Mastodon: https://types.pl/@jiribenes- E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
@0xitalo.bsky.social @0xitalo.bsky.social 
Sacha Ayoun @giltho.bsky.social CTO of soteria-tools.com, Scaling Reasoning for the age of AI
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Amir Shaikhha @amirshyzd.bsky.social Associate Professor (Reader) at Edinburgh,
Former PhD Student at EPFL and Lecturer at Oxford,
Interested in Databases, Programming Languages, and Compilers
amirsh.github.io
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
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
@doyougnu.bsky.social @doyougnu.bsky.social 
Nick Rioux @nickrioux.bsky.social Programming will get better.
@binarymonkee.bsky.social @binarymonkee.bsky.social 
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
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
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
David @david2am.bsky.social match David with ๐ค -> web dev
| ๐ช -> into #OCaml
| โ๏ธ -> read him on dev.to/david2am
| _ -> ๐จ๐ด, โ๏ธ
Stephanie Weirich @fancytypes.bsky.social Tell me about types
@hannelita.bsky.social @hannelita.bsky.social 
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Adam Paszke @apaszke.bsky.social Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate.
VegPlotter: Online Vegetable Garden and Allotment Planner @vegplotter.com The best online Vegetable Garden & Allotment planning software to get you organised in the garden.
Fully featured garden planner vegplotter.com
Frost dates and growing zone calculator frostdates.com
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
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Handshake (HNS) @handshake.bsky.social The Open Source Rootzone
Protocol: handshake.org
Guides & Docs: https://hsd-dev.org
Telegram: t.me/handshake_hns
Developer's Telegram: t.me/hns_tech
Repo: github.com/handshake-org
#HNS #Handshake #FOSS
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Benno Stein @bennoste.in bennostein.org
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Sam Kuhn @samkuhn.bsky.social 
@pipelineisgushing.bsky.social @pipelineisgushing.bsky.social 
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
๐๐ธ๐๏ธฮฉ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
Julian @juliangrove.bsky.social insert bluesky bio
https://juliangrove.github.io/
@cgreil.bsky.social @cgreil.bsky.social 
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
๐ซ @boekencurator.bsky.social
๐ https://w3future.com
๐ผ https://tweag.io
๐ฃ๏ธ https://strijpskamerkoor.nl
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
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. 
Subash @anterr.bsky.social 
Praveen @pr4v.bsky.social 
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Bogdan Popa @defn.io defn.io
Taylor Hodge @hodge.bsky.social Striving to create that in the presence of which we feel more alive
Software gardener/eng: http://getprimitive.ai โ SwellAI, Rupa Health, Narrative Science, WorkOS
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
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
@bijkerhans.bsky.social @bijkerhans.bsky.social 
Caspar @ghostrights.bsky.social CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Celeste @cahollenbeck.bsky.social Nontraditional computer science PhD candidate at the University of Edinburgh โค๏ธ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ
Former technical and creative writer
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eรถtvรถs Lorรกnd Universities. Designer of the Marlowe smart contract language.
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
@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
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- R Rudi Horn @rudih.bsky.social Views are my own.
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/