#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)