Max Slater
@thenumb.at
https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Computer Graphics, Programming, Math, OxCaml, C++
There's already github.com/janestreet/c... and github.com/janestreet/a..., though it looks like the concurrent scheduler and IO library aren't released yet (and both are very wip). Parallel_scheduler also supports concurrency, but it's work-stealing
February 5, 2026 at 1:30 AM
There's already github.com/janestreet/c... and github.com/janestreet/a..., though it looks like the concurrent scheduler and IO library aren't released yet (and both are very wip). Parallel_scheduler also supports concurrency, but it's work-stealing
Also fyi, the compiler doesn't pack record/unboxed product fields yet, small ints still take up a word. Arrays of unboxed numbers are packed, though
February 4, 2026 at 4:44 AM
Also fyi, the compiler doesn't pack record/unboxed product fields yet, small ints still take up a word. Arrays of unboxed numbers are packed, though
Our OxCaml concurrency and IO libraries are getting close to usable - would like to see how writing a web server with them compares :^)
February 4, 2026 at 4:32 AM
Our OxCaml concurrency and IO libraries are getting close to usable - would like to see how writing a web server with them compares :^)
hmm yes we should get around to fixing that
January 27, 2026 at 4:12 AM
hmm yes we should get around to fixing that
Not yet, github.com/oxcaml/oxcam...
Indexing and array primitives for untagged ints by jra4 · Pull Request #4779 · oxcaml/oxcaml
Completes the array and indexing primitives for small integers. In particular, for arrays, strings, bigstrings, bytes:
Support storage of int8s, int16#s (including creation of such arrays).
Suppor...
github.com
January 27, 2026 at 4:11 AM
Not yet, github.com/oxcaml/oxcam...
🫠https://github.com/oxcaml/oxcaml/pull/5299
January 25, 2026 at 6:04 PM
🫠https://github.com/oxcaml/oxcaml/pull/5299
Reposted by Max Slater
Then I dive into the tutorial we held about Oxidised OCaml, the performance-oriented fork at oxcaml.org that @yminsky.bsky.social announced earlier this summer. Try the tutorial in a convenient devcontainer, and take our quiz to help develop the language! @thenumb.at anil.recoil.org/notes/icfp25...
Holding an OxCaml tutorial at ICFP/SPLASH 2025
anil.recoil.org
October 23, 2025 at 1:12 PM
Then I dive into the tutorial we held about Oxidised OCaml, the performance-oriented fork at oxcaml.org that @yminsky.bsky.social announced earlier this summer. Try the tutorial in a convenient devcontainer, and take our quiz to help develop the language! @thenumb.at anil.recoil.org/notes/icfp25...
I'll be at ICFP/SPLASH if anyone wants to chat about OxCaml!
October 10, 2025 at 4:30 AM
I'll be at ICFP/SPLASH if anyone wants to chat about OxCaml!
Reposted by Max Slater
And if you’re interested in OxCaml, we have a tutorial on Sunday at ICFP walking through it conf.researchr.org/track/icfp-s... (materials will be online for anyone afterwards. Just the minor detail of finishing writing them first)
October 3, 2025 at 2:32 PM
And if you’re interested in OxCaml, we have a tutorial on Sunday at ICFP walking through it conf.researchr.org/track/icfp-s... (materials will be online for anyone afterwards. Just the minor detail of finishing writing them first)
Reposted by Max Slater
wave_tracer 0.1 released
wavetracer.dev
wave_tracer combines path tracing and wave optics in a novel way, for practical general-purpose wave simulations across a variety of EM modalities and applications.
wavetracer.dev
wave_tracer combines path tracing and wave optics in a novel way, for practical general-purpose wave simulations across a variety of EM modalities and applications.
August 30, 2025 at 3:23 PM
wave_tracer 0.1 released
wavetracer.dev
wave_tracer combines path tracing and wave optics in a novel way, for practical general-purpose wave simulations across a variety of EM modalities and applications.
wavetracer.dev
wave_tracer combines path tracing and wave optics in a novel way, for practical general-purpose wave simulations across a variety of EM modalities and applications.
We've seen how to define and apply Monte Carlo integration, but there's a whole world of techniques for reducing variance.
Part five (thenumb.at/QMC) covers Quasi-Monte Carlo: negative correlation, stratified and adaptive sampling, and low-discrepancy sequences.
Part five (thenumb.at/QMC) covers Quasi-Monte Carlo: negative correlation, stratified and adaptive sampling, and low-discrepancy sequences.
August 2, 2025 at 7:57 PM
We've seen how to define and apply Monte Carlo integration, but there's a whole world of techniques for reducing variance.
Part five (thenumb.at/QMC) covers Quasi-Monte Carlo: negative correlation, stratified and adaptive sampling, and low-discrepancy sequences.
Part five (thenumb.at/QMC) covers Quasi-Monte Carlo: negative correlation, stratified and adaptive sampling, and low-discrepancy sequences.
Reposted by Max Slater
I had a lot of fun giving this talk in Singapore about the many-years-long saga of multicore OCaml, and in particular, the work over the least 2.5 years of getting it ready for production work within Jane Street's walls.
www.youtube.com/watch?v=XGGS...
www.youtube.com/watch?v=XGGS...
The Saga of Multicore OCaml
YouTube video by Jane Street
www.youtube.com
July 24, 2025 at 9:29 PM
I had a lot of fun giving this talk in Singapore about the many-years-long saga of multicore OCaml, and in particular, the work over the least 2.5 years of getting it ready for production work within Jane Street's walls.
www.youtube.com/watch?v=XGGS...
www.youtube.com/watch?v=XGGS...
Reposted by Max Slater
I am getting increasingly excited by the runtime metaprogramming extensions coming into OxCaml. They deal with the fundamental non-portability of most of the modern vector extensions in CPUs (across all architectures), but don't expose any of their decision trees in the interface of the OCaml lib
July 21, 2025 at 4:18 PM
I am getting increasingly excited by the runtime metaprogramming extensions coming into OxCaml. They deal with the fundamental non-portability of most of the modern vector extensions in CPUs (across all architectures), but don't expose any of their decision trees in the interface of the OCaml lib
Reposted by Max Slater
Our #SIGGRAPH2025 paper "Augmented Vertex Block Descent" presents an extremely fast and stable physics solver with hard constraints for handling joints and collisions.
The project page has a 2D demo with source code and more details:
graphics.cs.utah.edu/research/pro...
The project page has a 2D demo with source code and more details:
graphics.cs.utah.edu/research/pro...
June 23, 2025 at 3:43 AM
Our #SIGGRAPH2025 paper "Augmented Vertex Block Descent" presents an extremely fast and stable physics solver with hard constraints for handling joints and collisions.
The project page has a 2D demo with source code and more details:
graphics.cs.utah.edu/research/pro...
The project page has a 2D demo with source code and more details:
graphics.cs.utah.edu/research/pro...
There's also the aliased key example in the second tutorial (which already works), but that's not exactly what you want
June 20, 2025 at 5:28 PM
There's also the aliased key example in the second tutorial (which already works), but that's not exactly what you want
True but those axes are more restrictive than portability/contention, ie every stateless function is already portable and any value captured at immutable could be captured at contended
June 20, 2025 at 7:43 AM
True but those axes are more restrictive than portability/contention, ie every stateless function is already portable and any value captured at immutable could be captured at contended
There is a way to express shared borrowing, but safely using it in parallel tasks will require support for forking local closures
June 20, 2025 at 7:32 AM
There is a way to express shared borrowing, but safely using it in parallel tasks will require support for forking local closures
Reposted by Max Slater
Rendering nerds! Check out our latest work "Vector-Valued Monte Carlo Integration Using Ratio Control Variates" that has just gotten the best paper award at SIGGRAPH 2025. This paper presents a method that reduces variance of a wide range of rendering and diff. rendering tasks with negligible cost.
June 14, 2025 at 5:26 PM
Rendering nerds! Check out our latest work "Vector-Valued Monte Carlo Integration Using Ratio Control Variates" that has just gotten the best paper award at SIGGRAPH 2025. This paper presents a method that reduces variance of a wide range of rendering and diff. rendering tasks with negligible cost.
We've been working on this for years 📈
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:15 PM
We've been working on this for years 📈
Reposted by Max Slater
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...
A break from programming languages
lexi-lambda.github.io
May 29, 2025 at 4:25 PM
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...
Reposted by Max Slater
Here is a new blog post of mine, where I dive deep into the theory and math behind ReSTIR GI.
Big thanks to Markus Kettunen for verifying the theory, reviewing the article, and catching a key detail I had missed.
agraphicsguynotes.com/posts/unders...
Big thanks to Markus Kettunen for verifying the theory, reviewing the article, and catching a key detail I had missed.
agraphicsguynotes.com/posts/unders...
Understanding The Math Behind ReSTIR GI
Recently, I had the pleasure of contributing to Nvidia’s Zorah project, the flagship demo for the RTX 50 Series GPUs. My primary role was to provide technical support for light transport in Zorah, whi...
agraphicsguynotes.com
May 10, 2025 at 12:11 AM
Here is a new blog post of mine, where I dive deep into the theory and math behind ReSTIR GI.
Big thanks to Markus Kettunen for verifying the theory, reviewing the article, and catching a key detail I had missed.
agraphicsguynotes.com/posts/unders...
Big thanks to Markus Kettunen for verifying the theory, reviewing the article, and catching a key detail I had missed.
agraphicsguynotes.com/posts/unders...
Reposted by Max Slater
A thread on Monte Carlo integration, Sobol' sequences and our new awesome Siggraph paper "Sobol' Sequences with Guaranteed-Quality 2D Projections". by @dcoeurjo.bsky.social , J-C Iehl, V. Ostromoukhov and me. The tl;dr is our video: www.youtube.com/watch?v=8A4Z...
[1/16]
[1/16]
Sobol' Sequences with Guaranteed-Quality 2D Projections, supplementary video
YouTube video by Nicolas Bonneel
www.youtube.com
May 4, 2025 at 7:38 PM
A thread on Monte Carlo integration, Sobol' sequences and our new awesome Siggraph paper "Sobol' Sequences with Guaranteed-Quality 2D Projections". by @dcoeurjo.bsky.social , J-C Iehl, V. Ostromoukhov and me. The tl;dr is our video: www.youtube.com/watch?v=8A4Z...
[1/16]
[1/16]
Apologies for the delay of part 5...
May 4, 2025 at 3:52 PM
Apologies for the delay of part 5...
Hence we're making it local 🙂
April 21, 2025 at 1:48 PM
Hence we're making it local 🙂