Wednesday · September 16, 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. Introducing System One Models and Jev
  2. Gemini 3.8 Live and 3.8 Live Extended Thinking
  3. Apple Reference Image: A New Approach for Verified Photography
  4. We got admin access to Baseten's production GitHub
  5. Building a Linux GPU Driver for the M4 Mac Mini in One Month
  6. Show HN: Capsule – Single-file web apps that save their data into SQLite
  7. An update on Wayback Machine access
  8. Mistral X Mozilla: Private, Multilingual AI Browsing
  9. Why I'm still bearish on LLMs after Navier-Stokes
  10. Learning Programming in an Age of LLMs
  11. modelcontextprotocol/ext-skills: Experimental exploration of skills discovery and distribution through MCP primitives
  12. Inside 'Project Lily': The Humans Reading Your ChatGPT Chats
  13. iOS and iPadOS 27: The MacStories Review
  14. Daring Fireball: Thoughts and Observations on Apple's 'Surprise and Shine' Event
  15. Apple 27 Platform Updates — September 2026 – Scripting OS X
  16. Planning with agents: Divided worlds, boundary objects, and thicker interfaces
  17. There's a 100% chance AI agents are already ruining the internet
  18. GitHub - tomasf/Cadova: Swift DSL for parametric 3D modeling
  19. KeyCut: free, open-source (MIT) video editor that cuts and joins videos without re-encoding
  20. The Four-Color Theorem Gets a Rare New Proof

From Hacker News

Stories 1 – 10
No. 01AI ToolsApplies to you

Introducing System One Models and Jev

The top story on HN today by a wide margin — Typesafe.ai is launching System One Models and a new language called Jev, aiming squarely at type-safe AI workflows. With 434 comments and nearly 1,550 points, this is clearly striking a nerve. If you build with TypeScript and want guardrails on LLM outputs, this deserves your full attention.

No. 02AI ToolsApplies to you

Gemini 3.8 Live and 3.8 Live Extended Thinking

Google ships Gemini 3.8 Live with real-time multimodal conversation and a new Extended Thinking variant for deeper reasoning. The frontier model race keeps accelerating — this is a direct competitor to whatever your current coding assistant stack is running. Worth benchmarking against Claude Code on your real workloads.

No. 03New Apple AppsApplies to you

Apple Reference Image: A New Approach for Verified Photography

Apple's security team unveils a cryptographic framework for verifying the authenticity and provenance of photos taken on Apple devices — a direct response to the deepfake era. This is genuinely novel: hardware-attested image signatures baked into the capture pipeline. Big implications for journalism, legal evidence, and anyone who cares about visual truth.

No. 04Privacy & SecurityApplies to you

We got admin access to Baseten's production GitHub

A detailed post-mortem of how Strix gained full admin access to an ML infrastructure company's GitHub org via a leaked Personal Access Token in a Docker image. A vivid reminder that secret scanning in CI/CD isn't optional. If you ship containers to any registry, read this today.

No. 05Dev ToolsApplies to you

Building a Linux GPU Driver for the M4 Mac Mini in One Month

One developer, one month, a reverse-engineered Apple Silicon GPU driver for Linux. The technical depth here is extraordinary — covering shader compilation, command ring design, and memory management from scratch. A love letter to low-level systems programming and a huge milestone for the Asahi Linux ecosystem.

No. 06Dev ToolsApplies to you

Show HN: Capsule – Single-file web apps that save their data into SQLite

Capsule lets you write a self-contained web app as a single HTML file that persists its own state directly into SQLite — no server, no build step, no dependencies. It's the spiritual successor to HyperCard for the browser era. Immediately actionable for quick internal tools and personal dashboards.

No. 07Privacy & Security

An update on Wayback Machine access

The Internet Archive gives a status update on Wayback Machine availability following ongoing legal and infrastructure pressures. This is the digital preservation story of the decade — the loss of the Wayback Machine would be a catastrophic blow to the open web. Know where things stand.

No. 08Privacy & SecurityApplies to you

Mistral X Mozilla: Private, Multilingual AI Browsing

Mistral and Mozilla are teaming up to bring on-device, privacy-preserving multilingual AI directly into the browser — no data sent to a server. For anyone who's been skeptical of cloud AI for sensitive work, this is the architecture you've been waiting for. The privacy angle is real, not marketing.

No. 09AI ToolsApplies to you

Why I'm still bearish on LLMs after Navier-Stokes

A thoughtful counterweight to the hype cycle: the author argues that even after LLMs demonstrated Navier-Stokes solving ability, the underlying limitations in formal reasoning remain structurally unfixed. Essential reading for anyone building critical systems on top of LLMs — the 373-comment debate alone is worth your time.

No. 10AI ToolsApplies to you

Learning Programming in an Age of LLMs

Mark Seemann (ploeh) wrestles with the question every developer mentor is now facing: how do you teach programming when a coding assistant can write the answer? His take is nuanced and practical, grounded in decades of experience. Required reading if you're mentoring juniors or thinking about your own skill atrophy.

From Pinboard Popular

Stories 11 – 20
No. 11AI ToolsApplies to you

modelcontextprotocol/ext-skills: Experimental exploration of skills discovery and distribution through MCP primitives

The official MCP repo is experimenting with a 'skills' layer — a way for AI agents to discover, share, and distribute capabilities via Model Context Protocol primitives. Directly relevant if you're building Claude Code workflows or any MCP-based tooling. This is the nascent standard for agentic capability composition.

No. 12Privacy & SecurityApplies to you

Inside 'Project Lily': The Humans Reading Your ChatGPT Chats

404 Media exposes 'Project Lily': OpenAI contractors with access to real user conversations — including sensitive therapy-like disclosures — to improve model behavior. Anthropic confirmed similar practices. If you've been treating your AI assistant like a private journal, this is a cold-water moment.

No. 13New Apple AppsApplies to you

iOS and iPadOS 27: The MacStories Review

MacStories delivers its definitive, exhaustive iOS 27 review — the publication that goes deeper on Apple software than anyone else. With a rebuilt Siri AI, Liquid Glass UI, and iPhone Duo launch day, this is the reference doc you'll want open while exploring the update. Federico and team don't miss.

No. 14New Apple AppsApplies to you

Daring Fireball: Thoughts and Observations on Apple's 'Surprise and Shine' Event

John Gruber's signature event debrief covers the iPhone 18 Pro, AirPods 5, Apple Watch Series 12, the foldable iPhone Duo, and what the John Ternus CEO era means for Apple's direction. Gruber has the best Apple event takes in the business — this one marks a genuine inflection point for the company.

No. 15New Apple AppsApplies to you

Apple 27 Platform Updates — September 2026 – Scripting OS X

Scripting OS X's Armin Briegel catalogs every scripting, automation, and sysadmin-relevant change in the Apple 27 platform update — the things WWDC keynotes never cover. Shell changes, Python versions, security policy updates, MDM deltas. Bookmark this before you upgrade your Mac.

No. 16AI ToolsApplies to you

Planning with agents: Divided worlds, boundary objects, and thicker interfaces

Maggie Appleton's characteristically thoughtful essay on why AI agents fail at planning — arguing that agents and humans operate in divided worlds and we need 'thicker' shared interfaces (boundary objects) to make collaboration work. If you're building or using agentic coding tools, this reframes the UX problem beautifully.

No. 17AI ToolsApplies to you

There's a 100% chance AI agents are already ruining the internet

404 Media documents the real, present-tense degradation of online spaces by autonomous AI agents — spam, fake engagement, polluted forums. Not a doomsday prophecy but a clear-eyed account of what's already happening. The signal-to-noise problem on the internet is about to get dramatically worse.

No. 18Creative softwareApplies to you

GitHub - tomasf/Cadova: Swift DSL for parametric 3D modeling

Cadova is a Swift-native DSL for parametric 3D modeling — think OpenSCAD but with Swift's type safety and ergonomics. For Apple-ecosystem developers who want to do creative CAD work without leaving Xcode, this is a genuinely exciting niche tool that Pinboard surfaces and HN missed.

No. 19Creative software

KeyCut: free, open-source (MIT) video editor that cuts and joins videos without re-encoding

KeyCut is a dead-simple Electron/ffmpeg video editor focused on one thing: lossless cuts and joins without re-encoding. No quality loss, instant export on large files. If you record screencasts, podcast clips, or demo videos and hate waiting for re-encodes, this is immediately useful.

No. 20Weird science

The Four-Color Theorem Gets a Rare New Proof

Quanta Magazine covers a new human-readable proof of the Four-Color Theorem — one of the most famous results in math, which was first proven in 1976 only with exhaustive computer assistance. A rare moment where mathematicians gain new structural insight into a closed problem. Beautiful and surprising.