Na'aman Hirschfeld @nhirschfeld.bsky.social Co-Founder & CTO @ xberg.io. Document AI and extraction, polyglot Rust cores. Building basemind. Creator of Litestar & Polyfactory. Open source. Opinionated and strongly typed.
Aaron Eline @aaroneline.bsky.social 
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
yashyaoo @yashhhh.bsky.social "love is he answer"
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in- W Chentian Wu @wuct.bsky.social 25' BS @ UW-Madison >>= PhD @ UIUC
PL / Logic
https://wuct.site
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
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
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
Elaine Zhu @elaine.foo hobbyist photographer
mu @mthy41.bsky.social programming performative, woke luddite codecel and professional nix larper
en/pt (I switch between languages a lot sorry)
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Joe Cutler @alphaconvert.bsky.social cutler.pl
emma𐂂 @emma.xicad.net Toquos lead theory researcher at Mandlbaur Institute of Technology and assistant supervisor at the Subgroup Psychosis Research Center
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Henry B @henbarts.bsky.social ms in cs @ neu, interested in PL/Verification/Cryptography intersection
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
@cakecompass.bsky.social @cakecompass.bsky.social Home baker at cake compass.
Saxxie.dev @saxxie.dev Software person; mathematician wannabe
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Owen Duckham @owen.duckham.dev undergrad @ Northeastern
Interested in programming languages
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
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
ari @ari.foo 🐘 mostly https://types.pl/@ari
👩🏽💻 types
👩🏽🎓 neu undergrad
🏳️⚧️ she/her
🌐 https://ari.foo