Monday · June 15, 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. Firewood Splitting Simulator
  2. How to earn a billion dollars
  3. Your ePub Is fine
  4. Show HN: Kage – Shadow any website to a single binary for offline viewing
  5. Not everyone is using AI for everything
  6. Curl will not accept vulnerability reports during July 2026
  7. I indexed 669 GB of my GoPro videos using my M1 Max computer and local ML models
  8. Rio de Janeiro's "homegrown" LLM appears to be a merge of an existing model
  9. Windows 11 users are tired of MS account requirements creeping into everything
  10. Apple Foundation Models
  11. Linux 7.1
  12. Formal methods and the future of programming
  13. Show HN: Trace – Offline Mac meeting transcripts you can flag mid-call
  14. The only scalable delete in Postgres is DROP TABLE
  15. Even more batteries included with Emacs
  16. Caddy compatibility for zeroserve: 3x throughput and 70% lower latency
  17. Bitsy
  18. Formal methods and the future of programming
  19. Ask HN: What are you working on? (June 2026)
  20. 21 years and counting of 'eight fallacies of distributed computing' (2025)

From Hacker News

Stories 1 – 10
No. 01Creative Software

Firewood Splitting Simulator

The top HN story of the day is a delightfully pointless browser-based firewood splitting sim — satisfying physics, great sound design, zero productivity. Sometimes the highest-scored story is just pure joy, and 242 commenters apparently had a lot to say about chopping virtual wood.

No. 02Actionable

How to earn a billion dollars

A new Paul Graham essay, which means HN drops everything and argues for 1,600+ comments. Whether you agree with PG's worldview or not, he's one of the few writers who can stop a developer's morning cold. Worth skimming the essay and diving into the comments for the counterpoints.

No. 03Dev Tools

Your ePub Is fine

A detailed autopsy of why a perfectly valid ePub file gets rejected by Kobo — and the answer is a layered mess of Adobe DRM, undocumented validation quirks, and blame-shifting. Essential reading if you've ever tried to distribute or read DRM-free ebooks and hit a wall.

No. 04Dev ToolsApplies to you

Show HN: Kage – Shadow any website to a single binary for offline viewing

Kage crawls a website and packages it into a single self-contained binary you can run anywhere for offline browsing — no external dependencies. Perfect for archiving docs, saving reference material for travel, or preserving sites you rely on. A genuinely useful CLI tool you can grab today.

No. 05AI ToolsApplies to you

Not everyone is using AI for everything

DuckDuckGo's founder pushes back on the AI-adoption hype with actual usage data: most people are dipping in and out, not mainlining it 24/7. For a developer who lives in Claude Code, this is a useful reality check on how your workflow differs from the median user — and why tool builders can't assume AI fluency.

No. 06Privacy & SecurityApplies to you

Curl will not accept vulnerability reports during July 2026

Daniel Stenberg is taking a month off from curl's security report queue, and he's being fully transparent about it. A fascinating look at the human cost of maintaining foundational open-source security infrastructure solo — and the tradeoffs when the maintainer simply needs a break.

No. 07AI ToolsApplies to you

I indexed 669 GB of my GoPro videos using my M1 Max computer and local ML models

A Show HN that doubles as a love letter to Apple Silicon: local ML models on an M1 Max churning through hundreds of gigabytes of personal video to make it searchable, all without sending data to the cloud. This is the privacy-first AI workflow dream — and it's working today on consumer hardware.

No. 08AI Tools

Rio de Janeiro's "homegrown" LLM appears to be a merge of an existing model

A GitHub issue tears apart Rio de Janeiro's government-backed "sovereign AI" — finding it's apparently a model merge dressed up as original research, with no disclosed methodology. Another cautionary tale about AI washing in the public sector, and a great example of the open-source community doing its own forensics.

No. 09Privacy & SecurityApplies to you

Windows 11 users are tired of MS account requirements creeping into everything

The slow-boiling frog of Microsoft account lock-in has reached a roiling boil, and users are finally loudly fed up. For anyone in the Apple ecosystem, this is both a validation of that choice and a warning sign about the direction of all major OS vendors. The 244-comment thread is a goldmine of workarounds.

No. 10AI ToolsApplies to you

Apple Foundation Models

Anthropic's docs page for Apple Foundation Models integration — bridging on-device Apple Intelligence with Claude's APIs. For a developer building in the Apple ecosystem who already uses Claude Code, this is exactly the kind of cross-platform AI capability to pay attention to right now.

From Pinboard Popular

Stories 11 – 20
No. 11Dev Tools

Linux 7.1

Linus drops the Linux 7.1 release announcement on the kernel mailing list in his signature no-nonsense style. A landmark version number worth noting — the kernel changelog and the HN discussion surface the most relevant driver and performance changes worth knowing about.

No. 12Dev Tools

Formal methods and the future of programming

Jane Street's long-running series on formal methods gets an index page, making it finally accessible as a coherent read. If you're building TypeScript or .NET systems that need to reason about correctness, this is the practitioner's guide to why formal verification is moving out of academia and into production codebases.

No. 13New Apple appsApplies to you

Show HN: Trace – Offline Mac meeting transcripts you can flag mid-call

Trace is a macOS app that transcribes meetings entirely offline — no audio ever leaves your machine — and lets you drop flags mid-call to mark moments for review. Privacy-first meeting transcription on Apple Silicon is exactly the sweet spot of this reader's interests, and it's available to try today.

No. 14Dev ToolsApplies to you

The only scalable delete in Postgres is DROP TABLE

PlanetScale's engineers dissect why bulk DELETEs in Postgres are a performance nightmare and why partitioning + DROP is the only real answer at scale. Essential reading for any .NET/backend developer who's ever wondered why their scheduled cleanup job is killing the database.

No. 15Dev Tools

Even more batteries included with Emacs

A deep-dive tour of underused built-in Emacs features that most users reach for third-party packages to get. Even if you're a VS Code or Neovim person, the ideas here — incremental narrowing, project management, version control integrations — will make you think about what your editor could be doing for you.

No. 16Dev Tools

Caddy compatibility for zeroserve: 3x throughput and 70% lower latency

A detailed engineering post on how adding Caddy compatibility to zeroserve tripled throughput and slashed latency by 70%. Concrete benchmarks, clear architecture diagrams — this is the kind of infrastructure post that's actually actionable if you're running self-hosted services.

No. 17Creative Software

Bitsy

Bitsy is a tiny browser-based game editor for making small worlds with simple tools — it's been quietly beloved by indie game creators for years and this surfacing on HN is a reminder of how joyful constrained creative tools can be. If you've ever wanted to make a tiny explorable thing in an afternoon, this is it.

No. 18Dev Tools

Formal methods and the future of programming

A well-researched walkthrough of how Lisp's ideas — closures, metaprogramming, everything-is-an-expression — quietly shaped Ruby's design. Useful historical context for anyone who thinks about language design, and a fun read for TypeScript developers curious about where expressive language features actually come from.

No. 19ActionableApplies to you

Ask HN: What are you working on? (June 2026)

The monthly HN thread where builders share what they're actually shipping — 853 comments of real projects, side experiments, and AI-powered tools in progress. A monthly ritual worth bookmarking; the June 2026 edition will surface what the community is building with the latest generation of AI coding tools.

No. 20Dev ToolsApplies to you

21 years and counting of 'eight fallacies of distributed computing' (2025)

The eight fallacies of distributed computing — network is reliable, latency is zero, bandwidth is infinite, etc. — remain as relevant as ever, and this APNIC retrospective adds two decades of real-world evidence. A sharp reminder for .NET/TypeScript developers building distributed systems that the fundamentals haven't changed.