#apl #os #tla #z3
- found ipe that is used extensively in tungsteno (source)
- Why I use TLA+ and not(TLA+), learn about PlusCal, Quint and Apalache (TLA+ to Z3)
- trying to figure out if TLA+ can be run in browser via TeaVM or CheerpJ

#os #render #web
- A simple approach to differentiable rendering of SDFs[wang2024simple]
- Rose: Composable autodiff for the interactive web[estep2024rose], and learn about Getting to the point: Index sets and parallelism-preserving autodiff for pointful array programming[paszke2021getting] dex-lang
- they are read on mobile app Reflow which has good PDF reflow support for math formulas in Arxiv papers, but not so good for other math book PDFs

#category #game #idea
- learn about catcolab.org and double category
- learn about Curved Diffusion: A Generative Model With Optical Geometry Control from ECCV 2024
- Reusing Styles from Tailwind CSS, decide to use it for CSS refactor
- found vanjs, considering for using it for VDOM and SSR
- learn about the game sgued/slingshot (just like a recent idea about black hole puzzle game inspired by Star Trek: Discovery)

#os #render #rust #sci #shader
- Differentiable Programming
    - found Differentiable Programming for Image Processing and Deep Learning in Halide and gradient-halide autodiff for halide
    - Adelta: Automatic Differentiation for Discontinuous Programs for A𝛿: Autodiff for Discontinuous Programs – Applied to Shaders Aδ: Autodiff for discontinuous programs-applied to shaders[yang2022delta]
    - found Dr.Jit
    - found Stan Math Library
    - found Kokkos
    - should eval the Rust crates of Rose
- found mistral.rs for LLM inference, which uses a HF candle fork internally
- found Why is anything conscious?[bennett2024anything]

#render #rust #shader
- found A simple approach to differentiable rendering of SDFs[wang2024simple] and Interval shading: Using mesh shaders to generate shading intervals for volume rendering[tricard2024interval]
- work on Rust stuff, particularly read about dioxus

#lean
- skim rubik-lean4 and be reminded of On the nxnxn rubik’s cube[bonzio2018nxnxn] and Nxnxn rubik’s cubes and god’s number[salkinder2021nxnxn]
- skim read-lean