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

✍️source

- #rust
    - Optimizing a Math Expression Parser in Rust #perf
        - profile time usage: `cargo flamegraph` which uses jonhoo/inferno: A Rust port of FlameGraph
        - profile memory usage: nnethercote/dhat-rs: Heap profiling and ad hoc profiling for Rust programs.
        - SIMD scan
        - `mmap`
    - (Quite) A Few Words About Async
        - reviewed alternative to async, and async/await in Python, Js, Rust, (and not in) Go (implicit M:N scheduling), OCaml (effect)
        - From Async/Await to Virtual Threads
    - Tree Borrows (on HN) #formal
        - earlier blog post: Tree Borrows
        - Tree Borrows rejects 54 percent fewer test cases than Stacked Borrows does
        - proven in Rocq: most of the Stacked Borrows optimizations are retained, read-read reorderings and other important new optimizations are enabled
        - Stacked borrows is Miri's runtime model, the current version of Tree Borrows is implemented in the Miri interpreter
        - more about stacked borrows
            - unsafe-code-guidelines/wip/stacked-borrows.md at master · rust-lang/unsafe-code-guidelines
        - Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
    - Building Modular Interpreters and Visitors in Rust with Extensible Variants and CGP
    - Placing functions
- #asm
    - An online searchable reference tool for C intrinsics of all major SIMD engines
        - people mentioned more references on HN
    - The messy reality of SIMD (vector) functions (on HN)
    - Writing a very simple JIT Compiler in about 1000 lines of C
    - Writing an IR from Scratch and survive to write a post
    - Go Assembly Mutation Testing
    - A Bytecode VM for Arithmetic: The Parser
        - in Haskell
    - Injecting Java from native libraries on Android
    - So you want to parse a PDF? (on HN) (on lobste.rs)
- #copyright
    - I used to prefer permissive licenses and now favor copyleft
    - Belgium bans Internet Archive's ‘Open Library’
    - Measuring Fair Use: The Four Factors
    - Anthropic Agrees to Pay $1.5 Billion to Settle Lawsuit With Book Authors
            - On HN
            - https://www.washingtonpost.com/technology/2025/09/05/anthropic-book-authors-copyright-settlement/
    - An update from the team about Anna’s Archive #copyright
            - On HN
    - A media company demanded a license fee for an Open Graph image I used (on HN)
    - Bypassing Watermark Implementations (on HN)
        - tim-janik/imagewmark: Resilient watermarking of digital images
        - swesterfeld/audiowmark: Audio Watermarking
    - “Tivoization” and your right to install under Copyleft and GPL (2021) (on HN)
    - ACM Transitions to Full Open Access (on HN)
- #idea #edu
    - Let Kids Be Loud (on HN)
- #sec
    - PyPI Phishing Attack: Incident Report
    - Multiple vulnerabilities fixed in Git
    - CVE-2025-48384: Breaking git with a carriage return and cloning RCE
- #music
    - Petrichor – a free, open-source, offline music player for macOS
        - a lot of other apps are suggested on HN
    - Radium Music Editor
    - Xenharmlib: A music theory library that supports non-western harmonic systems