#gpu #os
- watch Coding Adventure: Optimizing a Ray Tracer (by building a BVH) and learn about the importance of BVH in ray tracing, and gkjohnson/three-mesh-bvh
- collect autodiff in GPU
- submit a bug report to Chromium
- thinking about separating devlog from reading diary
- thinking about turning my playground repos to monorepos by language/stack

#lean #sci
- found Teaching mathematics using lean and controlled natural language[massot2024teaching]
- noticed that Scientific Computing in Lean is now written in Verso!
- checked some progress in Type Checking in Lean 4
- I should put together a list of resources for learning Lean, as I have been asked and answered this question multiple times
- improve the VSCode Forester extension to have Hover, Go to definition, Search by title, and user-defined patterns for triggering completion

#bevy #os #rust #wasm #web
- add initial survey on headless render/testing for WebGL
    - Compiling C to WebAssembly without Emscripten and WebAssembly without Emscripten, a bit dead-end for me
    - found twr-wasm, a lightweight emscripten
    - I still need to learn more about wasmer and cranelift
- add test Rhai scripting
- learn about monorepo tools: nx seems to have most feature-complete support for most stacks, moon is the next best choice for Bun.js+Rust projects that I have in mind. Other resources:
    - Building a Monorepo with Rust
- I need to learn more about Salva: fluids simulation in Rust that works with Rapier, but it doesn't seem to have a JS binding yet, rapier even has an r3f package, and a plugin for bevy. See FLUID SIMULATION - SIGGRAPH 2007 Course Notes to learn more about fluid simulation.
- learn about WLJS for Wolfram Mathematica, recalled my early Mathematica notebooks, and wish to do SSR for them

#biome #web
- use `biome` for linting web source files
- add some links about Star Trek

#web #webgl
- add live reload
- improve various loading and WebGL animation experience
- found David Tong: Lectures on Gauge Theory

#gpu #render #shader #✍️
- more progress on Notes on ray-marching implicit surfaces, particularly on Raymarching in raymarching (sphere tracing)
- found shaderfrog
- found three-gpu-pathtracer and related projects, particularly Physically Based Materials, and that Steve Trettel uses it to render black holes and Hopf fibrations
- found Multiview neural surface reconstruction by disentangling geometry and appearance[yariv2020multiview] (lioryariv/idr)