PL enjoyer. CS PhD @ UToronto
https://bodzioney.org
Committed to a welcoming, vibrant & ο¬ourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Type systems for Programming Languages. SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie
PhD Student in CS at Princeton University
PL + HW Verification
MSc CS ETHZ & BSc CS EPFL
[she/her] π³οΈββ§οΈ | π¨ππ΅πΉ
cs.princeton.edu/~ad4048
mostly on mastodon: miado@discuss.systems
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp25.sigplan.org/
https://icfpconference.org/
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
The ACM Special Interest Group on Programming Languages.
We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.
https://sigplan.org/AV
Every event we cover is available on YouTube:
https://youtube.com/@acmsigplan
Where are my types, I can't see without my types!
PhD student @TUBerlin
https://ipv3.org
Ask me about EGraphs, Compilers and Rust
Opinions are those of your pet
Pidgin algebraist, baseball influencer https://slim.computer
She/Her
Your local bird enthusiast
part time pop culture girlie, part time policy analyst at @americanprogress.bsky.social | views are my own
The Perfect account to show your parents when you want an animal π¦
he/him
stupid fucking transsexual