Learning diary › Year 2025 › May, 2025 › 2025-05-26 [2025-05-26]

✍️source

#bevy #exif #formal #id3 #news #os #physics #racket #rust #software
- found F2, a bulk renaming tool that supports metadata such as EXIF, ID3 and more
- Idiomatic Rust
    - Don't Worry About Lifetimes
    - Don't Unwrap Options: There Are Better Ways
    - Thinking in Expressions
- found DumPy: NumPy except it's OK if you're dum
    - found einx
        - einx notation is inspired by einops, but introduces several novel concepts such as `[]`-bracket notation and full composability that allow using it as a universal language for tensor operations
- Against Curry-Howard Mysticism
- found Reinforcement Learning: An Overview
- found Modeling Nonlinear Dynamics from Equations and Data — with Applications to Solids, Fluids, and Controls
- found The Ultimate Guide to Fine-Tuning LLMs from Basics to Breakthroughs: An Exhaustive Review of Technologies, Research, Best Practices, Applied Research Challenges and Opportunities
- #game
    - found Pong Wars
        - maybe it's fun to rewrite it in Zig, or with Bevy, possibly in 3D
    - Car Physics for Games
    - Games That Love To Take Things Away From You
    - hammurabi: A Rust recreation of the classic 1968 BASIC game
- I made a font
- Someone rewrote my Zig CLI in Rust? Let's compare!
- found Transformer Copilot: Learning from The Mistake Log in LLM Fine-tuning
    - I've long wished for this kind of meaningful learning, instead of just fine-tuning weights according to loss
- thoughts on software
    - Design Pressure: The Invisible Hand That Shapes Your Code
    - Systematic design of multi-join GROUP BY queries
    - Reinvent the Wheel
    - How to Guarantee Your Red Team Will Fail
    - On File Formats
    - What Works (and Doesn't) Selling Formal Methods