2024-W45 › 🔗 › 2024-11-07 [2024-11-07]
✍️source

November 4, 2024

#proof
- Isa Proof Shell

Context

2024-W45 › 🔗 [2024-W45-links]

November 4, 2024

2024-11-10 [2024-11-10]

November 4, 2024

#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

2024-11-08 [2024-11-08]

November 4, 2024

#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

2024-11-07 [2024-11-07]
✍️source

November 4, 2024

#proof
- Isa Proof Shell

2024-11-06 [2024-11-06]

November 4, 2024

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