Jonathan Aldrich

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.

2.2K followers783 following935 posts

One day left! Applications to our online Master of Software Eng program are due tomorrow, Oct 14 at noon PT. Join our part-time program to learn the foundational SE principles and AI-based dev techniques that will take your career to the next level! mse.s3d.cmu.edu/applicants/m...

mse.s3d.cmu.eduHow to Apply - Master of Software Engineering Program - Software and Societal Systems Department - Carnegie Mellon UniversityApply to the Master of Software Engineering for Professionals online, part-time program.

We should call it souperintelligence because we are all drowning in AI soup

Aaron Rupar@atrupar.com

Trump: "We're gonna be signing a document today renaming artificial intelligence, because it's not artificial. We're gonna be naming it Super Intelligence. Officially renaming it."

Jonathan Aldrich reposted

FWIW, I think the question of "Did Woke 1 go to far?" it depends on where you ask! On college campuses? Sometimes. In making cops responsible for bad behavior? Obviously not! In holding sex pests and criminals to account? Clearly incomplete, look at the damn White House.

Jonathan Aldrich reposted

I have a request for anyone who helps organize or leads an ACM SIG, conference, etc. I'm chairing a task force on publication integrity in CS (clear-computing.org). Part of that work is surveying the community on tools used. If you can help spread the word to SIG/conf leaders, please do.

forms.gleCLEAR Survey: Tool Adoption For Ethics And Policy ViolationsThe CLEAR Task force is gathering information from conference and journal organizers about tools used or being developed to identify, investigate, or manage ethics and policy violations in peer review...

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...

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

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...

reddit.comFrom the singularity community on Reddit: Microsoft, NVIDIA, Meta, IBM, Palantir and more released a joint letter warning Washington not to kill open-weight modelsExplore this post and more from the singularity community

Jonathan Aldrich reposted

Jonathan Aldrich reposted

Come take my AI Tools for Software Development course!

Jonathan Aldrich@jonathanaldrich.bsky.social

CMU is launching a new online professional graduate certificate program: Software Engineering with AI! www.cmu.edu/online/softw... Learn how to use AI to build software more productively, and how to effectively use AI as a component in your applications (1/3)

Working SE professionals can learn what they need to be productive in the AI world through our 9-month certificate program. Take one interactive online class per week in the evening, paired with interesting and challenging readings and homework projects. (2/3)

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

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.

So please continue to share your ACM related concerns, but not just about pubs! I'll try to share what is going on. You may see some posts from me on possible ACM directions; some might be my own ideas, others might be things ACM is thinking of--feedback appreciated either way!

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/...

bipartisanpolicy.orgInside the Deal: What's in the Final 21st Century ROAD to Housing ActA 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...

The Second Treaty of Versailles. I'm sure it will be as successful as the first one!

Dean Obeidallah@deanobeidallah.bsky.social

The reviews are in for Trump's "Iran deal" and they are awful--and Im talking from Republicans: ‘This Makes Absolutely No Sense’: Fox’s Brian Kilmeade Torches Trump’s Iran Deal www.mediaite.com/media/news/t...

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

🔦 #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

Jonathan Aldrich reposted

The very conservative Rod Drehrer, who attended the Catholic baptism of JD Vance: “Not saying Trump is the Antichrist. But he’s radiating the spirit of Antichrist, no question.”