Learning diary › Year 2025 › June, 2025 › 2025-06-21 [2025-06-21]

✍️source

#agent #formal #os #software #web
- That Time I Tried Browsing the Web Without CSS
    - I really should keep my sites readable without JS, and even without CSS
- Harper – an open-source alternative to Grammarly
    - I should give it a try again
- AbsenceBench: Language models can't tell what's missing
    - from "Needle in a Haystack" to the missing needle
- found Nxtscape – an open-source agentic browser
- found kokke/tiny-regex-c
    - uses `exrex` to randomly generate test-cases from regex patterns
    - uses "KLEE Symbolic Execution Engine" for formal verification
- We moved from AWS to Hetzner, saved 90%, kept ISO 27001 with Ansible
    - no specifics except for the use of ansible
- #scheme
    - Why Dylan?
        - a scheme without parentheses, but with `end`
    - Why computational reproducibility matters
        - learn about GNU Guix
            - configured with Guile, another scheme- Show HN: Inspect and extract files from MSI installers directly in your browser
- python-importtime-graph
    - I didn't know it's even possible