Monday · July 27, 2026

Morning Edition

Twenty stories from Hacker News and Pinboard Popular, curated for tech-leaning readers who care about Claude Code, the Apple ecosystem, and privacy.

In this issue

  1. Kill The Cookie Banner
  2. US citizen charged after GrapheneOS phone wipes during airport search
  3. PGSimCity - How PostgreSQL Works
  4. Kimi-K3 Releases on HuggingFace 7/27
  5. The New AI Superpowers: Focus and Followthrough
  6. Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary
  7. Decker, a platform that builds on the legacy of Hypercard and classic macOS
  8. Design is compromise
  9. We have proof automation now
  10. French firefighters face 'pyrocumulonimbus' for first time
  11. Show HN: Physically accurate black hole you can put in your room
  12. Simulate cassette tape audio profiles using FFmpeg
  13. Go Analysis Framework: modular static analysis by go team
  14. The relay market powering token resellers and fraud
  15. Show HN: CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs
  16. Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy
  17. I learned PCB design, 3D printing and C just to listen to music
  18. Introduction to Data-Oriented Design [pdf]
  19. Fonts In Use – Find out where a font is used
  20. I wanted a clock that never needed setting. Things escalated

From Hacker News

Stories 1 – 10
No. 01Privacy & SecurityApplies to you

Kill The Cookie Banner

A European initiative pushing to legally eliminate the ubiquitous cookie consent banner plague. With 522 comments and over 1000 upvotes, HN clearly has feelings about this. If you've ever rage-clicked 'Accept All' just to read an article, this one's for you.

No. 02Privacy & SecurityApplies to you

US citizen charged after GrapheneOS phone wipes during airport search

A US citizen faces charges after his GrapheneOS device auto-wiped during a border search — and prosecutors are treating the wipe itself as suspicious. A chilling case study in the legal risks of privacy-first mobile choices, and the most-discussed story on HN today.

No. 03Dev ToolsApplies to you

PGSimCity - How PostgreSQL Works

A gorgeous SimCity-style interactive visualization that explains PostgreSQL internals — vacuum, WAL, autovacuum, and more. If you've ever wanted to understand what Postgres is actually doing under the hood, this is the most fun way to learn it.

No. 04AI ToolsApplies to you

Kimi-K3 Releases on HuggingFace 7/27

Moonshot AI drops Kimi-K3 on HuggingFace today — another frontier-class open-weights model entering the race. Early benchmarks in the thread are drawing comparisons to top-tier models. Worth grabbing if you're evaluating alternatives to Claude or GPT for coding workflows.

No. 05AI ToolsApplies to you

The New AI Superpowers: Focus and Followthrough

A thoughtful take on what actually differentiates effective AI-assisted developers from the rest — it's not prompting tricks, it's human discipline around focus and follow-through. Directly relevant if you're using Claude Code and wondering why some days feel more productive than others.

No. 06Dev ToolsApplies to you

Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary

Vercel's experimental compiler turns TypeScript directly into native binaries with zero JavaScript runtime dependency. For a TypeScript/.NET developer, this is a compelling peek at a future where TS isn't just a transpile-to-JS story. The HN thread has healthy skepticism worth reading.

No. 07New Apple AppsApplies to you

Decker, a platform that builds on the legacy of Hypercard and classic macOS

Decker is a modern revival of HyperCard's card-and-stack paradigm, deeply influenced by classic Mac aesthetics and philosophy. It's a creative coding / rapid prototyping tool that feels like nothing else out there — instantly appealing to anyone who misses the Mac of the early '90s.

No. 08Dev ToolsApplies to you

Design is compromise

Steph Ango — the founder of Obsidian — writes about why every design decision is a tradeoff and why that's not a weakness but a feature. Given the author, this is practically a behind-the-scenes philosophy piece for one of the reader's core tools.

No. 09AI Tools

We have proof automation now

Adam Langley (of BoringSSL fame) describes using AI-assisted formal proof tools to verify a zstd implementation in Lean. It's a landmark moment: proof automation has crossed a threshold where real-world cryptographic code can be formally verified at reasonable cost.

No. 10Weird Science

French firefighters face 'pyrocumulonimbus' for first time

Pyrocumulonimbus clouds — fire-generated thunderstorms that can create their own lightning and spread fires unpredictably — appeared in France for the first time ever. Climate scientists have warned about this phenomenon for years; now it's arrived in Western Europe.

From Pinboard Popular

Stories 11 – 20
No. 11Weird Science

Show HN: Physically accurate black hole you can put in your room

An AR/web experience that renders a physically accurate, general-relativity-correct black hole and lets you place it in your physical space. The gravitational lensing and photon sphere are rendered in real time. Genuinely jaw-dropping and technically impressive.

No. 12Creative SoftwareApplies to you

Simulate cassette tape audio profiles using FFmpeg

A FFmpeg filter chain that simulates the frequency response, wow-and-flutter, and noise profiles of real cassette tape formats (Type I, II, IV). It's immediately actionable — grab the command and run it on any audio file today for that warm, degraded lo-fi aesthetic.

No. 13Dev Tools

Go Analysis Framework: modular static analysis by go team

The Go team's official framework for building modular static analysis passes is getting renewed attention. A well-structured walkthrough of how to write your own linters and analyzers using the same infrastructure that powers go vet and staticcheck.

No. 14Privacy & Security

The relay market powering token resellers and fraud

A deep dive into the shadowy ecosystem of LLM API token resellers — who buys stolen API keys, how relay markets operate, and what fraud-at-scale looks like when AI inference is the commodity. Essential reading if you deploy or manage any AI API credentials.

No. 15Privacy & SecurityApplies to you

Show HN: CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs

A lean, self-hosted CCTV system designed for Raspberry Pi and similar single-board computers — no cloud, no subscriptions, no data leaving your home. If you care about home security without surrendering footage to a third party, this is worth a look today.

No. 16Dev Tools

Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy

The htmx team continues its tradition of chaotic, brilliant marketing: version 4.0 ships as a Game Boy cartridge. It's a stunt, but the HN thread has genuine discussion about htmx's technical direction. The merch is real and the vibes are immaculate.

No. 17Creative Software

I learned PCB design, 3D printing and C just to listen to music

A developer built a custom hardware music player from scratch — designing PCBs, printing enclosures, and writing firmware in C — purely because no existing device did exactly what they wanted. An inspiring maker story about following a creative itch all the way down the rabbit hole.

No. 18Dev Tools

Introduction to Data-Oriented Design [pdf]

A classic game-dev PDF on Data-Oriented Design resurfaces on HN with fresh eyes. The core ideas — designing around data layout and cache efficiency rather than object hierarchies — are increasingly relevant as developers wrestle with performance in modern systems.

No. 19Creative Software

Fonts In Use – Find out where a font is used

Fonts In Use is a curated archive that documents typefaces used in the wild — posters, books, signage, UI — with credits and context. An invaluable reference for anyone doing design work who wants to identify or find inspiration from real-world typography.

No. 20Weird Science

I wanted a clock that never needed setting. Things escalated

An Ars Technica writer's quest for a perfectly self-setting clock spirals into GPS disciplined oscillators, atomic time sources, and DIY timekeeping rabbit holes. It's the kind of delightful hardware obsession that makes the internet worth having.