A poor craftsman blames his tools. Wealthy craftsmen also blame their tools. Lots of tool-blaming going around.
08.03.2026 04:08
👍 17
🔁 4
💬 0
📌 0
A poor craftsman blames his tools. Wealthy craftsmen also blame their tools. Lots of tool-blaming going around.
Using Base and our PPXs, it looks like this. Still more verbose than would be ideal, but avoids polymorphic compare, which is an anti-pattern.
blog.janestreet.com/the-perils-o...
Anyway, fast deflation is pretty weird in monetary contexts. I really wonder what it would do to software engineering.
I wonder if we're starting to hit a deflationary era in software engineering. For the first time, we're starting to talk about this in a planning context; it can make sense to put off some projects because we expect they'll be easier to achieve in the future than today.
I wonder if we're starting to hit a deflationary era in software engineering. For the first time, we're starting to talk about this in a planning context; it can make sense to put off some projects because we expect they'll be easier to achieve in the future than today.
I wonder if we're starting to hit a deflationary era in software engineering. For the first time, we're starting to talk about this in a planning context; it can make sense to put off some projects because we expect they'll be easier to achieve in the future than today.
I wonder if we're starting to hit a deflationary era in software engineering. For the first time, we're starting to talk about this in a planning context; it can make sense to put off some projects because we expect they'll be easier to achieve in the future than today.
I wonder if we're starting to hit a deflationary era in software engineering. For the first time, we're starting to talk about this in a planning context; it can make sense to put off some projects because we expect they'll be easier to achieve in the future than today.
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 :)
February 10th, and thus the inaugural edition of NINeS is just around the corner. You can participate from anywhere in the world, at times that are convenient to you. See https://nines-conference.org/attend for information on how you can participate. We hope to see you on Feb 10th!
My regular PSA that if you enjoy working on developer tools, then Jane Street is kind of an amazing place. Apply here! There's no special posting, so just apply for the Software Engineering role, and express your interests in dev-tools in a note.
janestreet.com/apply
So, if you're an experienced educator who loves working with new type-system ideas, apply! I think this is a really unusual and high-impact opportunity to combine those two passions.
My hope and expectation is that approaching this with an educational lense will influence not just how we teach, but also the design of our tools, our libraries, and the language itself.
You can actually see some of the great work from that group on Rust, in a talk Will recently gave at Jane Street:
www.janestreet.com/tech-talks/r...
We're hoping to work more with Greg as well as @shriram.bsky.social and @tonofcrates.bsky.social at Brown, and that some of their insights of thinking about how well designed tools and documentation can help people make the key conceptual leaps.
The last couple of weeks have given us a sense of the scale of the challenges here! It was awesome having Gavin Gray, who came to the systems with fresh eyes, driving a tutorial on OxCaml at ICFP.
conf.researchr.org/details/icfp...
And more about OxCaml itself on oxcaml.org, where you can see some of our efforts to make this stuff easier to understand. There's a pile of documentation, including a tutorial on data-race free programming in OxCaml:
oxcaml.org/documentatio...
You can find the job postings here, for both NY and London:
www.janestreet.com/join-jane-st...
www.janestreet.com/join-jane-st...
We've had an exciting couple of weeks full of opportunities to teach people about the exciting (and mildly bewildering) features of OxCaml.
And...we're looking to hire an experienced educator to help us in this work. Please share this with anyone you think might be a good fit!
And please share with anyonhe else you think might be interested!
One highlight at the end is a skech of the crazy new language features we're going to have to teach to the 100s of JS devs. If that sounds like an exciting challenge, consider applying! We have roles in both NY and London.
janestreet.com/join-jane-st...
janestreet.com/join-jane-st...
I did anothr version of my "Saga of Mulicore OCaml" talk, but this time, nerve-wrackingly, the authors of the original paper were all there!
Here's the link to the talk, which is found towards the end of the recording for the whole session.
t.co/FQTmsFWji0
Me too! (But Max knows more about it than I do.)
Most companies be like “We daren’t go functional, we might not be able to hire”.
Jane Street be like “Hold. Our. Beer.”
And if you want to learn more about OxCaml itself, take a look here:
oxcaml.org
We're going to be at SPLASH/ICFP in Singapore, so if you're going, come talk to us! Richard Eisenberg is an especially good person to ask, but a lot of us will have useful context on this.
Excited to say that we're looking to hire someone to focus on OxCaml education! We're doing enough to change the language that we have a pretty big internal education task ahead of us, and we want to hire someone to focus on it!
Please share this with others!
www.janestreet.com/join-jane-st...
A fun talk about...hacking OCaml. Basically, what you get when you supercollide a systems-y OCaml developer and a CTF.
www.youtube.com/watch?v=SV9V...
On Advisory Opinions, Sarah Isgur and David French speak with me about enumerated powers. The segment begins 43-44 minutes in, depending on format. This was a good conversation among people with different approaches to constitutional interpretation.
thedispatch.com/podcast/advi...
They should know the difference between TeX and LaTeX, so they could hate Lamport less and Knuth more.