Daily issue / 2026-07-28
Useful things that surfaced in Hacker News discussions on 2026-07-28. Open the context to see why each one caught our attention—or jump straight to the original thread.
What we found
An interactive 3D visualization for learning PostgreSQL internals.
Source discussion: PGSimCity - How PostgreSQL Works
“I was amazed when I saw PGSimCity — it presents such a complex technical implementation process in such an engaging way.”
Curtis_Guan · recommendation
Direct HN comment
A platform for running and comparing proprietary image models.
Source discussion: Kimi-K3 on HuggingFace
“Fal.AI is what I use for running proprietary image models through their paces as part of my GenAI benchmark site. Highly recommended.”
vunderba · recommendation · first hand use
Direct HN comment
A Rust-oriented verification language for proving program correctness.
Source discussion: We have proof automation now
“Verus (https://github.com/verus-lang/verus) is a good start for the rust ecosystem, but it's essentially a standalone language today (with custom syntax and type system).”
gz09 · recommendation
Direct HN comment
An Alpine.js extension for progressively enhanced, server-driven interfaces.
Source discussion: Removing React.js from the codebase and adapting Htmx for UI interactivity (2023)
“I ended up switching to Alpine Ajax (https://alpine-ajax.js.org/) and pulled the form out of the response and just used a local x-data on it to track the state. This greatly reduced the HTML I needed to send back to just the list of results.”
james2doyle · recommendation · first hand use
Direct HN comment
A server-rendered UI framework inspired by Phoenix LiveView.
Source discussion: Removing React.js from the codebase and adapting Htmx for UI interactivity (2023)
“I'd recommend https://pyview.rocks/. Borrows from Elixir Phoenix's Liveview and works really nice and patches are light to apply.”
gchamonlive · recommendation
Direct HN comment
A project exploring plausible deniability and storage threat models.
Source discussion: US citizen charged after GrapheneOS phone wipes during airport search
“I found the shufflecake FAQ to be a good intro to the topic for anyone curious. It does a good job explaining the threat vectors and the relevant trade offs, in particular the TRIM and ORAM sections. It’s also just a cool project:”
OGWhales · recommendation
Direct HN comment
A space-exploration mystery game with black-hole encounters and a time loop.
Source discussion: Show HN: Physically accurate black hole you can put in your room
“Strongly recommend Outer Wilds. Falling into the black hole the first time was one of my most scared moments in gaming.”
chamomeal · recommendation
Direct HN comment
An adhesive-selection website for matching materials to suitable glues.
Source discussion: Glue bonds to nonstick surfaces and wipes clean with ethanol
“I guess one of my favorite old-school websites will need to get updated, ThisToThat [0].”
oflannabhra · recommendation
Direct HN comment
An open, hackable JavaScript smartwatch with an always-on display.
Source discussion: I wanted a clock that never needed setting. Things escalated
“One is the Bangle JS2, which is the most perfect smartwatch ever made if you use android phones.”
kjjohnsen · recommendation · first hand use
Direct HN comment
NASA's near-real-time satellite map for active fire and hotspot monitoring.
Source discussion: French firefighters face 'pyrocumulonimbus' for first time
“NASA FIRMS is good for tracking where the fire is.”
verzali · recommendation
Direct HN comment
A web tool that uses a phone speaker to synchronize radio-controlled clocks.
Source discussion: I wanted a clock that never needed setting. Things escalated
“This site is really cool! Thanks for sharing”
whatsdoom · recommendation
Direct HN comment