How I used Marimo notebooks for my talk at PROPL 2025.