2025-W01 › 🔗 › 2025-01-01 [2025-01-01]
✍️source

December 30, 2024

- 📦 move to new office and get used to everything
- 🗓️ making plans for the new year

Context

2025-W01 › 🔗 [2025-W01-links]

December 30, 2024

2025-01-01 [2025-01-01]
✍️source

December 30, 2024

- 📦 move to new office and get used to everything
- 🗓️ making plans for the new year

2024-12-30 [2024-12-30]

December 30, 2024

#gpu #lean #rust
- Fish 4.0: The Fish Of Theseus, it's about Fish team porting Fish from C++ to Rust
- found cargo-gpu
- A letter to open-source maintainers
    - I hope to make a release for both GAlgebra and lean4_jupyter before or around the end of the year
- Dotfile Management using Stow
    - previously I was reluctant to use stow as it's written in Perl
    - maybe I'll also try `brew bundle` too