Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: tinyurl.com/PLP5vids). ACM Publications Board. CTO of noteful.net He/him.
Pittsburgh, PA
Joined October 2013
- Tweets 13,154
- Following 1,242
- Followers 4,675
- Likes 66,156
Interesting insights on "AI as reviewer."
Bottom line: it can provide useful feedback, but given hallucinations and incorrect criticisms, I wouldn't trust it to accurately evaluate a paper--neither does @mboehme_, and neither should you!
🧵 A human review of our AI review at #AAAI26.
📝: arxiv.org/abs/2507.00057
𝕏 : x.com/mboehme_/status/198694…
We are off to a good start. While the synopsis misses the motivation (*why* this is interesting), it offers the most important points. Good abstract-length summary.
1/
The Sierra Club used to be a highly effective organization, which I supported. I hope one day they will find their way again and refocus on environmentalism.
NEW: The Sierra Club embraced social justice. Then it tore itself apart. nytimes.com/2025/11/07/us/po…
PLP 8.5 part 1: Pointers - piped.video/dfu2pMQN0v8
Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)
Pointers are dangerous, yet powerful!
Languages provide them to support linked data structures and to provide efficient access to objects on the stack. Check out my latest Programming Language Pragmatics video, which talks about pointers and their static and dynamic semantics.
PLP 8.2-8.4: Arrays, Strings, and Sets - piped.video/OPk0lBCRFM4
Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)
How do arrays work?
My latest Programming Language Pragmatics video talks about layout options for multidimensional arrays, array slices, and index computations. I also talk about built-in string and set datatypes, including super-cool bit vector representations. Check it out!
Maduro stole the last election in Venezuela. By all rights he should be deposed. But should the US do it?
It's probably a violation of international law for the US to do so--but should international law be respected if it props up a dictator who stole an election?
PLP 8.1 part 2: Unions - piped.video/JJ5BZ2YjB4U
Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)
Unions are data types that can hold one of several different representations at run time. Unions can represent data structures with different variants, or interpret the same bytes in two different ways. Learn all about unions in my latest Programming Language Pragmatics video!
Cool result here! Replication pays for itself by avoiding research investment based on incorrect results...but you only need to spend a small percentage of budget. Focus on replicating results with high impact but low-ish confidence.
How much money should the NIH spend on replication? Is it as high as 20% as RFK has suggested?
Great new analysis from @jddwor suggests the ballpark answer is ~1.4% before you start hitting diminishing returns relative to just funding new science.
ifp.org/how-much-should-we-s…
PLP 8.1: Records - piped.video/qgG555CJPmM
Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)
How to records work in programming languages?
My latest Programming Language Pragmatics video covers it all: record syntax, operations, semantics, (sub)typing, and run time layout!
The socialists are right!
Zoning reform measures have divided tenant advocates in New York.
Yet loosening the city’s anti-housing regime is essential if we ever want to build social housing at scale. jacobin.com/2025/10/new-york…
Jonathan Aldrich retweeted
Music student Rebecca Bryant Novak was expelled by @EastmanSchool without due process after speaking out against a professor’s alleged harassment.
Now, FIRE is putting Rebecca back on the podium for a classical music concert open to the public! 🎶
Tariffs are bad, generally. Tariffs on Canada, practically our closest ally, are particularly bad. Kudos to the Senate for (finally, barely!) standing up to Trump.
Great article from @PublicSourcePA on how campus policy at CMU has shifted against free speech. First limits on "unregistered" speech events at CMU, now possible limits on what students can write on The Fence. Free speech is precious & worth protecting!
publicsource.org/cmu-express…
