Joe Cutler

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.

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!

I'll be there!

Harrison Goldstein

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

Very stonks

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

GitHub - alpha-convert/SubSlice: A little Rust library for giving ref-counted access to disjoint sub-slices of a slice A little Rust library for giving ref-counted access to disjoint sub-slices of a slice - alpha-convert/SubSlice

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

Oh using a BTreeMap is a good idea here. What do you mean by "locked"?

Ooh, that's getting closer!

subslice.rs GitHub Gist: instantly share code, notes, and snippets.

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