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.
Source discussion: Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
Editorial paraphrase
A commenter called it ‘really clever,’ praised the self-contained direction, and said it was worth using soon.
Read the original threadA standalone HTML note-taking app intended as a lighter alternative to TiddlyWiki.
Source discussion: Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)
Editorial paraphrase
A commenter explicitly recommended Nash for people who feel overwhelmed by TiddlyWiki.
Read the original threadA high-throughput tokenizer targeting model training pipelines and lower inference time-to-first-token.
Source discussion: GigaToken: ~1000x faster Language model tokenization
Editorial paraphrase
A practitioner called it ‘fantastic work,’ saying the tokenization community wanted to absorb its lessons.
Read the original threadAn interactive Lean course that builds natural-number proofs from the Peano axioms.
Source discussion: Introduction to Formal Verification with Lean Part 1
Editorial paraphrase
Multiple commenters called it ‘amazing’ and ‘the best intro to Lean,’ strongly recommending it to beginners.
Read the original threadA PostgreSQL backup and restore tool with point-in-time recovery and efficient incremental backups.
Source discussion: The startup's Postgres survival guide
Editorial paraphrase
One team reported easy setup and reliable point-in-time recovery; another said it saved substantial storage cost.
Read the original threadA Rust crate that makes common SIMD operations more accessible than manual intrinsics.
Source discussion: Everyone Should Know SIMD
Editorial paraphrase
A bioinformatics developer reported AVX-512 gains and said wide makes common operations ‘completely trivial.’
Read the original threadA Rust SIMD library from the Linebender ecosystem for writing vectorized code.
Source discussion: Everyone Should Know SIMD
Editorial paraphrase
A commenter recommended it directly as the package to start with for Rust SIMD.
Read the original threadA video series documenting the restoration and operation of the Apollo Guidance Computer.
Source discussion: Original Apollo 11 Guidance Computer source code for command and lunar modules
Editorial paraphrase
A commenter said they could not recommend Marc’s restoration videos enough and called the work incredible.
Read the original threadA browser-based system for turning old phones into synchronized widgets and display walls.
Source discussion: ScreenWall – Turn old phones into synced widgets for your space
Editorial paraphrase
A commenter called it ‘cool and useful,’ while others highlighted home dashboards, flight simulators, and e-readers.
Read the original threadA listener-supported internet radio station focused on eclectic, human-curated music discovery.
Source discussion: It's a shame what's happened to radio
Editorial paraphrase
A commenter said it had been their go-to for years and that they had discovered much great music through it.
Read the original thread