Yaron Minsky

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

OxCaml Educator :: Jane Street Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.

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!

OxCaml Educator :: Jane Street Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.

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.

OxCaml Educator :: Jane Street Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.

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

YouTube video by Jane Street Hacking OCaml

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

The Oldest Constitutional Question | Interview: Richard Primus Originalism through the lens of sola scriptura.

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.

Clearly, the reason for the AI work is to build an AI capable of porting from Latex to Typst.

"we need a manhattan project for AI" no what we really need is a manhattan project for porting every math TeX package to Typst (and please start with mathpartir)

I should get them to read the part time parliament, and see what they think of Lamport then.

(discussing Typst)

I've raised my kids well, I think.

Actually, maybe it's the only game in town if you want any two of those three properties...

I'm pretty excited about the possibilities with Mojo, and I think more people should check it out. If you want a language that is pleasant to write in, that lets you write speed-of-light kernels, and lets you write kernels portably, it's kind of the only game in town.

I think it's a great approach, and it turns out that it's something we're doing in OxCaml as well (though it hasn't quite hit production yet.) And you can see some early work in this direction with dialects like MetaOCaml: okmij.org/ftp/ML/MetaO...

Template error messages are pretty tough, and the compile times are rough too. Mojo provides typed metaprogramming as a first-class language feature, similar in some ways to the approach Zig takes.

In CUDA, libraries like Cutlass use template metaprogramming to do this adaptation. But that's a problematic approach!

But the constraints when targetting GPUs are really different! A critical thing when targetting GPUs is being able to adapt your code not just to the shape of the problem, but also to the weird and idiosyncratic shape of the hardware!