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.

👤 Joined on 29 April 2023

2297

Followers

783

Following

934

Total Posts

📜 Kullanıcı Geçmişi

  • 29 Nis 2023, 03:56
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @jonathanaldrich.bsky.social
  • 10 Kas 2023, 02:27
    🔄 Profil bilgileri güncellendi

🚫 Blokladığı Kullanıcılar

❤️ Beğendiği Gönderiler

derek guy
19 October 2026 00:54

Whoever wins the WH will help determine critical questions: who reaps the gains of AI, whether the tech can be used for mass surveillance, and how much power a handful of tech companies can have over US society. Not great if prez is bedfellows w/ tech oligarch and ppl who don't believe in liberalism

Show Post
derek guy
19 October 2026 00:54

Almost certain Vance will run for prez in 2028. If he wins, he'll occupy a WH with a freshly built ballroom, where he'll wine and dine the tech oligarchs and post-liberal conservatives who help propel him into power. This will be a critical moment since this is when we might see AGI.

Show Post
derek guy
19 October 2026 00:54

"To the extent my rhetoric has been imperfect, that's on me."

Show Post
derek guy
16 October 2026 18:54

if i take a walk in my little walkable neighborhood to buy fresh flowers and crunchy nectarines and my serenity is punctured by the sound of your tesla flipping in the air, i will blow up your car with a rocket launcher

Show Post

Turning informal docs into checkable refinement types is such a good use of agents, because the checker catches the model when it guesses wrong. Congrats on the ASE paper!

Show Post

Select language

Install App

Install App