Andrew K. Hirsch
@andrewkhirsch
Followers
578
Following
5K
Media
23
Statuses
1K
Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Buffalo, NY
Joined February 2011
I wish software had a zero defects standard. Among the first things I worked on in my career were debuggers, which obviously DO have such a standard. We should ask ourselves some hard questions about why software defects are not only not 5-alarm fires by definition, but are
As a hardware engineer I can't imagine getting paged at 3am because of a system outage if our hardware had outages like that people would literally die why can't software engineers just make more robust software?
98
45
784
The Emacs ecosystem is unreal. • You can write Python in Emacs • You can write Shell scripts in Emacs • You can build Dockerfiles in Emacs • You can write Terraform in Emacs • You can manage Git from Emacs • You can edit YAML files in Emacs • You can send emails in Emacs
The VS Code ecosystem is unreal. • You can write Python in VS Code • You can write Java in VS Code • You can write Shell scripts in VS Code • You can build Dockerfiles in VS Code • You can write Terraform in VS Code • You can manage Git from VS Code • You can edit YAML
82
66
897
adulthood starts when you understand the difference between proof of negation and proof by contradiction
0
2
25
Congratulations @odersky for receiving the SIGPLAN Programming Languages Achievement Award! Your work is a great inspiration for me :) Well deserved!
3
19
109
Congratulations to my new colleague Harry Goldstein on winning the SIGPLSN Doctoral Dissertation Award!
1
2
27
Pure nonsense. Jefferson drafted Virginia's Statute of Religious Freedom, which he said was intended to provide religious freedom to “the Jew, the Gentile, the Christian, the Mahometan, the Hindoo, and [the] infidel of every denomination.” Madison, meanwhile, wrote that the
Freedom of religion as understood by the founders is basically the right to be Presbyterian, Episcopal, Lutheran and Baptist, while Catholics would be tolerated on the fringes of society. Freedom of religion does not mean a public Islamic call to prayer, or a statue of monkey God
79
591
3K
American logician Alonzo Church wasn’t happy with how handwavy “Principia Mathematica” was, so he invented a new, more rigorous, logic to replace it. His upstart grad students, Kleene and Rosser, proved his new logic is inconsistent almost immediately. Then logician Haskell
Principia Mathematica takes over 360 pages to prove 1+1=2. It's not because the authors were unsure of the answer, but because they were trying to prove that all of mathematics could be built from the ground up using nothing but pure logic.
7
15
212
A beautiful quote by Michael Atiyah: In the broad light of day mathematicians check their equations and their proofs, leaving no stone unturned in their search for rigour. But, at night, under the full moon, they dream, they float among the stars and wonder at the miracle of the
9
174
1K
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.
1
1
13
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!?
1
3
6
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
3
5
17
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. https://t.co/zrsgVqHqmB
mpg.de
The Otto Hahn Medal is intended to motivate especially gifted junior scientists and researchers to pursue a future university or research career.
2
2
39
AI cannot make me break up with the em dash. Our love is just too strong.
39
51
663
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: https://t.co/4lYdXPvgob.
arxiv.org
Choreographic programming is a promising new paradigm for programming concurrent systems where a developer writes a single centralized program that compiles to individual programs for each node....
0
1
14
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
NGL more than a little sad that my oldest colleague and friend at @ucsd_cse is off starting an exciting new adventure - but trust me @CornellCIS you could not have asked for a better new dean! Congratulations and all the very best Sorin!
1
3
35
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. 😄 https://t.co/FCyGIZzcS2
1
4
10