Joe Cutler @alphaconvert.bsky.social · 22/02/2026My first day at Penn, the Schuylkill flooded 16ft because of Hurricane Ida, and classes were cancelled. I'm starting my new job on Monday, and so of course New York is expecting the largest blizzard in over a decade 2170
Reposted by Joe Cutlerionchy @ionchy.ca · 12/02/2026The 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.htmlnjpls.orgNJPLS May 2026 071
Joe Cutler @alphaconvert.bsky.social · 09/02/2026Seems 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 :) 2541
Joe Cutler @alphaconvert.bsky.social · 09/02/2026Successfully defended my dissertation today. Now Dr. Joe! 12561
Reposted by Joe CutlerAaron Eline @aaroneline.bsky.social · 15/01/2026Hey, 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! 021
Reposted by Joe CutlerWilliam B. Fuckley @opinionhaver.bsky.social · 15/01/2026It’s called ‘vs code’ because the code is an enemy you are fighting 12770185
Reposted by Joe CutlerAlice ✨ @welltypedwit.ch · 05/01/2026also, Applicative usually being defined in terms of (<*>) and not liftA2 was so incredibly damaging. 8254
Reposted by Joe CutlerChris Hayes @chrislhayes.bsky.social · 05/12/2025They’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. 434136334213
Joe Cutler @alphaconvert.bsky.social · 02/12/2025Considering hiding some ancient PL twitter memes deep in my dissertation 2130
Joe Cutler @alphaconvert.bsky.social · 01/12/2025Every 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. 1100
Joe Cutler @alphaconvert.bsky.social · 29/11/2025Is there ever a reason to explicitly copy a file into memory instead of mmapping it if you don't plan to write it? 420
Joe Cutler @alphaconvert.bsky.social · 07/10/2025I 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. 140
Joe Cutler @alphaconvert.bsky.social · 04/10/2025I will also be at ICFP/SPLASH in Singapore! Similarly excited to see everyone (especially Harry) 090
Joe Cutler @alphaconvert.bsky.social · 25/09/2025I'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...youtube.comA HOUSE OF DYNAMITE | Official Trailer | NetflixYouTube video by Netflix 010
Reposted by Joe CutlerHarry Goldstein @harrisongoldste.in · 24/09/2025Have 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.orgThink Globally, Discuss PL LocallyIn-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… 073
Reposted by Joe CutlerHarry Goldstein @harrisongoldste.in · 10/07/2025Upstate 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.cs.cornell.eduUpstate PL August 2025 075
Reposted by Joe CutlerPLDI @sigplan-pldi.bsky.social · 28/06/2025Some 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 ⬇️ 1248
Joe Cutler @alphaconvert.bsky.social · 24/05/2025Headed to NYC for the summer! If you're in town and want to hang out, let me know! 260
Joe Cutler @alphaconvert.bsky.social · 23/05/2025Going to New York on Saturday morning. Tomorrow will be spent feverishly packing and being a little ball of excitement 040
Joe Cutler @alphaconvert.bsky.social · 23/05/2025Passed my proposal defense! Now a PhD candidate, I guess. 4410
Reposted by Joe CutlerEvan Torner @guyintheblackhat.bsky.social · 18/05/2025There 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. 6945571315
Joe Cutler @alphaconvert.bsky.social · 16/05/2025Wow, they made Cheyenne Mountain from the hit 1983 thriller WarGames starting Ally Sheedy and Matthew Broderick into a real place! 140
Reposted by Joe CutlerPeter @notalawyer.bsky.social · 15/05/2025It’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. 903763487
Joe Cutler @alphaconvert.bsky.social · 10/05/2025On 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! 1130
Reposted by Joe CutlerHarry Goldstein @harrisongoldste.in · 07/05/2025If 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.inharrisongoldste.inHarrison Goldstein 21810
Reposted by Joe CutlerHarry Goldstein @harrisongoldste.in · 07/05/2025I'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 127410
Joe Cutler @alphaconvert.bsky.social · 29/04/2025Ok, 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...github.comGitHub - alpha-convert/SubSlice: A little Rust library for giving ref-counted access to disjoint sub-slices of a sliceA little Rust library for giving ref-counted access to disjoint sub-slices of a slice - alpha-convert/SubSlice 080
Joe Cutler @alphaconvert.bsky.social · 29/04/2025Rust-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...gist.github.comsubslice.rsGitHub Gist: instantly share code, notes, and snippets. 3112
Reposted by Joe CutlerMark Riedl @markriedl.bsky.social · 24/04/2025Academic 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… 191
Joe Cutler @alphaconvert.bsky.social · 22/04/2025Honored to be honorably mentioned for the Jane Street Grad Fellowship! PL is well-represented on this list :) www.janestreet.com/join-jane-st...janestreet.com Graduate Research Fellowship Profiles :: Jane StreetJane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving. 2271
Reposted by Joe CutlerJoe Weisenthal @weisenthal.bsky.social · 09/04/2025ALL 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... 56485101
Joe Cutler @alphaconvert.bsky.social · 06/04/2025Been 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" 2241
Joe Cutler @alphaconvert.bsky.social · 01/04/2025I 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. 040
Joe Cutler @alphaconvert.bsky.social · 01/04/2025Been watching The Pitt recently on HBO. Really exceptional for a medical drama. 120
Joe Cutler @alphaconvert.bsky.social · 30/03/2025Say 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? 150
Joe Cutler @alphaconvert.bsky.social · 28/03/2025Ok 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. 090
Joe Cutler @alphaconvert.bsky.social · 27/03/2025One of my favorite activities is introducing people to Tom7's videos 2100
Joe Cutler @alphaconvert.bsky.social · 25/03/2025We'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. 1230
Joe Cutler @alphaconvert.bsky.social · 17/03/2025Every 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?" 270
Joe Cutler @alphaconvert.bsky.social · 15/03/2025Use labeled arguments, in OCaml!! If your function takes two arguments of the same type, please don't make me remember which one is which. 2273
Joe Cutler @alphaconvert.bsky.social · 13/03/2025When, 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? 251
Joe Cutler @alphaconvert.bsky.social · 27/02/2025This is the greatest programming project of all time www.youtube.com/watch?v=0mCs...youtube.comTypeScript types can run DOOMYouTube video by Michigan TypeScript 0193
Reposted by Joe CutlerRyan Williams @rrwilliams.bsky.social · 21/02/2025New 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!people.csail.mit.edu 1726475
