Joe Cutler

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.

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

Thanks, Anil!!

Thanks, Rachit!

Thanks David!

Successfully defended my dissertation today. Now Dr. Joe!

Still OCaml

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

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

maybe I should just write the PR that fixes this

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

@thenumb.at :)

github.com/oxcaml/oxcam...

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

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

hm is there no caml_bigstring_get..._indexed_by_int16#?

oops

omg yay toplevel unboxed bindings!

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.

Wow, exciting!!

this claude was the unofficial mascot of the other claude

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!

It’s called ‘vs code’ because the code is an enemy you are fighting

this fucking rocks

This one really bugs me

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

unfortunately not

try the audiobook it’s so much worse

wow this *is* the most embarrassing possible thing

It now has a feedback category! I wrote a long note in there – hopefully it gets to somebody useful.

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

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.