Daily issue / 2026-07-23
Useful things that surfaced in Hacker News discussions on 2026-07-23. Open the context to see why each one caught our attention—or jump straight to the original thread.
What we found
A self-contained HTML presentation editor with offline use and optional encrypted collaboration.
A commenter called it ‘really clever,’ praised the self-contained direction, and said it was worth using soon.
A standalone HTML note-taking app intended as a lighter alternative to TiddlyWiki.
A commenter explicitly recommended Nash for people who feel overwhelmed by TiddlyWiki.
A high-throughput tokenizer targeting model training pipelines and lower inference time-to-first-token.
A practitioner called it ‘fantastic work,’ saying the tokenization community wanted to absorb its lessons.
An interactive Lean course that builds natural-number proofs from the Peano axioms.
Multiple commenters called it ‘amazing’ and ‘the best intro to Lean,’ strongly recommending it to beginners.
A PostgreSQL backup and restore tool with point-in-time recovery and efficient incremental backups.
One team reported easy setup and reliable point-in-time recovery; another said it saved substantial storage cost.
A Rust crate that makes common SIMD operations more accessible than manual intrinsics.
A bioinformatics developer reported AVX-512 gains and said wide makes common operations ‘completely trivial.’
A Rust SIMD library from the Linebender ecosystem for writing vectorized code.
A commenter recommended it directly as the package to start with for Rust SIMD.
A video series documenting the restoration and operation of the Apollo Guidance Computer.
A commenter said they could not recommend Marc’s restoration videos enough and called the work incredible.
A browser-based system for turning old phones into synchronized widgets and display walls.
A commenter called it ‘cool and useful,’ while others highlighted home dashboards, flight simulators, and e-readers.
A listener-supported internet radio station focused on eclectic, human-curated music discovery.
A commenter said it had been their go-to for years and that they had discovered much great music through it.