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
Followers
Following
Total Posts
@jonathanaldrich.bsky.socialWhoever 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 PostAlmost 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"To the extent my rhetoric has been imperfect, that's on me."
Show Postif 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 PostTurning 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