Jonathan Aldrich
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
- Reposted by Jonathan AldrichA note from our editors:
- Reposted by Jonathan Aldrich
- Reposted by Jonathan AldrichOn Don Lemon and Georgia Fort
- When Robert Rand, @hsenag.bsky.social, and I took our Open Access petition to ACM in 2020, we talked to CEO Vicki Hanson. Over the terms of 3 ACM presidents, Vicki shepherded ACM's transition to Open Access. I'm glad she saw it happen 20 days before she died. Rest in peace, Vicki.
- Reposted by Jonathan AldrichI keep seeing leftists from outside of Minneapolis say they’ve seen all this before, and no, you haven’t. I’ve been at this for 30+ years and I haven’t either. It’s not what you’re picturing. This is something else
- Reposted by Jonathan AldrichNot only is Trump repeating a lie about the conduct of the 2020 election, but he is also announcing — at an international conference — that his administration will soon prosecute his political opponents for having defeated him in an election. www.democracydocket.com/opinion/dona...
- Fun project last night, building a video editing PC for my wife!
- Police chief: "If it is happening to our officers, it pains me to think about how many of our community members are falling victim to this every day. It has to stop."
- A follow-up: today in the SIGCHI town hall, ACM President Yannis Ioannidis expressed the long term goal that in general, things that were in the DL before ACM OPEN would be made available in the Basic Edition, with new features in the Premium Edition.
- The @acm.org has listened to feedback and is making changes to the Digital Library. Some things are still under discussion. But: * Citation counts will be added to the Basic library * Authors will be able to create a "authorizer"-style link to the complete list of their pubs
- FYI--many ACM members may be interested in this, I was told that you can participate even if you are not a SIGCHI member.
- The @acm.org has listened to feedback and is making changes to the Digital Library. Some things are still under discussion. But: * Citation counts will be added to the Basic library * Authors will be able to create a "authorizer"-style link to the complete list of their pubs
- Distinguished paper at POPL'25 today! Hemant Gouni presents our work Security Reasoning via Substructural Dependency Tracking at 16:45 in Réfectoire. See how a new kind of *substructural* information flow types can be used for capabilities, leakage, sandboxing, authorization etc.
- Last call--submit paper to HotSoS! Three cool tracks: * Get more visibility for Already Published Papers! * Get feedback on Works-in-Progress papers! * Share a Poster or Demo! Focus is foundations of cyber security & privacy. Deadline Friday 1/16 AoE sos-vo.org/group/hotsos...
- Implement your new language/type system either as a beautiful new language / language extension, or as a super clunky library that fits fully within an existing language. Inevitable tradeoff? Sigh....
- Great example of why academic institutions should stay focused on their mission and avoid taking tangentially-relevant political positions (on Israel, in this case as in so many others) davidabell.substack.com/p/the-americ...
- What is object-oriented programming? How did it start? Learn about the foundations of OOP--encapsulation, inheritance, and dynamic method binding--some basic constructs, and its Norwegian origins in simulation language research in my latest Programming Language Pragmatics video!
- OMG I cannot believe how TERRIBLE California is for small business. If you have an LLC doing business in CA you must pay an $800 tax per year--even if you have no income yet. Completely ridiculous!
- Ok "genital inspections" are way more of a threat to our children than trans athletes ever will be. Quite frankly...it's not even close!
- Reposted by Jonathan Aldrich[Not loaded yet]
- 6 years ago, 1300+ of us signed a petition asking @TheOfficialACM to open up its digital library. As of today, January 1, 2026, all ACM papers are free to access by anyone! Changing big orgs is tough, but your voice matters and the rewards are great! www.change.org/p/associatio...
- Wow--the real story of food deserts in the USA. The solution is as simple as stopping large chains from using their market power to get better deals from suppliers. Will politicians have the courage to apply the fix that worked pre-Reagan? www.theatlantic.com/ideas/archiv...
- Why is event handling so painful--and can async make it better? Events are essential to programming, yet notoriously tricky. In my latest Programming Language Pragmatics video, learn about events & how to use language ideas like promises, async, and await to untangle event code!
- When there's a word for something, use it, rather than a negation. So, prefer "forbid" to "disallow." Prefer "range" to "codomain."
