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 › August, 2025 › 2025-08-25 [2025-08-25]

- #zig
    - zg: Unicode text processing for Zig projects
    - Zig; what I think after months of using it

        > Focus on debugging your application rather than debugging your programming language knowledge.

        > A structure has two sizes: its bit-size, and its byte-size.

        > A regular value T coerces to E!T, and an error type E coerces to E!T

        > You can iterate on the contents of c with an inline for at comptime to transform functions the way you want.

    - Packaging Zig as Python packages #py #pkg
    - The Python Package Index Should Get Rid Of Its Training Wheels #py
    - Zig Parser #disect
    - Retro Rogue-Like: Modular Programming in C
    - Looking for examples of clean zig APIs
        - vrischmann/zig-sqlite: zig-sqlite is a small wrapper around sqlite's C API, making it easier to use with Zig.
        - Mario-SO/ohlcv: OHLCV library in zig
        - (266) Code Guild
- #lean
    - Lean Game Server
    - Doing Lean Dirty: Lean as a Jupyter Notebook Replacement
        - https://types.pl/@sandmouth/114813276765190938
- tooling
    - Enforce Proper direnv Setup #mise
    - #helix
        - Helix Plugins
        - Are any of these features available in Helix? · helix-editor helix · Discussion #3156
        - feat: support using Yazi in Helix directly without Zellij or tmux by sxyazi · Pull Request #2461 · sxyazi/yazi
        - try to use yazi inside of helix

        - helix-editor/helix#1125: automatic reload when file changes externally
    - #mac/wm
        - nikitabobko/AeroSpace: AeroSpace is an i3-like tiling window manager for macOS
        - AeroSpace
- #tui
    - habedi/chilli: A microframework for creating command-line applications in Zig
    - Todomvc tui
    - helix/helix-tui at master · helix-editor/helix
- #typst
    - The Math Mode Problem | Laurenz's Blog
    - The (Typst) Math Mode Problem | Laurenz's Blog : r/typst
- #cpp/interop
    - robertoraggi/cplusplus: A compiler front end for the C++ language
    - shedskin/shedskin: Shed Skin is a restricted-Python-to-C++ compiler. Read the introduction below to learn about the restrictions.
- Are "w/o", "w/", "b/c" common abbreviations in the US? #natlang
- Tommaso Gagliardoni's Homepage #qc
    - a reply to *Replication of Quantum Factorisation Records with an 8-bit Home Computer, an Abacus, and a Dog*
- A Diagrammatic Calculus for a Functional Model of Natural Language... #diagram #paper