Joe Cutler

Coding like this does require a *ton* of discipline (which I do not always have!) to keep the complexity down and the abstractions solid.

If you lose track of the state of the system, it will spiral very quickly.

I have also experienced this. When it works well (not always), Claude code can free me up to think mostly about the bits of the work I'm interested in.

never! actually never been to asia before. never been to anywhere that's not north america or western europe, even!

moi

I'd argue that decidable inference *and* baggage polymorphism is the key. Though this precludes higher order baggage.

Some of my favorite baggage is pictured here

I will also be at ICFP/SPLASH in Singapore! Similarly excited to see everyone (especially Harry)

Congrats Satnam! Seems really exciting.

This seems to be on the agenda for OxCaml, at least according to this design document!

github.com/oxcaml/oxcam...

YES

YouTube video by Netflix A HOUSE OF DYNAMITE | Official Trailer | Netflix

I'm very excited about this new movie from Kathryn Bigelow. More great movies about how terrifying nukes are can only be a good thing. Side-bonus: I expect more WIRED videos featuring @wellerstein.bsky.social

www.youtube.com/watch?v=_wpw...

Think Globally, Discuss PL Locally In-person meetings are hugely beneficial for academic research; they provide a venue to collaborate and connect, making our community more connected and facilitating the exchange of ideas. In addit…

Have you been considering hosting a local PL meetup? Need a good place to start? Check out the PL Perspectives post that I wrote with Michael Greenberg and Noam Zilberstein!

blog.sigplan.org/2025/09/16/think-globally-discuss-pl-locally/

Upstate NY folks: Cornell will be hosting Upstate PL (www.cs.cornell.edu/upstate-pl/) on Thursday, August 28th. You should come if you're in the area!

Talk proposals are due August 4th, registration closes August 18th.

I concur with the FAA

Some more exciting news! This year we had not one, but two(!) dissertations receiving the SIGPLAN John C. Reynolds Doctoral Dissertation Award at PLDI!
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️

meanwhile, i said "ack" out loud to my dad yesterday. ruining happens in all directions

Reality has a well-known liberal bias

But .unwrap() is memory safe! The value of rust is that you don’t have memory unsafety, not that your program will never crash for any reason.

Certainly! I'll make you an AI coding assistant that isn't an utter sycophant...

That’d be fun!!

🤯

just met 2 fellow interns and i am definitively an old man

Headed to NYC for the summer! If you're in town and want to hang out, let me know!

if you want to get back into it just text me, i'll be in town starting tomorrow :)

wait this weather is so good

omg you were there?? thanks!! hope it was an ok talk lol

Going to New York on Saturday morning. Tomorrow will be spent feverishly packing and being a little ball of excitement

Unclear if "PhD candidate" is actually a designation Penn has, but I have decided to give it to myself for funsies

john what happens if i end up as 1/candidate

Passed my proposal defense! Now a PhD candidate, I guess.