NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

Learning diary › Year 2025 › July, 2025 › 2025-07-14 [2025-07-14]

- #cg
    - Algorithms for making interesting organic simulations (on HN) (on lobste.rs)
    - Simulating Fluids, Fire, and Smoke in Real-Time
    - Ten years of running every day, visualized
    - Hallucinations on the future of real-time rendering
- #asm
    - The missing guide to Dataflow Analysis in MLIR
    - Let's Learn x86-64 Assembly! Part 0 - Setup and First Steps
    - Welcome to Asm Editor
    - A Programmer’s Guide to x86-64 Assembly (Series Overview)
    - Understanding Registers and Data Movement in x86-64 Assembly
    - detour: A detour through the Linux dynamic linker
    - SIMD Within a Register: How I Doubled Hash Table Lookup Performance (on HN) #perf
    - Profiling without Source code – how I diagnosed Trackmania stuttering #perf #game
- #cpp
    - The Best C++ Library
    - Stepanov’s biggest blunder
    - C++ Coroutines Advanced: Converting std:future to asio:awaitable (on HN)
    - Initial implementation of the experimental C++ Lifetime Safety Analysis (-Wexperimental-lifetime-safety) has just landed in Clang
    - cppq: Simple, reliable & efficient distributed task queues for C++17
- #formal #lean
    - Yalep - Micro language based on Lean for teaching mathematical high-school proofs
    - Using Lean like an External SMT Solver from Python
    - CSLib: A Foundation for Computer Science in Lean 4
    - LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
    - Solving Formal Math Problems by Decomposition and Iterative Reflection
    - A formalization of elementary linear algebra Part I Part II
    - Symbolic World Models in Lean 4 for Reinforcement Learning | OpenReview
- #math
    - robust matrix factorization
- #mac
    - ByteAtATime/flare: Raycast-compatible launcher for Linux