Yaron Minsky
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
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...
www.janestreet.com/tech-talks/r...
October 23, 2025 at 5:25 AM
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...
www.janestreet.com/tech-talks/r...
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...
conf.researchr.org/details/icfp...
October 23, 2025 at 5:25 AM
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...
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.org/documentatio...
October 23, 2025 at 5:25 AM
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.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!
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!
October 23, 2025 at 5:25 AM
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...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
Here's the link to the talk, which is found towards the end of the recording for the whole session.
t.co/FQTmsFWji0
October 20, 2025 at 8:18 AM
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
Here's the link to the talk, which is found towards the end of the recording for the whole session.
t.co/FQTmsFWji0
I've raised my kids well, I think.
September 16, 2025 at 11:51 AM
I've raised my kids well, I think.
A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here!
dl.acm.org/doi/pdf/10.1...
dl.acm.org/doi/pdf/10.1...
June 24, 2025 at 8:57 AM
A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here!
dl.acm.org/doi/pdf/10.1...
dl.acm.org/doi/pdf/10.1...
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
June 13, 2025 at 2:14 PM
I'm pleased to announce OxCaml!
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
Not quite legal OCaml yet, but include functor is on its way to being upstreamed.
![open Base
module String_list = struct
type t = string list [@@deriving sexp, compare]
include functor Comparable.Make
end
let s = Set.of_list (module String_list) [ [ "foo"; "bar" ]; [ "snoo" ] ]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jhnchvs2ckihq2w5nz5oioxm/bafkreianfuqeqgdcluzfikhngd6vso63zxvwpaq5vmnck447zubq44yyw4@jpeg)
June 1, 2025 at 5:29 PM
Not quite legal OCaml yet, but include functor is on its way to being upstreamed.
![open Base
let s = Set.of_list (module String) [ "foo"; "bar"; "baz" ]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jhnchvs2ckihq2w5nz5oioxm/bafkreidu3htsgentafawp5aiua2vwnkbcsq6kf4b4ifnrxhmzr4yxunkdy@jpeg)
On May 22, we're hosting Build Meetup 2025 at Jane Street's London office.
There will be talks about Bazel, Buck2, a buzzing hallway track on Dune, and more. Sign-ups are still open, so if you're excited about build systems, you should sign up!
share.hsforms.com/2-kAtpya7Sou...
There will be talks about Bazel, Buck2, a buzzing hallway track on Dune, and more. Sign-ups are still open, so if you're excited about build systems, you should sign up!
share.hsforms.com/2-kAtpya7Sou...
May 5, 2025 at 2:22 PM
On May 22, we're hosting Build Meetup 2025 at Jane Street's London office.
There will be talks about Bazel, Buck2, a buzzing hallway track on Dune, and more. Sign-ups are still open, so if you're excited about build systems, you should sign up!
share.hsforms.com/2-kAtpya7Sou...
There will be talks about Bazel, Buck2, a buzzing hallway track on Dune, and more. Sign-ups are still open, so if you're excited about build systems, you should sign up!
share.hsforms.com/2-kAtpya7Sou...
A fun day at home, teaching my youngest the lambda calculus. A little late, but, 2nd semester senior year is better than letting them go off to college without a proper grounding in the fundamentals.
February 17, 2025 at 9:22 PM
A fun day at home, teaching my youngest the lambda calculus. A little late, but, 2nd semester senior year is better than letting them go off to college without a proper grounding in the fundamentals.
From that chapter, a summary of some of the advantages of this approach.
December 17, 2024 at 1:06 PM
From that chapter, a summary of some of the advantages of this approach.
Alternate title for the talk: shoggoths all the way down!
December 11, 2024 at 12:30 PM
Alternate title for the talk: shoggoths all the way down!
Amazing slide from @chhillee.bsky.social's talk. The evolution of ML!
December 11, 2024 at 12:23 PM
Amazing slide from @chhillee.bsky.social's talk. The evolution of ML!
If you want to try out our latest compiler, you can do it a bit more concisely, using the "include functor" feature.
github.com/janestreet/o...
github.com/janestreet/o...
December 7, 2024 at 2:19 PM
If you want to try out our latest compiler, you can do it a bit more concisely, using the "include functor" feature.
github.com/janestreet/o...
github.com/janestreet/o...
If you don't want to write the comparison function and s-expression converter, you can use ppx_jane, at which point the code for making a tuple looks like this:
![open Base
module Tuple = struct
module T = struct
type t = int * string [@@deriving compare, sexp]
end
include T
include Comparable.Make (T)
end
let set = Set.singleton (module Tuple) (3, "foo")](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:jhnchvs2ckihq2w5nz5oioxm/bafkreigipfx44myyyroioufzrzpbpntwxvv5l6ctfsubkdoynfxjblmvwu@jpeg)
December 7, 2024 at 2:19 PM
If you don't want to write the comparison function and s-expression converter, you can use ppx_jane, at which point the code for making a tuple looks like this:
Anton Lorenzen's talk from this last ICFP, "Oxidizing OCaml with model memory management". It gives a bit of a taste of a possible, Rustier future for OCaml.
youtu.be/wbrELQrzwQk?...
youtu.be/wbrELQrzwQk?...
November 26, 2024 at 1:06 AM
Anton Lorenzen's talk from this last ICFP, "Oxidizing OCaml with model memory management". It gives a bit of a taste of a possible, Rustier future for OCaml.
youtu.be/wbrELQrzwQk?...
youtu.be/wbrELQrzwQk?...
This is something I talked with Leo White about in an old Signals and Threads. He proposed architecture as an alternate model for PL design.
signalsandthreads.com/language-des...
signalsandthreads.com/language-des...
November 25, 2024 at 11:36 AM
This is something I talked with Leo White about in an old Signals and Threads. He proposed architecture as an alternate model for PL design.
signalsandthreads.com/language-des...
signalsandthreads.com/language-des...
What could be simpler? 5 mode axes and 11 distinct modes. Nothing to worry about.
November 26, 2024 at 7:08 PM
What could be simpler? 5 mode axes and 11 distinct modes. Nothing to worry about.
What could be simpler? 5 mode axes and 11 distinct modes. Nothing to worry about.
November 24, 2024 at 4:17 PM
What could be simpler? 5 mode axes and 11 distinct modes. Nothing to worry about.
Great talk from @cHHillee about how to build compilers (and more importantly, programming models) to make machine learning models go fast.
(We'll post a recording on YouTube soon!)
(We'll post a recording on YouTube soon!)
November 26, 2024 at 7:08 PM
Great talk from @cHHillee about how to build compilers (and more importantly, programming models) to make machine learning models go fast.
(We'll post a recording on YouTube soon!)
(We'll post a recording on YouTube soon!)
Nick Roberts' talk on mixed blocks for OCaml!
November 26, 2024 at 8:01 PM
Nick Roberts' talk on mixed blocks for OCaml!
Anton Lorenzen's talk on locality, uniqueness and affinity in OCaml, at ICFP!
November 26, 2024 at 8:15 PM
Anton Lorenzen's talk on locality, uniqueness and affinity in OCaml, at ICFP!
One thing folk may have missed: you can now install our bleeding-edge compiler and libraries from opam, and then play with some of our new language features, and write code like this:
November 26, 2024 at 8:27 PM
One thing folk may have missed: you can now install our bleeding-edge compiler and libraries from opam, and then play with some of our new language features, and write code like this: