Is there ever a reason to explicitly copy a file into memory instead of mmapping it if you don't plan to write it?

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.

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

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

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.

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 ⬇️

Reality has a well-known liberal bias

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

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

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

There is a false dichotomy drawn between "the ivory tower" and "the real world," and I'm here to report that in a post-industrial society, your real-world economy absolutely hinges on the university. University towns are factory towns. Universities drive economic activity, not the other way around.

Wow, they made Cheyenne Mountain from the hit 1983 thriller WarGames starting Ally Sheedy and Matthew Broderick into a real place!

It’s genuinely embarrassing that people keep falling for these “AI explains the hidden secrets of its programming” posts. Grok is not sentient, it cannot explain what it’s doing and why.

On the way back to Philly after an exhausting week in NYC. One week at home, then to Colorado for my brother’s college graduation. Then back to Philly to propose my thesis, then to NYC for the summer!

If you are considering applying for a PhD this Fall, please get in touch. I’m looking for students who are interested in PL, SE, and/or HCI — and ideally all three! You can find more information about me and my work on my website: harrisongoldste.in

I'm incredibly excited to announce that I've accepted a tenure-track position as an assistant professor at the University at Buffalo! The PL/SE group at UB is already really impressive, and I am honored to be part of its continued growth

Ok, I put up this little library SubSlice for per-index refcounted access to a slice on Github. Maybe it'll be useful for someone someday, who knows. github.com/alpha-conver...

Rust-knowers. Is there a good way of getting RefCell-like refcounted access to disjoint slices of an array? Essentially, this, but with a (presumably) less dumb implementation of the reference counting structure. gist.github.com/alpha-conver...

Academic labs train people up from scratch while doing research. And then when a researcher is at their most productive, we kick them out and start over from scratch. Federal government grants cover the costs of most PhD student training. It a public good that makes US companies ultra-competitive…

Honored to be honorably mentioned for the Jane Street Grad Fellowship! PL is well-represented on this list :) www.janestreet.com/join-jane-st...

ALL TRUMP HAS TO DO IS SNAP HIS FINGERS I wrote about what we could go back to if Trump just snapped his fingers right now. Sub to the Odd Lots newsletter right here: www.bloomberg.com/account/news...

Been spending a lot of time recently playing around in Rust. I've found @jonhoo.eu's book absolutely invaluable. It may as well be titled "Rust for PL People"

I recently got a paper subscription to WIRED, after being really impressed by some of their reporting on DOGE. I last had a WIRED subscription when I was ~13. Back then it was almost entirely about consumer electronics and gadgetry. Now every article is about software.

Been watching The Pitt recently on HBO. Really exceptional for a medical drama.

Say I have an ML-like language. If I want to be able to monomorphize, what do I need to rule out? Certainly polymorphic recursion, but what else?

Ok time to learn Rust. Yes, for real this time. No I won't get distracted by some Haskell nonsense and bounce off it again. Yes, I promise. Totally.

One of my favorite activities is introducing people to Tom7's videos

We're about to submit the coolest paper I've ever worked on and I'm so damn excited about it. I can't wait til it gets in somewhere so we can talk about it.

New profile picture just dropped

Every time I have a background check for a job I get all anxious. "What if I actually completely hallucinated that time I worked at AWS?"

Use labeled arguments, in OCaml!! If your function takes two arguments of the same type, please don't make me remember which one is which.

When, exactly, does the ocaml GC run? And moreover, if I mark an external function as noalloc, does this guarantee that the GC will not run during it?

This is the greatest programming project of all time www.youtube.com/watch?v=0mCs...

New paper: Simulating Time With Square-Root Space people.csail.mit.edu/rrw/time-vs-... It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}]. To appear in STOC. Comments are very welcome!

Oops, I over-functorized my OCaml code again

My depressing thought for the day: it seems increasingly inevitable that quite soon, Trump decides to simply disregard a court finding that some of his actions are illegal or unconstitutional. Impeachment is attempted & fails thanks to loyal Republicans. At which point there are no good options.

Good know that they "cannot". Nevertheless,

This talk by Stephen Dolan has totally reshaped the way I think about the pareto frontier that Hindley-Milner sits on. Seriously worth watching. www.youtube.com/watch?v=C1g_...

Every time I try to write the OCaml coercion operator (:>) in Slack, it auto-emojifies it to "😆"

Tech guys believe everyone except them is an NPC, someone just doing a task without trying to improve it, when the reality is that every organization is full of people who are all trying to improve that organization in their own way, including the Federal government

Wired has really risen to the moment www.wired.com/story/elon-m...

Unboxed types-knowers: If I have v : int64# and a record r : { ... mutable x : int64; ...}, is there a way to update the x with the value v without allocating? I can write r.x <- box v, but I want to re-use the existing block from r.x...

Just lost an hour to the fact that, when using unboxed types in OCaml, Obj.repr has different results between compiled code and utop. Obvious in retrospect, but annoying.

Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!

Philly -> Denver for POPL! I’ll be speaking at PLMW tomorrow about How To POPL. Come say hi!

Are there keynotes at this POPL?