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