Joe Cutler's Avatar

Joe Cutler

@alphaconvert

cutler.pl

1,212
Followers
226
Following
300
Posts
27.04.2023
Joined
Posts Following

Latest posts by Joe Cutler @alphaconvert

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.

23.02.2026 15:00 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

22.02.2026 00:00 πŸ‘ 17 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
NJPLS May 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

12.02.2026 20:03 πŸ‘ 6 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
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...

πŸ‘€πŸ‘€

github.com/oxcaml/oxcam...

11.02.2026 16:41 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

09.02.2026 22:16 πŸ‘ 7 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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 :)

09.02.2026 22:07 πŸ‘ 53 πŸ” 1 πŸ’¬ 2 πŸ“Œ 0

Thanks, Anil!!

09.02.2026 21:59 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Thanks, Rachit!

09.02.2026 21:59 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Thanks David!

09.02.2026 21:57 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Successfully defended my dissertation today. Now Dr. Joe!

09.02.2026 17:55 πŸ‘ 56 πŸ” 1 πŸ’¬ 12 πŸ“Œ 1

Still OCaml

30.01.2026 20:27 πŸ‘ 14 πŸ” 2 πŸ’¬ 1 πŸ“Œ 0

this is the one posting the AI-"upscaled" pictue?

26.01.2026 17:19 πŸ‘ 13 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
String and bigstring indexing through naked nativeint instead of nake… Β· alpha-convert/oxcaml@832c2cb …d immediate

Turns out it's a tiny fix. Not entirely sure how to test it. πŸ€·β€β™‚οΈ

github.com/alpha-conver...

25.01.2026 21:12 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

maybe I should just write the PR that fixes this

25.01.2026 18:49 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
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...

After some investigation, it seems like the oxcaml folks are already well aware of this

@thenumb.at :)

github.com/oxcaml/oxcam...

25.01.2026 18:42 πŸ‘ 1 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
Preview
weird_shifts.ml GitHub Gist: instantly share code, notes, and snippets.

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

25.01.2026 18:40 πŸ‘ 0 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
Preview
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.

many of these do exist, but seemingly not all of them...

github.com/oxcaml/oxcam...

25.01.2026 18:36 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

hm is there no caml_bigstring_get..._indexed_by_int16#?

25.01.2026 18:32 πŸ‘ 0 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

oops

25.01.2026 18:12 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

omg yay toplevel unboxed bindings!

25.01.2026 17:59 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Wow, exciting!!

22.01.2026 01:14 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

this claude was the unofficial mascot of the other claude

21.01.2026 22:15 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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!

15.01.2026 01:44 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

It’s called β€˜vs code’ because the code is an enemy you are fighting

15.01.2026 00:54 πŸ‘ 758 πŸ” 183 πŸ’¬ 12 πŸ“Œ 4

this fucking rocks

13.01.2026 19:12 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

This one really bugs me

05.01.2026 15:24 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

also, Applicative usually being defined in terms of (<*>) and not liftA2 was so incredibly damaging.

05.01.2026 14:37 πŸ‘ 25 πŸ” 4 πŸ’¬ 8 πŸ“Œ 0

unfortunately not

05.01.2026 13:24 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

try the audiobook it’s so much worse

05.01.2026 13:22 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0