Jonathan Aldrich

@jonathanaldrich.bsky.social

Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.

Want to ensure the AI you embed in your applications doesn't go rogue like OpenAI's did? Take Machine Learning in Production, part of our SE with AI online certificate this fall, & learn how to build, deploy, assure, & maintain AI/LLM-powered software. Apply by July 29! www.cmu.edu/online/softw...

Software Engineering With AI

Advance your career with Carnegie Mellon's Software Engineering & AI online graduate certificate. Learn to build, deploy, and manage AI-enabled software systems.

cmu.edu

The solution to AI safety is not to train closed models so that they never "press the nuclear button." Because we can't stop the bad guys from finding workarounds or using open models. The solution is formal security guarantees that models don't have nuclear buttons to press.

Don't close the frontier! Open weight (and open source) models are key to US national security and competitiveness. A letter from NVIDIA, Microsoft, Meta, IBM, and others came out today urging politicians not to impose hasty regulations. www.reddit.com/r/singularit...

From the singularity community on Reddit: Microsoft, NVIDIA, Meta, IBM, Palantir and more released a joint letter warning Washington not to kill open-weight models

Explore this post and more from the singularity community

reddit.com

Totally bizarre that in Windows & Mac all I have to do to connect to campus wifi is enter my username and password, but in Linux or Android I have to set the "EAP Phase 2 authentication" etc. to get anything to work. And people wonder why Linux/Android is considered less usable.

America has plenty of issues, and the current administration is making them worse. But we still have a ton of strengths--smart, diverse people & a can-do culture. There's no place in the world where I'd rather be a citizen. Happy 4th of July! And happy 250th birthday to the USA!

Yesterday, an ending. Today, a beginning: I'll be serving as a SIG Governing Board representative on ACM Council for the next 2 years. I'll contribute to strategic planning for @acm.org, but my biggest goal is to facilitate communication between Council, SGB, & members.

Jonathan Aldrich@jonathanaldrich.bsky.social · last mo.

Today is my last day as SGB Liaison to the ACM Publications Board. It's been a great 6 years working with dedicated volunteers and staff to make ACM Publications better! I'm most proud of helping to transition ACM to 100% Open Access publishing, as of January 1, 2026.

Today is my last day as SGB Liaison to the ACM Publications Board. It's been a great 6 years working with dedicated volunteers and staff to make ACM Publications better! I'm most proud of helping to transition ACM to 100% Open Access publishing, as of January 1, 2026.

That One Non-Profit Governance Trick: Experts make decisions in a smoke-filled room, keeping information private so they can "roll out" decisions in the right way. Then make the wrong decision because there was no community input and get massive community push-back as a result.

Wow, Congress passes the bipartisan 21st Century ROAD to Housing Act with lots of great pro-housing stuff and literally nothing that's really bad! Trump will reportedly sign it. Amazing that we get this given how dysfunctional Washington has been lately. bipartisanpolicy.org/issue-brief/...

Inside the Deal: What's in the Final 21st Century ROAD to Housing Act

A section-by-section summary of the final 21st Century ROAD to Housing Act, a comprehensive bipartisan package addressing housing supply, manufactured housing, homeownership access, program reform, ve...

bipartisanpolicy.org

Ian is doing awesome work on a novel sanitizer, which checks that C/C++ code that is linked with Rust does not break Rust's memory invariants!

RustConf@rustconf.com · 3mo ago

🔦 #rustconf 2026 Speaker Spotlight: "BorrowSanitizer: Securing Rust Across Foreign Function Boundaries" presented by Ian McCormack (PhD Candidate, Carnegie Mellon University) ➡️ Find this session on our schedule: sched.co/2KHtb 🎟️ Book your spot today! bit.ly/4tLbAkd

So apparently AI use (mostly undisclosed) is becoming ubiquitous in ACM paper submissions. I don't think this happens in my group so I was surprised to hear it. But if that's actually the case, perhaps requiring disclosure is pointless. Thoughts?