New blog post! I really hope I'll get a decent amount of people mad with this one 😈😈😈 #programming #computing #floatingpoint #geometry lisyarus.github.io/blog/posts/i...
It's OK to compare floating-points for equality
lisyarus.github.io
Max Slater
@thenumb.at
https://thenumb.at Computer Graphics, Programming, Math, OxCaml, C++
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
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)
ICFP/SPLASH 2025 - Tutorials - ICFP/SPLASH 2025
Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! The registration is now open. Early Registration deadline: 31 August 2025. Activities ...
conf.researchr.org
Yaron Minsky@yminsky.bsky.social · 10mo agoWe'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.
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.
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.
Max Slater@thenumb.at · last yr.Monte Carlo has many uses, but path tracing is one of my favorites. Part four (thenumb.at/Rendering/) explores how Monte Carlo integration is used to simulate light transport.
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...
The Saga of Multicore OCaml
YouTube video by Jane Street
youtube.com
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
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...
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.
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
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...
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
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]
Sobol' Sequences with Guaranteed-Quality 2D Projections, supplementary video
YouTube video by Nicolas Bonneel
youtube.com
Monte Carlo has many uses, but path tracing is one of my favorites. Part four (thenumb.at/Rendering/) explores how Monte Carlo integration is used to simulate light transport.
Max Slater@thenumb.at · last yr.Monte Carlo methods require randomly sampling complicated domains, which can be difficult in of itself. Part three (thenumb.at/Sampling/) discusses how to create samplers using rejection, inversion, and changes of coordinates.
Monte Carlo methods require randomly sampling complicated domains, which can be difficult in of itself. Part three (thenumb.at/Sampling/) discusses how to create samplers using rejection, inversion, and changes of coordinates.
Max Slater@thenumb.at · last yr.Monte Carlo integration lets us integrate high-dimensional functions exponentially faster than traditional methods! Part two (thenumb.at/Monte-Carlo/) explores how and why it works.
Monte Carlo integration lets us integrate high-dimensional functions exponentially faster than traditional methods! Part two (thenumb.at/Monte-Carlo/) explores how and why it works.
Max Slater@thenumb.at · last yr.I'm working on a series of posts about Monte Carlo methods! The first (thenumb.at/Probability) is a review/overview of continuous probability, including random variables, distributions, expectation, variance, probability bounds, and the Dirac delta.
One thing I really like about this talk is that it talks both about what kind of language OCaml is now, and also what are the design goals for the kind of language we want to turn it into. youtu.be/g3qd4zpm1LA?...
Making OCaml Safe for Performance Engineering
YouTube video by Jane Street
youtu.be
I'm working on a series of posts about Monte Carlo methods! The first (thenumb.at/Probability) is a review/overview of continuous probability, including random variables, distributions, expectation, variance, probability bounds, and the Dirac delta.
After many years of giving talks, I no longer get nervous. Instead, I'm now nervous when my students give talks! Fortunately, they do an amazing job. Here's Mark Gillespie giving an extended talk on a new *harmonic* surface representation: www.youtube.com/watch?v=9h13...
Ray Tracing Harmonic Functions (Extended Talk)
YouTube video by Mark Gillespie
youtube.com
This talk by Stephen Dolan has totally reshaped the way I think about the pareto frontier that Hindley-Milner sits on. Seriously worth watching. www.youtube.com/watch?v=C1g_...
youtube.com
You cannot get physically-based rendering right without understanding radiometry. My new blog post explains it all, relying on familiar concepts from rendering algorithms as much as possible. Part 2 will come next week. momentsingraphics.de/Radiometry1B...
For those of you attending POPL'25: I will be giving a tutorial! Come join me on **Sunday, January 19** for a hands-on crash course: MPL: Provably Efficient Parallel Programming Two sessions; three hours total. A short description of the tutorial is available here: cs.nyu.edu/~shw8119/25/...
cs.nyu.edu
Here's a recording of my Tiny Glade presentation from the Graphics Programming Conference 2024: www.youtube.com/watch?v=jusW... It's an any% speedrun of our GPU-driven rendering, shadows, global illumination, water, and DoF, involving a few weird tricks.
Rendering Tiny Glades With Entirely Too Much Ray Marching
YouTube video by Graphics Programming Conference
youtube.com
The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there! iris-project.org/pdfs/2025-po...
iris-project.org
Khronos will oversee the open-source Slang shading language and compiler www.khronos.org/news/press/k... This is big. Slang is cross-platform, backward-compatible, and trivial to port to. It supports differentiation/gradient computation as the first-class citizen, allowing to merge ML and graphics.
Khronos Group Launches Slang Initiative, Hosting Open Source Compiler Contributed by NVIDIA
The Khronos Group has announced the launch of the new Slang™…
khronos.org
Your periodic reminder to try out magic-trace. It's the best performance analysis tool you've never heard of. Powered by Intel's amazing Processor Trace, and a hacked version of Google's Perfetto. github.com/janestreet/m...
GitHub - janestreet/magic-trace: magic-trace collects and displays high-resolution traces of what a process is doing
magic-trace collects and displays high-resolution traces of what a process is doing - janestreet/magic-trace
github.com