-
Tweets1K
-
Followers3K
-
Following354
-
Likes4K
PLMW@ICFP'24 is accepting applications (due June 21 AOE)! forms.gle/vC6udnMWRvvAcz… More program information: icfp24.sigplan.org/home/PLMW-ICFP…
ESOP 2025 first-round submission deadline is in three weeks! Do not miss it! etaps.org/2025/conferenc…
The complete list of accepted papers for ETAPS 2024 main conferences is out! etaps.org/2024/accepted-…
deadline for industrial talk proposals for the ETAPS industry day is the 26th Jan More info: etaps.org/2024/industry-…
Word of the Day (because it’s about time) is ‘respair’, from the 16th century. It means fresh hope, and a recovery from despair. One of too many lost positives we could do with bringing back. Wishing everyone a gruntled, gormful, ruthful and feckful New Year, full of respair.
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
Applications are now open for REPL, Penn PLClub's Summer REU! We have a lot of really exciting projects going on at PLClub right now – if you're an undergrad who's interested in PL research, please apply! penn-repl.github.io
ICFP'24 will take place on 2-7 September 2024 in Milan, Italy. The call for papers is now available: icfp24.sigplan.org/track/icfp-202… Time to start mining those lambdas!
Did you know that you can submit a paper to ESOP 2024 in several formats – Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format? etaps.org/2024/conferenc…
Due to various requests, we will allow four more days for submission updates on papers submitted to ETAPS by the deadline. That is, authors needs to submit their papers by October 12 AoE and will be allowed to make changes/updates by October 16, AoE.
Can't resist: Liking #ocaml ? Check out #fstarlang. Program with proofs in a general purpose, higher order, strict language and extract to efficient executable code in OCaml. fstar-lang.org
ESOP's done well here: "For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format" etaps.org/2024/conferenc…
ESOP's done well here: "For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format" etaps.org/2024/conferenc…
Scholarship applications for PLMW@POPL 2024 are up! Scholarships include travel, lodging, and attendance for both POPL and the Programming Languages Mentoring Workshop. Please, sign up your undergraduate and early graduate students! popl24.sigplan.org/home/PLMW-POPL…
The ESOP 2024 deadline is in a little over one month (Oct 12th). Note the new submission categories (experience reports and fresh perspectives) and lack of formatting requirements for the research papers submission category. More info at: etaps.org/2024/conferenc…
Fireside chat with Felix Klock, Greg Morrisett, and Amal Ahmed at #ICFP. Rust, Cyclone, systems programming and functional programming!
We are now accepting applications for the 24-25 University of Pennsylvania Provost's Postdoctoral Fellowship for Academic Diversity. Please share with your colleagues! apply.interfolio.com/129592
Sad to be missing out on being in the room to listen to @avsm's upcoming keynote: icfp23.sigplan.org/details/icfp-2… Glad to be able to watch the talk live from the other side of the world youtube.com/playlist?list=… 🙏
I'm on the PC for ESOP 2024, chaired by @fancytypes. Send us your best PL papers, deadline is 12 October.
I'm on the PC for ESOP 2024, chaired by @fancytypes. Send us your best PL papers, deadline is 12 October.

Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Derek Dreyer @HerrDreyer
3K Followers 203 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Loris D'Antoni @lorisdanto
8K Followers 768 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Hank @Cheezaight
98 Followers 583 Following I like building games with others. Studying C++, Jai, and Verse
Iehuivuib @Iehuivuib863
41 Followers 1K Following
CoolBasedName @iuAiqsFskk7ixIU
0 Followers 65 Following
Nissan Patel @NissanPatel1012
0 Followers 528 Following
patrick sphinx @SphinxPatrick
3 Followers 124 Following
hojichacastella @hojichacastella
3 Followers 95 Following
James Laird-Smith @JLS_DataScience
237 Followers 338 Following Data Scientist at the @BankofEngland. Previously at the @FinancialTimes and University of Cape Town. 🩴🇿🇦
j k @jahanthemon
3 Followers 110 Following
Preference @Preference82814
36 Followers 4K Following
dreemer @dreeem_er
1 Followers 54 Following
Steve Goguen @sgoguen
635 Followers 1K Following F# flunky, Lean lackey, theorem thief, formalism fanboy
shinji ikari @sagnikcw
143 Followers 315 Following mscs @manningcics | knowledge graph : https://t.co/1mhuy2DkRY
Tom @tomstructured
24 Followers 511 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
azendus @azendus
41 Followers 707 Following
𝖌𝖎𝖘𝖙 (�... @lfgist
2K Followers 1K Following tired boï - hundsome gang - pfp by @untitled01ipynb - our father in langley hallowed be your name
ardalaan @ardalaaaan
1 Followers 47 Following
Moazin K. @moazinkhatri
158 Followers 728 Following Compilers | FPGAs | Programming Models - Graduate Researcher at SFU, Canada. Might occasionally tweet about everything from programming languages to politics
Xizao Wang @wangxiz
45 Followers 484 Following Ph.D. student in Computer Science at Nanjing University, focus on program analysis and programming languages.
wuc9521 @wuc9521
84 Followers 1K Following
Zhiyang Chen @zhiychen
189 Followers 1K Following A CS PhD student @UofTCompSci Research on Software Engineering, Programming Language, Security and Blockchain. Research @ZircuitL2
Yisus mendez @Yisus2_7182
922 Followers 7K Following I don't know how to exit vi. Just curious about that, and that, and that.
Mattei @Mattei420
895 Followers 4K Following Provided 'as-is', without any express or implied warranty.anything retweeted is not adopted as a statement of fact.
Picaro Byte @__picaro8
434 Followers 5K Following I tried that, don't you think I would've tried that. Moving to @[email protected]
Boubacar Sall @bbcrsll
0 Followers 145 Following
RWind @RWind39535054
0 Followers 76 Following
ahuoguo @ahuoguo
37 Followers 316 Following
Pensé FFun @inftyCategory
133 Followers 7K Following
Robert Krook @Rewbert
175 Followers 196 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3
Janhavee Shinde @SJanhavee
114 Followers 7K Following
Matthew Habtezgi @__habtem__
47 Followers 436 Following building | cs/math @MIT, λ | prev @AWS, @StructifyAI
farhad Zare @TheFarhadZare
34 Followers 1K Following Gmail: [email protected] ;A CS & Neuro student with its philosophical and historical consequences.
Jacqueline Mitchell @jmit01
0 Followers 57 Following
neo @stankneo
927 Followers 5K Following Cyberpunk Metamodernism. Aspiring hyperwrangler. Searching for lcm(∞-axia). CS ∪ CogSci ∪ Complex Systems.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Skylee @SkyleeBot
288 Followers 783 Following
qurak and leptons @QLeptons
33 Followers 1K Following
ax @AosenX
22 Followers 460 Following
Xuejing, aka Snow @hxjxsnow
404 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Jennifer Rexford @jrexnet
4K Followers 740 Following Provost @Princeton, Professor @PrincetonCS and @EPrinceton, affiliated with @PrincetonCITP, computer networking researcher, and mom. 🏳️🌈
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Derek Dreyer @HerrDreyer
3K Followers 203 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Loris D'Antoni @lorisdanto
8K Followers 768 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Erik Meijer @headinthebox
31K Followers 2 Following
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
José Manuel Calderó... @josecalderon
2K Followers 854 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Ernest Ng @ngernest2
502 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Sukyoung Ryu @sukyoungryu
595 Followers 237 Following Head of the KAIST School of Computing Chairperson of Kakao Impact (https://t.co/li80h1SU9L)
Amtrak Northeast @AmtrakNECAlerts
100K Followers 8 Following Real-time service delay information affecting two or more trains in the Northeast Region from VA to ME.
ETAPS Conferences (no... @ETAPSconf
347 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
A Cambridge Diary @acambridgediary
52K Followers 83 Following The original Cambridge Diary. 5,000 continuous daily pictures of Cambridge curated into a trilogy of photographic love letters https://t.co/l30mAx0Yd6
Hank Green @hankgreen
1.5M Followers 979 Following This account is not actively managed, it sometimes reposts from my Bluesky, a Twitter-like thing that’s built on an open platform, giving its users more control
Lars Bergstrom @larsberg_
3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)
Brent Yorgey @BrentYorgey
5 Followers 0 Following
Benjamin C Lee @Lee_BenjaminC
298 Followers 62 Following Professor of Electrical Engineering and Computer Science, University of Pennsylvania. Studying computer architecture, data science, algorithmic economics
Bruno Oliveira @bcdsoliveira
251 Followers 118 Following
Nick Rioux @nickrioux
296 Followers 864 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
Alex Kavvos @lambdabetaeta
731 Followers 887 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Neal Parikh @npparikh
5K Followers 984 Following Teaching AI policy. Previously Director of AI for NYC.
Andrew Head @drewmikehead
2K Followers 848 Following Assistant professor @Penn CS. HCI. Computers as comprehension aids. Interactions for reading code, formulas, medical jargon, and mechanized proofs.
Nachi @modaltype
376 Followers 292 Following "The limits of my language mean the limits of my world" and all that
Center for Safe, Expl... @PennAsset
537 Followers 41 Following A @PennEngineers research center devoted to science and tools for ensuring AI-enabled systems are safe, explainable, and trustworthy
kiniry @kiniry
1K Followers 1K Following Dad. Partner. Scientist. Activist. Maker. — He/Him Mastodon at @[email protected]
Kevin B. Johnson, MD,... @kbjohnsonmd
2K Followers 2K Following Cohen University Professor of Pediatrics, Engineering, Biomedical Informatics, and Communication. Senior Fellow of LDI. Tweets (views) here are my own.
julesh @_julesh_
10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Neringa Young @NeringaYoung
1K Followers 798 Following Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH
Nikhil Swamy @lambdaNik
748 Followers 204 Following
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Type Theory Forall @ttforall
4K Followers 280 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Eric Sun @_ericsun_
133 Followers 208 Following Assistant Professor at @DrexelCCI. Researching cybercrime, human-centered security, threat intelligence, etc.
Eric Wong @RICEric22
2K Followers 112 Following Assistant professor at University of Pennsylvania. Machine learning, optimization, robustness & interpretability. https://t.co/lcmttvNXAW
Surbhi Goel @SurbhiGoel_
2K Followers 549 Following Assistant Prof @PennCIS | Postdoc @MSFTResearch | PhD @UTCompSci | Co-founder @let4all
Lingjie Liu @LingjieLiu1
4K Followers 922 Following Assistant Professor at UPenn. Research interests: Neural Scene Representation, Neural Rendering, Human Performance Modeling and Capture.
Henry P. Towsner @htowsner
964 Followers 195 Following Associate professor of mathematics @Penn. Logic and related topics. Sometimes distracted by RPGs and Judaism. He/him/his. @[email protected]
Shreya Havaldar @shreyahavaldar
280 Followers 279 Following PhD student @cis_penn | student researcher @googledeepmind | multilingual NLP + cultural psychology | she/her 🌸
Eddie Kohler @xexd
2K Followers 383 Following Ass, Professor. Gay. “Wow, A+++ would rely on the services of Eddie "Monkey Bounty Hunter" Kohler again” —@moyix. They (or he)
Katalin Kariko @kkariko
65K Followers 231 Following I am a scientist, working on the therapeutic use of in vitro transcribed mRNA.
Ryan Marcus @RyanMarcus
2K Followers 1K Following Assistant prof @CIS_Penn. Machine learning for systems, databases.
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Andrew K. Hirsch @andrewkhirsch
574 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
🥢 Jon 🍲 @ionathanch
952 Followers 432 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @ionchy.ca on bsky | coädmin on https://t.co/kUlV1hNtrR
WomenInLogic @WomenInLogic1
1K Followers 180 Following Women in Logic: dismantling inequality tweet by tweet
Rajeev Alur @RajeevAlur
2K Followers 231 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems