- 1 US judge dismisses Chegg, Penske antitrust suits over Google AI Overviews (reuters.com)
- 1 Anatomy of a Lean Proof for Software Engineers (agostbiro.net)
- 1 Ovarian Biology: Revisiting the rete ovarii (2025) (elifesciences.org)
- 1 Show HN: D-Engine – deterministic LLM code edits, 42× fewer tokens than an agent (github.com)
- 1 Star Hop: Endless Galaxy (star-hop.app)
- 1 MTV Didn't Die of Bad Taste: It Died the Day the Doors Multiplied (comuniq.xyz)
- 1 First enhanced geothermal power plant completed in just 23 months (techcrunch.com)
- 1 I rebuilt Claude Code's terminal UI in Rust. Then I deleted 12,000 lines of it (medium.com)
- 1 An in-the-wild iOS bug with a possible WhatsApp zero-click path (calif.io)
- 4 Tell HN: Get the app to keep using Reddit ()
- 1 Postgres DELETE can actually scale (dbos.dev)
- 1 The Programming Language That Referees Mathematics – Leo de Moura [video] (youtube.com)
- 2 Fieldwork Icon Design Benchmark (fieldwork.software)
- 2 Terminal Email: terminal email clients for every system (terminalemail.com)
- 1 Show HN: Large Print Maker – large-print PDFs generated in the browser (largeprintmaker.com)
- 1 Show HN: Mutually beneficial agentic Common Law (peregrini.ai)
- 2 Binance Founder's Life After Prison (nytimes.com)
- 1 PAPod 617 – The Case Against Immediate Improvement (preaccident-investigation-podcast.onpodium.com)
- 1 New Hands for Atlas – Boston Dynamics [video] (youtube.com)
- 2 Analyzing the known universe of Silicon Valley characters and companies (twitter.com)
- 1 SaSh: Ahead-of-time Analysis of Shell Program Effects (github.com)
- 2 Anthropic Said to Target Mega-IPO Before Thanksgiving Holiday (bloomberg.com)
- 2 Stock trading by US senators alongside the S&P 500 in 2026 (kadoa.com)
- 1 Apedia (apedia.study)
- 1 Show HN: Android closed testing badge split in two ()
- 2 iPod of 2026 (sudo.music)
- 1 Can typesafe.ai Jev model talk? – they said no (github.com)
- 1 An agent is not an extension of the employee who created it (getlago.com)
- 1 Thinking Before Thinking: Scaling Agentic Inference Through Meta-Reasoning (arxiv.org)
- 1 Jimmy Lefevre, A crash course in Unicode and OpenType, BSC 2026 [video] (youtube.com)