HackerLinks

Issue / 2026-05-19

12 interesting things surfaced from HN on 2026-05-19

A daily board of tools, apps, and references that Hacker News readers pulled into view on 2026-05-19. Each row keeps the original HN thread close to the claim.

At a glance:
Items:12
Threads:9

What surfaced that day

01
Gemini 3.5 Flash
blog.google

Google's fast Gemini model with a 1M-token context window.

Show Evidence

Comments compared it against Opus, GPT-5.5, and other Gemini models, debated the 3x price jump, and shared a live use case on The Last Spell.

02
Forge
github.com

Guardrails for 8B models that improve agentic-task accuracy.

Show Evidence

A commenter called the work impressive and praised tools that boost local LLM reliability without retraining the model.

03
Superlog
superlog.sh

Observability that installs itself and fixes bugs.

Show Evidence

Replies praised the install process, compared it with OpenTelemetry, and called the product's bug-hunting analogy lovely.

04
OpenTelemetry
opentelemetry.io

The tracing stack Superlog commenters kept recommending.

Show Evidence

Replies said the SDK, collector, and operator path is still recommended and described how OTel links traces across services.

05
Virtual OS Museum
virtualosmuseum.org

A browser museum of historic operating systems.

Show Evidence

Replies called it great and awesome, linked the site, and pointed to OpenSIMH, v86, and other OS emulation references.

06

A strawberry rendered as a tiny Gaussian-splat demo.

Show Evidence

Replies called it awesome and great, and shared other splat demos plus Gaussian-splat video examples.

07
Kagi
kagi.com

A paid search engine people say is better than Google.

Show Evidence

Commenters said they switched during the pandemic, had not looked back, and found the subscription worth it.

08
Aqua Voice
aquavoice.com

A fast voice dictation app for Mac and Windows.

Show Evidence

A reply said they use Aqua Voice because Apple STT is frustrating.

09
OpenBSD 7.9
openbsd.org

The latest OpenBSD release, a security-focused Unix.

Show Evidence

People said they run it as a home router, home server, personal VPS, and daily driver.

10
Qubes OS
qubes-os.org

A security-focused desktop OS built on hardware virtualization.

Show Evidence

A commenter called it their daily driver and said they cannot recommend it enough.

11
Genode
genode.org

A capability-based OS framework for secure special-purpose systems.

Show Evidence

A commenter made a standard plug for Genode/Sculpt OS and called it capability-based and commercially maintained.

12
seL4
sel4.systems

A formally verified microkernel for high-assurance systems.

Show Evidence

Replies said to study seL4, called it a practical industrial proven-correct microkernel, and described its capability model in detail.