Sign in

Joe Cutler

@alphaconvert.bsky.social
1.2K followers 226 following 300 posts

cutler.pl

PostsRepliesMedia
Joe Cutler @alphaconvert.bsky.social · 23/02/2026
I lived in CT during Sandy! We lost power for ~a week, school cancelled the entire time. I’ve heard the JS sandy stories, pretty wild.
030
Joe Cutler @alphaconvert.bsky.social · 22/02/2026
My 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 Cutler
ionchy @ionchy.ca · 12/02/2026
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.org
NJPLS May 2026
071
Joe Cutler @alphaconvert.bsky.social · 11/02/2026
👀👀 github.com/oxcaml/oxcam...
github.com
Indexing and arraylike primitives for small ints (#4779) · oxcaml/oxcaml@82e0716
Small int arraylike primitives Completes the array and indexing primitives for small integers. In particular, for arrays, strings, bigstrings, and bytes support: * storage of `int8`s, `int16#`s, a...
120
Joe Cutler @alphaconvert.bsky.social · 09/02/2026
I'll probably relatively off social media as I navigate a big move & new job, but I would love to in-person connect with folks living in NY working on cool things! Ping me if you're in town.
180
Joe Cutler @alphaconvert.bsky.social · 09/02/2026
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 :)
2541
Joe Cutler @alphaconvert.bsky.social · 09/02/2026
Thanks, Anil!!
000
Joe Cutler @alphaconvert.bsky.social · 09/02/2026
Thanks, Rachit!
000
Joe Cutler @alphaconvert.bsky.social · 09/02/2026
Thanks David!
010
Joe Cutler @alphaconvert.bsky.social · 09/02/2026
Successfully defended my dissertation today. Now Dr. Joe!
12561
Joe Cutler @alphaconvert.bsky.social · 30/01/2026
Still OCaml
1142
Joe Cutler @alphaconvert.bsky.social · 26/01/2026
this is the one posting the AI-"upscaled" pictue?
0130
Joe Cutler @alphaconvert.bsky.social · 25/01/2026
Turns out it's a tiny fix. Not entirely sure how to test it. 🤷‍♂️ github.com/alpha-conver...
github.com
String and bigstring indexing through naked nativeint instead of nake… · alpha-convert/oxcaml@832c2cb
…d immediate
000
Joe Cutler @alphaconvert.bsky.social · 25/01/2026
maybe I should just write the PR that fixes this
110
Joe Cutler @alphaconvert.bsky.social · 25/01/2026
After some investigation, it seems like the oxcaml folks are already well aware of this @thenumb.at :) github.com/oxcaml/oxcam...
github.com
unsafe indexing by unboxed nativeint (and bigger) explicitly truncates the index when it shouldn't · Issue #3889 · oxcaml/oxcaml
The below code should either segfault immediately, or it should print both values. I claim it should do the former but 5.2.0minus-9 does the latter. Even worse, 5.2.0minus-8 and before prints a sin...
210
Joe Cutler @alphaconvert.bsky.social · 25/01/2026
seems like this bit of the compiler is still in flux, and there are some sharp-ish corners. I ran into this codegen bug with unboxed bigstring accesses a few weeks ago while working on 1brc... you can cause a segfault with this if you try really hard gist.github.com/alpha-conver...
gist.github.com
weird_shifts.ml
GitHub Gist: instantly share code, notes, and snippets.
200
Joe Cutler @alphaconvert.bsky.social · 25/01/2026
many of these do exist, but seemingly not all of them... github.com/oxcaml/oxcam...
github.com
oxcaml/testsuite/tests/typing-layouts/unboxed_int_stringlike_indexing.ml at 977afdd4ebd2c9cf0d4756d7b37d0d9a76ca73ef · oxcaml/oxcaml
OCaml - Oxidized! Contribute to oxcaml/oxcaml development by creating an account on GitHub.
110
Joe Cutler @alphaconvert.bsky.social · 25/01/2026
hm is there no caml_bigstring_get..._indexed_by_int16#?
200
Joe Cutler @alphaconvert.bsky.social · 25/01/2026
oops
000
Joe Cutler @alphaconvert.bsky.social · 25/01/2026
omg yay toplevel unboxed bindings!
110
Joe Cutler @alphaconvert.bsky.social · 22/01/2026
Wow, exciting!!
000
Joe Cutler @alphaconvert.bsky.social · 21/01/2026
this claude was the unofficial mascot of the other claude
020
Reposted by Joe Cutler
Aaron Eline @aaroneline.bsky.social · 15/01/2026
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!
021
Reposted by Joe Cutler
William B. Fuckley @opinionhaver.bsky.social · 15/01/2026
It’s called ‘vs code’ because the code is an enemy you are fighting
12770185
Joe Cutler @alphaconvert.bsky.social · 13/01/2026
this fucking rocks
010
Joe Cutler @alphaconvert.bsky.social · 05/01/2026
This one really bugs me
010
Reposted by Joe Cutler
Alice ✨ @welltypedwit.ch · 05/01/2026
also, Applicative usually being defined in terms of (<*>) and not liftA2 was so incredibly damaging.
8254
Joe Cutler @alphaconvert.bsky.social · 05/01/2026
unfortunately not
120
Joe Cutler @alphaconvert.bsky.social · 05/01/2026
try the audiobook it’s so much worse
120
Joe Cutler @alphaconvert.bsky.social · 05/01/2026
wow this *is* the most embarrassing possible thing
020
Joe Cutler @alphaconvert.bsky.social · 17/12/2025
It now has a feedback category! I wrote a long note in there – hopefully it gets to somebody useful.
010
Joe Cutler @alphaconvert.bsky.social · 08/12/2025
Ok I'm really excited you're blogging, but also I'm going to miss the "What should I put here? What were they expecting?" page
100
Reposted by Joe Cutler
Chris Hayes @chrislhayes.bsky.social · 05/12/2025
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.
433136314210
Joe Cutler @alphaconvert.bsky.social · 02/12/2025
Maybe when I mention Sequent Calculus, I can clarify that the reader likely learned this in college @justinesherry.bsky.social
070
Joe Cutler @alphaconvert.bsky.social · 02/12/2025
oh that's an easier one to sneak in
050
Joe Cutler @alphaconvert.bsky.social · 02/12/2025
something about @krismicinski.bsky.social getting an f150 or the like
171
Joe Cutler @alphaconvert.bsky.social · 02/12/2025
Considering hiding some ancient PL twitter memes deep in my dissertation
2130
Joe Cutler @alphaconvert.bsky.social · 02/12/2025
Huge Walk/Guest Suite
110
Joe Cutler @alphaconvert.bsky.social · 02/12/2025
Yes! And also yes!
100
Joe Cutler @alphaconvert.bsky.social · 01/12/2025
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.
1100
Joe Cutler @alphaconvert.bsky.social · 29/11/2025
Right, I'm mostly thinking about realtime use cases. And agree, in practice I've found madvise gets me most of the way there.
000
Joe Cutler @alphaconvert.bsky.social · 29/11/2025
The only reason I can think of is if you expect to (a) touch most if it more than once, and (b) care a lot about individual read latencies. By copying it in (or just walking it once), you can incur all the page faults upfront if it's small enough.
000
Joe Cutler @alphaconvert.bsky.social · 29/11/2025
Is 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 · 30/10/2025
The panoramic picture of the room during the OxCaml tutorial looks like a renaissance painting. Outstanding facial expressions everywhere you look
100
Joe Cutler @alphaconvert.bsky.social · 28/10/2025
I was just in a mall in Singapore that looked exactly like this
010
Joe Cutler @alphaconvert.bsky.social · 07/10/2025
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.
150
Joe Cutler @alphaconvert.bsky.social · 07/10/2025
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.
140
Joe Cutler @alphaconvert.bsky.social · 07/10/2025
never! actually never been to asia before. never been to anywhere that's not north america or western europe, even!
120