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

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

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

#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

#gpu #rust
- Optimizing a Rust GPU matmul kernel

#idea #quantum
- found
    - Knots inside fractals[broden2024knots]
    - Mathematical ideas and notions of quantum field theory[etingof2024mathematical]
    - Applied Linear Algebra and Differential Equations - Lecture notes for MATH 2350 by Jeffrey R. Chasnov
    - Competitive Programmer's Handbook

#haskell
- Haskell: A Great Procedural Language