2024-W37 › 🔗 [2024-W37-links]
✍️source

2024-09-15 [2024-09-15]

 
#apl #benchmark #compiler #gpu #os #render #rust #sci #shader #web
- found Compile Julia code to WebAssembly
- found SHADERed as another source of shader examples, particularly some are written in Rust, supported via one of its plugins
- looking for ways to include 3D models in LaTeX, found
  - asymptote
    - that can render .obj
    - that works in Overleaf
  - MeshLab that can export models to formats supported by media9
- watched Mike Seddon - Rust GPU Compute, found
  - Bend
  - faer-rs
  - cudarc
  - tinygrad
  - diol: benchmarking
  - wgpu-mm
    - Implementing Matrix Multiplication with WebGPU in Safari for optimized matrix multiplication on WebGPU
  - Fast CUDA SGEMM from Scratch
  - linfa: `scikit-learn` in Rust
  - gpu.cpp
  - CubeCL from Burn team
  - Candle from HF team
- read
  - WebGPU — All of the cores, none of the canvas
  - How to Optimize a CUDA Matmul Kernel for cuBLAS-like Performance: a Worklog
  - Autotune for GPU Kernels: Ensuring Consistent Peak Performance from Burn team
  - WebGPU Compute Shader Basics
- work through WebGPU Puzzles
- learned about APL and BQN
- a portion of The Dao Of FP
- learned about fpgatoy

2024-09-12 [2024-09-12]

 
#✍️
- make a start on Notes on ray-marching implicit surfaces
- make Ray marching (naïve)

2024-09-11 [2024-09-11]

 
#os #shader
- trying to figure out curvature calculation in shaders
  - Screen Space Curvature Shader is a trick to mimic curvature calculation in shaders,using dFdx, dFdy in GLSL, Curvature shader by iY0Yi used it but it shows certain shower door effect
  - glsl-autodiff properly uses forward auto differentiation to calculate curvature in shaders, but it requires rewrite every math function for bookkeeping the gradient and the Hessian

2024-09-10 [2024-09-10]

 
#shader
- work out shader for test Keenan Crane's style for rendering edge and shade
- inspired by Surface Plotter (demo), read
  - Marching Cubes
  - Polygonising a scalar field
  - CIS700 Procedural Graphics: Implicit surfaces - Marching cubes
  - Marching Cubes Part 1: Explaining marching cubes

2024-09-09 [2024-09-09]

 
#formal #lean #optimization #os #rust #wasm
- add `egglog` and `ginac`, and streamline the build process of Rust WASM dependencies
- reading source of projects using egg: `jafioti/luminal`, `marcusrossel/lean-egg`, `verified-optimization/CvxLean` etc. TODO: read more egg papers: Bridging syntax and semantics of lean expressions in e-graphs[rossel2024bridging]An equality saturation tactic for lean[rossel2024equality]Verified reductions for optimization[bentkamp2023verified]