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

✍️source

- #ph
    - A New Geometry for Einstein's Theory of Relativity
        - [1808.01536] Displacement convexity of Boltzmann's entropy characterizes the strong energy condition from general relativity (2018)
        - [1810.13309] An optimal transport formulation of the Einstein equations of general relativity (2018)
        - [1909.09575] Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems (2019)
        - [2004.08934] Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications (2020)
        - [2408.15968] A nonlinear d'Alembert comparison theorem and causal differential calculus on metric measure spacetimes (2024)
        - [2506.04934] On the geometry of synthetic null hypersurfaces (2025)
    - Testing Quantum Theory in Curved Spacetime
    - Dirac reduction algebra
- #zig
    - #async
        - Asynchrony is not concurrency (on HN) (on lobste.rs)
        - Async I/O on Linux and durability
            - io_uring.pdf
            - Getting Hands-on with io_uring using Go
        - How to handle people dismissing io_uring as insecure? (on HN) #sec
        - Async runtime and interface
    - What can unpopular languages learn from Zig about how to grow a community?
    - New Aarch64 Back End (on HN) (on lobste.rs)
    - Zig's @fieldParentPtr for dumbos like me
    - Lessons learnt while upgrading Apache Arrows project, a zig port, to be compatible with zig 0.14.1.
- #rust
    - polycode: Encode a binary file as a rational polynomial function
    - Async Rust Is A Bad Language (2023) #async
    - The borrowchecker is what I like the least about Rust (on HN) (on lobste.rs)
    - Rickrolling Turso DB (SQLite rewrite in Rust)
    - StackSafe: Taming Recursion in Rust Without Stack Overflow (on HN)
        - tailcall - Rust
    - SQLx – Rust SQL Toolkit (on HN)
- #ts
    - Run TypeScript code without worrying about configuration
        - Node.js — Running TypeScript Natively
    - Bun adds pnpm-style isolated installation mode (on HN)
- #web
    - DaisyUI: Tailwind CSS Components (on HN)
        - daisyUI and Tailwind CSS theme generator — Tailwind CSS Components ( version 5 update is here )
        - Open Props: sub-atomic styles
    - Kelp: A UI library for people who love HTML, powered by modern CSS and Web Components
    - A 14kb page can load much faster than a 15kb page (2022) (on HN)
    - Tailwind is the Worst of All Worlds (on HN) (on lobste.rs)

        > people like tailwind not for its API or ergonomics but for its design system

        - Nativewind
        - UnoCSS: The instant on-demand Atomic CSS engine
        - tachyons-css/tachyons: Functional css for humans
        - Mantine UI
    - It's time for modern CSS to kill the SPA (on HN) (on lobste.rs)

        > The reason SPAs became the default...was because, for a while, they were the only way to deliver something that felt fluid – something that didn’t flash white between pages or jank the scroll position.

        - Smooth transitions with the View Transition API  |  View Transitions  |  Chrome for Developers
        - Guide to implementing speculation rules for more complex sites  |  Web Platform  |  Chrome for Developers
        - What is Lit? – Lit

            > a boilerplate-killing component base class that provides reactive state, scoped styles, and a declarative template system that's tiny, fast and expressive.

    - Windows 7 GUI for the Web (on HN) #css #os #tech-history
        - 98.css
        - XP.css