Yaron Minsky

This is a fairly wild post about OxCaml Labs from @avsm . It's hard to summarize the stuff they're doing, but, some examples: - Some wild vibecoding - A formal semantics for package managers - A decade of docker containers (including OxCaml!?!) anil.recoil.org/projects/oxc...

Another fun hiring spot at Jane Street: we're looking to hire some great hybrid writers-and-engineers. As we grow and do more, communication becomes ever more important, for both internal and external audiences. www.janestreet.com/join-jane-st...

It's been a minute, but, time for another Signals and Threads, this one with Will Wilson about the testing tools he's building at @antithesis.com. And, in a bow to modernity, we have a video version of this one too! youtu.be/F_LvzcdNH3Q?...

It was a really fun epsiode to record! Will is incredibly sharp and we had a really wide-ranging conversation, from the CAP theorem to the Lyappunov exponent of the Linux kernel (which is really a lot higher than I would have guessed) to the history of property based testing.

It's been a minute, but, time for another Signals and Threads, this one with Will Wilson about the testing tools he's building at @antithesis.com. And, in a bow to modernity, we have a video version of this one too! youtu.be/F_LvzcdNH3Q?...

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.

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!

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.

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!

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.

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

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!

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

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

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

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.

I've raised my kids well, I think.

I've raised my kids well, I think.