#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

#rust #zig
- When Zig is safer and faster than Rust
    - and How to Actually Write C
- PKMs: Less Management, More Knowledge
    - found capacities and hoarder
- Gu Shi's *Möbius Continuum* and write a review on Weread

- found An introduction to universal artificial intelligence[hutter2024introduction]

- recieved pygae/galgebra#529 about Shirokov inverse, read On computing the determinant, other characteristic polynomial coefficients, and inverse in clifford algebras of arbitrary dimension[shirokov2021computing]

#os
- 🎿🪂
- reading Wang Guowei's philosophical works
- Ghostty Is Native—So What?

#news #os #proof #rust #✍️
- My Ph.D. advisor rewrote himself in bash, and learn about how weasel words, passive voice, and lexical illusions can make technical writing less precise, clear, and convey a lack of proofreading
- Playground Wisdom: Threads Beat Async/Await, and learn that in imperative programming, structured concurrency might be better than async/await, we don't always need to introduce functional programming concepts
- From where I left by antirez, the author of Redis, and learn that he likes the new license, and he does more work but better work by using AI to proofread and help testing the work instead of replace what he does better
- Fermat’s Last Theorem — how it’s going, and enjoy the story of finding the right work for fixing a fixable proof
- Dude, where's my main? and learn that executables can be position-independent just like libraries, and wonder if I can implement chaos engineering in Rust to learn more about low-level system design
- post-mortems for massive IT outage in recent years, and wish to keep a track of inspiring ones of them
- learn about git-backdate, which can help me date unpushed commits better

#agent #proof #software
- How wide is a proof?
- found Notes on Geometric Algebra
- skimmed Agents in software engineering: Survey, landscape, and vision[wang2024agents] and related papers

- 🚧 busy
- reading 📘*Zen and the Art of Motorcycle Maintenance: An Inquiry into Values*

#git #os #render #rust
- try Deepseek Deep Think, add deep think of Deepseek
- rethinking self-hosted git repos, CI, and pages, found
    - Forgejo
    - GitHub Pages App on Cloudron
- try using aider to write Rust script, not so good
    - based on an AoC Rust script example
    - try QwQ
- try copilot-more, maybe settle on it
- Clifford algebra or Lie algebra?
- learn a bit more about Slang, V, and Lobster
- watch Really amazing talk by Tomasz Stachowiak: Rendering Tiny Glades With Entirely Too Much Ray Marching
- The Door ProblemA from awesome-falsehood