- 🚧 busy

#os #shader
- found Slang
- Exploring Async Runtimes by Building our Own
- found The dirac equation in general relativity, a guide for calculations[collas2018dirac]

#compiler #vulkan
- found Impala
    - skimmed
        - AnyDSL: A partial evaluation framework for programming high-performance libraries[leissa2018anydsl]
        - RaTrace: Simple and efficient abstractions for BVH ray traversal algorithms[perard2017ratrace]
    - related:
        - shady
        - Vulkan Clang Compiler

#os
- skimmed
    - STAResNet: A network in spacetime algebra to solve maxwell’s PDEs[pepe2024staresnet]
    - A note on centralizers and twisted centralizers in clifford algebras[filimoshina2024note]

#citation #lean #os #rust #✍️
- experiments on using aider for LLM assisted project-level pair programming
    - this PR is a most extensive one
- finish citation trace for GAlgebra, see this PR for relevant readings
- found Towards a categorical foundation of deep learning: A survey[riccardo2024towards], Cat for DL
- found Cario, a provable Rust-like language

#os
- found Bartosz Ciechanowski's blog
- found Topics in differential geometry[michor2008topics] and Algebraic geometry[milne2012algebraic], helpful for Notes on Algebraic Geometry
- plan to read Templex-based dynamical units for a taxonomy of chaos[mosto2024templex]

#idea #lean #rust #wasm
- contemplate the idea of better file management with Rust
- meet datachain, extism, revisit mage-ai, should evaluate kestra, contemplate the idea of ML orchestration with Rust where each node is a WASM plugin, BAML has some potential
- wish to get back more on Lean and Math in this month

#compiler #idea #rust
- 🌴
- contemplate the idea of a bot to keep me going back to work on my projects, triggered by
    - an update of a related project
    - more than a month of inactivity
        - on the repo
        - or on a recent opened issue
- gccrs: An alternative compiler for Rust

#proof
- Isa Proof Shell

#git #gpu #neovim #ocaml #os #render #rust #shader
- Forester 5.x git log, not bumping to 5.x yet
- evaluate HTMX a bit
- Why not just embed Neovim?, will need to revisit Zed later
- RustGPU: Pros&Cons, the author becomes a maintainer of RustGPU
- found VR Schwarzschild black hole shader (works with SPS and SPS-I)