Andrew K. Hirsch @andrewkhirsch
Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency. akhirsch.science Buffalo, NY Joined February 2011-
Tweets1K
-
Followers574
-
Following913
-
Likes5K
Andrew K. Hirsch retweeted
The Institute recommends lambda calculus as an everyday wide-spectrum memetic cure. It is important to apply it together with types, STLC at first, system F if the symptoms persist. System Fω should be only administered in clinical settings.
The Institute recommends lambda calculus as an everyday wide-spectrum memetic cure. It is important to apply it together with types, STLC at first, system F if the symptoms persist. System Fω should be only administered in clinical settings.
6
12
150
9K
18
Download Image
Andrew K. Hirsch retweeted
The life of a mathgirl
Andrew K. Hirsch retweeted
Choreographic λ-calculi are a hot topic. You might know models like Pirouette or Chorλ. But did you know researchers don't agree what the "right" semantics should even be? Our ICFP pearl builds a tiny calculus from scratch, and shows the right semantics is... non-strict!?
Andrew K. Hirsch retweeted
Happy Independence Day, America! EU and US are united by shared history and values. EU and US are united by shared respect for freedom. Let’s stay united for a world that’s safer, more peaceful, and more prosperous. 🇪🇺❤️🇺🇸 Happy 4th to all my American friends! #249
Andrew K. Hirsch retweeted
In The Economist:
Andrew K. Hirsch retweeted
Delighted that Michael Sammler (co-advised by Deepak Garg and me) just received an Otto Hahn Medal, the Max Planck dissertation award given to 28 PhDs across all MPIs. Michael, who recently started a tenure-track position at IST Austria, is amazing. mpg.de/prizes/otto-ha…
Andrew K. Hirsch retweeted
AI cannot make me break up with the em dash. Our love is just too strong.
I'm excited to announce that my paper with Ashley Samuelson and Ethan Cecchetti, "Choreographic Quick Changes: First-Class Location (Set) Polymorphism" is conditionally accepted to OOPSLA. There's an arxiv version available now: arxiv.org/abs/2506.10913.
Andrew K. Hirsch retweeted
When I moved to UCSD last year, Sorin was instrumental in making it all possible. He is a person who listens, cares, and gets stuff done. Good job Cornell on hiring the very top Dean
When I moved to UCSD last year, Sorin was instrumental in making it all possible. He is a person who listens, cares, and gets stuff done. Good job Cornell on hiring the very top Dean
Andrew K. Hirsch retweeted
Andrew K. Hirsch retweeted
Very nice paper by Alexander Bohosian and Andrew Hirsch on 'Choreographies as Macros', showing how to quickly prototype choreographic programming languages in #Racket. 'If Fabrizio and @ShriramKMurthi fused...' vibes. 😄 arxiv.org/abs/2505.20845
Andrew K. Hirsch retweeted
Every subtree of a tree is a tree
Andrew K. Hirsch retweeted
“One particular talent stands out among the world-class programmers I’ve known—namely, an ability to move effortlessly between different levels of abstraction.” — Donald Knuth
Andrew K. Hirsch retweeted
The Arcane Texas Fact of the Day: Bugs' Bunny's catchphrase “What's up, Doc?” originated in the 1920s at North Dallas High School, alma mater of Looney Tunes animator Tex Avery.
Andrew K. Hirsch retweeted
Many people are skeptical of the formal approach to computer security because "there will always be more unexpected attacks". This criticism misunderstands how the formal approach represents real adversaries with abstract threat models. There are two parts to the answer. 1/7
Andrew K. Hirsch retweeted
Very proud to announce that the first Iris paper received the 2025 Most Influential POPL Paper Award this week. This is a testament to the amazing contributions of a wonderful international network of collaborators. youtube.com/live/ZKwpY0g9L…
Andrew K. Hirsch retweeted
This equation uses each of the digits from 0 to 9 only once.
This equation uses each of the digits from 0 to 9 only once. https://t.co/yomvJW3SFq
Andrew K. Hirsch retweeted
When I advocate security by design, people say "what about all the code already out there?" They've been saying that for decades, during which time most existing code was written. Good news! Almost all software has not been written yet. We can still invest in the future.
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.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
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
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
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 ⚜️
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Guannan Wei @GuannanWei
1K Followers 960 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
brogician @sivawashere
435 Followers 272 Following you're wrong about programming languages and i'm right
Raghav Malik @RaghavMalik15
510 Followers 514 Following PhD candidate (!!) in CmpE at Purdue @purdue_pl I spend my time building compilers for FHE, and spend whats left of it learning math. @r4ghav.bsky.social he/him
Matthew Kolosick @mkolosick
290 Followers 389 Following PhD student at @ucsd_cse, former undergrad at @neu_prl. Researching PL, security, and verification with @RanjitJhala and @deiandelmars. https://t.co/Xw0b8zmo4d
SIGPLAN-M @SigplanM
1K Followers 409 Following We form long-term cross-institutional mentoring connections in the programming languages community.
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Shawn @unshorn_
53 Followers 645 Following
George Notwell @animalfarmchina
246 Followers 8K Following
Ooxemparc @Ooxemparc89546
2 Followers 288 Following
guru @guruprerana
176 Followers 577 Following phd student at penn - concerned about all forms of synthesis and verification for autonomous agents
WandererAveryBrown @t5CF5FermM92h
5 Followers 662 Following Living life with purpose and chasing success.
Awsetlu @Awsetlu085
38 Followers 2K Following
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Fworxuc @Fworxuc479
42 Followers 2K Following
1e18 @zhuzuojun
193 Followers 4K Following
€LON @Muskian0
116 Followers 187 Following DOGE MANAGEMENT| Innovator|Entrepreneur|Pioneer in space energyl and technologyl 🚀🌎
Easworte @Easworte01300
26 Followers 951 Following
jhemann @jhemann
600 Followers 4K Following Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | https://t.co/b7y1CxQEZE
Weateem @Weateem9442
15 Followers 741 Following
Bill Pugh @wpugh
2K Followers 2K Following Professor, software developer, maker, mentor, fire eater. Pronouns: he, him, his.
Mohammed Amine BEN CH... @AmineLehocine
36 Followers 1K Following
Loasloslo @LoaslosloSJB
54 Followers 4K Following Don’t worry about the vague future, just strive for the clear present.
Seelal @Seelal3246488
16 Followers 614 Following
Advait Vinayak Soman @advait_soman
146 Followers 1K Following Compilers and Programming language enthusiast. Working in Nvidia Pune Compiler team tweets are personal
Zachary Tatlock @ztatlock
1K Followers 481 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Swarat Chaudhuri @swarat
3K Followers 626 Following Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
prateik pokharel @PratikP93
0 Followers 11 Following
Tammy williams @Tammywilli52821
258 Followers 7K Following The entire structure of the U.S. government is based on compromise. 3 co-equal branches, a bicameral legislature, as part of a Republic, rooted in Natural Law.
nanodijkstra @nanod1jkstra
490 Followers 7K Following based computer systems researcher & hacker @ NYU
Omprakash Om @Om1prakash
244 Followers 3K Following || A speck of dust in this universe || Meditation, RAKs & kindness, #Read life changing #blog on: https://t.co/8iwUb8F0XE Software Engineer.
Toseau @ToseauUpxK9
83 Followers 7K Following
Cas (Stephen Casper) @StephenLCasper
6K Followers 4K Following AI technical gov & risk management research. PhD student @MIT_CSAIL, fmr. @AISecurityInst. I'm on the CS faculty job market! https://t.co/r76TGxSVMb
Lacey @AOluwafemi37571
195 Followers 928 Following
Sankha Narayan Guria @ngsankha
961 Followers 754 Following Prof @UnivOfKansas | 🔧 programming languages / type systems / synthesis | PhD @umdcs | Ex- @meta @browserstack @firefox
sunflower @sunflower785033
56 Followers 4K Following
Tyler Sorensen @Tyler_UCSC
1K Followers 879 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
Rini Banerjee @RiniBanerjee20
97 Followers 143 Following PhD student at @Cambridge_CL | Maths & CS graduate from @imperialcollege
Clasha Rinox @ClashaRino65182
221 Followers 7K Following
Thijs Bergkamp @ThijsBergkamp
82 Followers 7K Following
TheraAlfred @DLlwUhN98J1xQ
64 Followers 7K Following
Reshabh K Sharma @ReshabhSharma01
302 Followers 501 Following Everything is a compiler! PhD student @uwcse Opinions are my own!
Ravi Kalia @ravkalia1
246 Followers 7K Following machine learning, aws, generative AI, mlops. Retweets are not endorsements. PhD.
ahuoguo @ahuoguo
37 Followers 311 Following
EunicePeggy @G7lDZ8Lth9wNRJ
42 Followers 6K Following
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.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
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
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
Will Crichton @tonofcrates
7K Followers 159 Following Cognitive engineer, assistant professor @BrownUniversity.
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Branko Milanovic @BrankoMilan
171K Followers 1K Following Income inequality, politics, history, soccer Research prof, Graduate Center CUNY; Visiting prof III, LSE Forthcoming "The Great Global Transformation" Nov 7
The Institute for Typ... @typememetics
711 Followers 106 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Cartoons Hate Her! @CartoonsHateHer
51K Followers 1K Following Author of WILL THERE BE FREE FOOD?, a series of true comedic personal essays, available on Substack to paid subscribers. hacking survivor.
Phil Eaton @eatonphil
25K Followers 612 Following cheerleader, organizer, staff software engineer, databases
Bill Pugh @wpugh
2K Followers 2K Following Professor, software developer, maker, mentor, fire eater. Pronouns: he, him, his.
Communications of the... @CACMmag
9K Followers 1K Following Communications of the ACM, flagship of the Association for Computing Machinery, is a leading publication for the computer science and IT fields.
Blake Scholl 🛫 @bscholl
106K Followers 2K Following Founder/CEO @boomaero. Life is short so if you want to do a lot, it helps to move fast.
Jay Cummings @LongFormMath
44K Followers 598 Following Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).
Jessica Riedl 🧀 �... @JessicaBRiedl
50K Followers 842 Following Sr. Fellow @ManhattanInst. Past: Sen. Portman chief economist (2011-17), budget policy @ 4 prez campaigns. Fiercely independent and tribeless. Views mine.🏳️🌈
U.S. Embassy Ottawa @usembassyottawa
32K Followers 2K Following The official Twitter account of the United States Embassy in Canada. 🇺🇸-🇨🇦 Terms & conditions: https://t.co/6Zhdc6Xw9g
Center for Educationa... @CenterforEdProg
991 Followers 5 Following A think tank centered on orienting education around a culture of excellence. Founders: @optimismmommy, @tracewoodgrains
Numberphile @numberphile
163K Followers 142 Following Videos and podcasts by @BradyHaran --- Supported by Jane Street
Jovita Neliupšienė @EUAmbUS
22K Followers 1K Following Ambassador of the European Union to the United States. For more transatlantic news, follow @EUintheUS.
Sophia Drossopoulou @drossopoulou
482 Followers 55 Following Computer Scientist, Prof. at Imperial College
Tyler Sorensen @Tyler_UCSC
1K Followers 879 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
Neringa Young @NeringaYoung
1K Followers 799 Following Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH
turingdegree @turingdegr72728
1 Followers 2 Following
Grant Sanderson @3blue1brown
411K Followers 362 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdif
藤丸＠自由主義... @jufujimaru
7K Followers 814 Following 自由主義研究所 Japan Institute for Libertarianism 設立者・代表／開業獣医師 リバタリアニズム、オーストリア学派経済学を広げる活動。 規制廃止、小さな政府、減税。反共産主義。 記事 https://t.co/KiLxFVU1h1 HP https://t.co/TEso0DiewC
Sabine Hossenfelder @skdh
196K Followers 787 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception.
Ubuntu @ubuntu
690K Followers 1K Following Ubuntu is an open source software operating system that runs from the desktop, to the cloud, to all your internet connected things.
Kenneth W. Regan @KWRegan
221 Followers 20 Following
Kenneth Regan @KennethRegan15
422 Followers 87 Following
Julius Marozas @JuliusMarozas
44 Followers 583 Following PhD @ Chalmers Interested in Type Theory, Proof Assistants 🐋 Haskell 🐔 Agda ❄️ NixOS he/him
TinyToCS @TinyToCS
2K Followers 2 Following The latest in Computer Science research - in 140 characters or less.
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Taylor Smith @smthtaylr
235 Followers 227 Following 🇨🇦 Theoretical computer scientist. Assistant professor @StFXUniversity. Account is dormant - find me at https://t.co/RHlki9DIFU.
Ryan Williamson @rywilwrite
4K Followers 409 Following SFF author. Never thought I’d get paid to make stuff up, yet here we are. Still waiting for the groupies… 📝 https://t.co/FAtTNto4mY | Header by @Fiflethetwit
MathMatize Memes @MathMatize
43K Followers 279 Following Started from the axioms now we’re here. Original memes.
Lionel Parreaux @LParreaux
683 Followers 159 Following PL researcher interested in Types, Abstraction, Compilers & Optimization (TACO lab, https://t.co/gv3C7sR5X4). Assistant Professor at HKUST.
Roland Kuhn @rolandkuhn
8K Followers 150 Following CTO & co-founder of Actyx; local-first cooperation; trying to channel entropy
Robert Krook @Rewbert
177 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
Ivan Di Liberti @ivandiliberti
576 Followers 1K Following Academic at Gothenburg University. Mathematician. Late millennial.
Kurt Opsahl @kurt@mst... @kurtopsahl
8K Followers 1K Following AGC for Cybersecurity & Civ Lib Policy @FilFoundation, Special Counsel @EFF, affiliate @BKCHarvard, board emeritus @USENIX Bluesky kurtopsahl Tweets are my own.
Dmitrii Kovanikov @ChShersh
43K Followers 206 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Crémieux @cremieuxrecueil
269K Followers 2K Following I write about genetics, 'metrics, and demographics. Read my long-form writing at https://t.co/8hgA4nNS2A.
Tim Walz @Tim_Walz
1.2M Followers 2K Following Dad, husband, teacher, coach, veteran. 41st Governor of Minnesota. Official account: @GovTimWalz
Jie Zhou @__jiezhou
336 Followers 701 Following Assistant Professor in Computer Science at the George Washington University @gwtweets. Research in Systems Security and Compilers. PhD from @UofR.
Zach Sage Fox @zachsagefox
47K Followers 94 Following ✨ CEO, Comic, TV Host, Actor, Writer, Producer, Journalish, PROUD F*** JEW ✡️👊
derek guy @dieworkwear
1.4M Followers 958 Following Menswear writer. Editor at @putthison. Creator of @RLGoesHard. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter
Dan Wuori @DanWuori
150K Followers 15K Following Dan Wuori, Ph.D. | Author, The Daycare Myth: What We Get Wrong About Early Care and Education (and What We Should Do About It) available now from @TCPress
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Institute for Justice @IJ
54K Followers 10K Following For 30 years, the Institute for Justice has come to the aid of real people fighting outrageous government abuse.
Tijana Minić @tiksiminic
217 Followers 137 Following interested in PL/HCI/CS Ed | 🇷🇸🇦🇪🇺🇸 | phd student @uwcse
pikuma.com @pikuma
23K Followers 399 Following An education platform created to teach the fundamentals of #ComputerScience and #Mathematics.Trends for United States
49,4 B posts
11,9 B posts
12,8 B posts
3.908 posts
2.404 posts
5.935 posts
23,1 B posts
2,08 Mn posts
4.557 posts
3.944 posts
72,4 B posts
12,1 B posts
50,1 B posts
2.853 posts
3.446 posts
1.209 posts
189 B posts
3.694 posts
29,4 B posts
You might like
Derek Dreyer
@HerrDreyer
3K Followers
Alexandra Silva
@alexandra8silva
2K Followers
Alex Kavvos
@lambdabetaeta
726 Followers
vollmerm
@ma_vollmer
676 Followers
Ningning Xie
@xnningxie
4K Followers
Peter O'Hearn
@PeterOHearn12
1K Followers