Reposted by Joe Cutler
The next iteration of NJPLS will be held at the University of Pennsylvania on 22 May 2026! If you'd like to attend or submit a talk proposal, check out the website for details: njpls.org/may2026.html
NJPLS May 2026
njpls.org
February 12, 2026 at 8:03 PM
The next iteration of NJPLS will be held at the University of Pennsylvania on 22 May 2026! If you'd like to attend or submit a talk proposal, check out the website for details: njpls.org/may2026.html
Seems like a good time as any to say I'm:
(1) moving to New York next week, where I'll:
(2) be writing OxCaml at Jane Street!
Excited to start the next thing :)
(1) moving to New York next week, where I'll:
(2) be writing OxCaml at Jane Street!
Excited to start the next thing :)
Successfully defended my dissertation today. Now Dr. Joe!
February 9, 2026 at 10:07 PM
Seems like a good time as any to say I'm:
(1) moving to New York next week, where I'll:
(2) be writing OxCaml at Jane Street!
Excited to start the next thing :)
(1) moving to New York next week, where I'll:
(2) be writing OxCaml at Jane Street!
Excited to start the next thing :)
Successfully defended my dissertation today. Now Dr. Joe!
February 9, 2026 at 5:55 PM
Successfully defended my dissertation today. Now Dr. Joe!
Still OCaml
C++ => Rust
C => Zig
Java => Go
OCaml => ???
Who's building my kick ass modern-tooling high performance ML ecosystem?
Is the answer Roc? It's starting to feel like vaporware.
C => Zig
Java => Go
OCaml => ???
Who's building my kick ass modern-tooling high performance ML ecosystem?
Is the answer Roc? It's starting to feel like vaporware.
January 30, 2026 at 8:27 PM
Still OCaml
Reposted by Joe Cutler
Nonviolence is, in fact, working. This administration is weaker than it was a year ago. More and more of the public is becoming galvanized against it; its agents are being impeded.
Do you honestly think people in the civil rights movement and other nonviolent movements faced no violence themselves? They practiced nonviolence because it works, because the oppressor wants a shooting war, which is the war it will win
How's your non-violent working Mr Gandhi stancil? They will kill each and everyone of you right if they had the chance and you will still be writing Kumbaya.
January 24, 2026 at 9:53 PM
Nonviolence is, in fact, working. This administration is weaker than it was a year ago. More and more of the public is becoming galvanized against it; its agents are being impeded.
Reposted by Joe Cutler
Hey, I'm looking for speakers at DC Systems for this year! Let me know if you, or anyone you know would enjoy giving a talk to an extremely nice and curious audience!
January 15, 2026 at 1:44 AM
Hey, I'm looking for speakers at DC Systems for this year! Let me know if you, or anyone you know would enjoy giving a talk to an extremely nice and curious audience!
Reposted by Joe Cutler
It’s called ‘vs code’ because the code is an enemy you are fighting
January 15, 2026 at 12:54 AM
It’s called ‘vs code’ because the code is an enemy you are fighting
Reposted by Joe Cutler
also, Applicative usually being defined in terms of (<*>) and not liftA2 was so incredibly damaging.
January 5, 2026 at 2:37 PM
also, Applicative usually being defined in terms of (<*>) and not liftA2 was so incredibly damaging.
Reposted by Joe Cutler
They’re killing people as a twitter joke. It’s depraved. Can’t let yourself lose the capacity to be appalled and disgusted and outraged by this.
Secretary of Defense Pete Hegseth announces another boat strike in response to a request/wish from Turning Point USA’s Andrew Kolvet.
December 5, 2025 at 2:28 AM
They’re killing people as a twitter joke. It’s depraved. Can’t let yourself lose the capacity to be appalled and disgusted and outraged by this.
Considering hiding some ancient PL twitter memes deep in my dissertation
December 2, 2025 at 12:46 AM
Considering hiding some ancient PL twitter memes deep in my dissertation
Every time I have something important to do, I start a new side project.
Instead of writing my dissertation, I spent the last few days optimizing an OxCaml implementation of the One Billion Row Challenge (1brc).
I'd much rather write about this!! Oh well, maybe after I'm done dissertating.
Instead of writing my dissertation, I spent the last few days optimizing an OxCaml implementation of the One Billion Row Challenge (1brc).
I'd much rather write about this!! Oh well, maybe after I'm done dissertating.
December 1, 2025 at 6:42 PM
Every time I have something important to do, I start a new side project.
Instead of writing my dissertation, I spent the last few days optimizing an OxCaml implementation of the One Billion Row Challenge (1brc).
I'd much rather write about this!! Oh well, maybe after I'm done dissertating.
Instead of writing my dissertation, I spent the last few days optimizing an OxCaml implementation of the One Billion Row Challenge (1brc).
I'd much rather write about this!! Oh well, maybe after I'm done dissertating.
Is there ever a reason to explicitly copy a file into memory instead of mmapping it if you don't plan to write it?
November 29, 2025 at 11:04 PM
Is there ever a reason to explicitly copy a file into memory instead of mmapping it if you don't plan to write it?
Reposted by Joe Cutler
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’m less concerned about this now. i experienced deep flow vibecoding yesterday. in some ways it was actually deeper than manual coding because (when it worked well) i was able to explore ideas and directions that would normally take me days (due to lack of domain knowledge, boilerplate etc)
the thing i'm worried about is whether AI will decimate the "flow states" of knowledge work. i realize this is very selfish. i enjoy being in a flow state. i don't want to constantly be babysitting an unlearning intern who repeatedly violates instructions. even if they eventually produce good work
October 7, 2025 at 12:14 AM
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'll be at ICFP/SPLASH in Singapore, starting in a little over a week! Really looking forward to seeing everyone.
October 4, 2025 at 9:59 PM
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...
www.youtube.com/watch?v=_wpw...
A HOUSE OF DYNAMITE | Official Trailer | Netflix
YouTube video by Netflix
www.youtube.com
September 25, 2025 at 8:21 PM
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...
www.youtube.com/watch?v=_wpw...
Reposted by Joe Cutler
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/
blog.sigplan.org/2025/09/16/think-globally-discuss-pl-locally/
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…
blog.sigplan.org
September 24, 2025 at 2:48 PM
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/
blog.sigplan.org/2025/09/16/think-globally-discuss-pl-locally/
Reposted by 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.
Talk proposals are due August 4th, registration closes August 18th.
Upstate PL August 2025
www.cs.cornell.edu
July 10, 2025 at 6:22 PM
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.
Talk proposals are due August 4th, registration closes August 18th.
Reposted by Joe Cutler
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 ⬇️
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️
June 28, 2025 at 3:56 AM
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 ⬇️
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
A big AI question is why, as LLMs get bigger, their values seem to increasingly converge on the same preferences, this holds for Musk’s Grok & China’s DeepSeek, too.
“These findings suggest that value systems emerge in LLMs in a meaningful sense, with broad implications” arxiv.org/abs/2502.08640
“These findings suggest that value systems emerge in LLMs in a meaningful sense, with broad implications” arxiv.org/abs/2502.08640
June 15, 2025 at 4:15 PM
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!
May 24, 2025 at 3:03 PM
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
May 22, 2025 at 11:30 PM
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.
May 22, 2025 at 11:22 PM
Passed my proposal defense! Now a PhD candidate, I guess.
Reposted by Joe Cutler
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.
University towns are factory towns. Universities drive economic activity, not the other way around.
A must read
May 18, 2025 at 9:20 AM
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.
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!
May 16, 2025 at 1:20 PM
Wow, they made Cheyenne Mountain from the hit 1983 thriller WarGames starting Ally Sheedy and Matthew Broderick into a real place!