- 1 Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
- 1 Terence Tao: AI contributions to Erdős problems (github.com)
- 1 Parsing Advances (matklad.github.io)
- 3 Ask HN: Best Podcasts of 2025? ()
- 1 Jensen Huang meets with former hostage and Nvidia employee Avinatan Or (ynetnews.com)
- 1 Git and Markdown are all you need (galiglobal.com)
- 1 The Optimal Architecture for Small Language Models (huggingface.co)
- 1 Nvidia deal a big win for Groq employees (axios.com)
- 1 Show HN: Meter – Web scraping that syncs only what changed (meter.sh)
- 1 Beyond Vector Search: Building an Adaptive Retrieval Router for Agentic AI (medium.com)
- 1 Show HN: FlowCode – Visual Flowcharts That Generate and Execute Python (southernadd-cmyk.github.io)
- 1 Microsoft Open Specifications (learn.microsoft.com)
- 1 Laid Off After 25 Years in Tech:The Anxiety,Sacrifice,Reality No One Talks About [video] (youtube.com)
- 3 Bluetooth Headphone Jacking: A Key to Your Phone [video] (media.ccc.de)
- 1 Mitra 15 (French minicomputer from the 1970) (en.wikipedia.org)
- 3 People Who Drink Bottled Water Daily Get 90k More Microplastic Particles a Year (wired.com)
- 1 Radioscope: A device that turns Wi-Fi activity into sound (github.com)
- 1 Playing Factorio from 1k floppy disks (youtube.com)
- 1 Secret code break that 'solved' the Zodiac killer case (papalinc.com)
- 1 Show HN: Better Git for KiCad (paplix.io)
- 1 Show HN: Codenhack – An interactive terminal and live editor for beginners (codenhack.com)
- 1 Toward Training Superintelligent Software Agents Through Self-Play SWE-RL (arxiv.org)
- 1 Do You Remember ISDN? (youtube.com)
- 1 Zero-days in GPG out in the wild [video] (media.ccc.de)
- 3 Country makes call to cancel all visas for Americans (thestreet.com)
- 2 Show HN: mdfocus – A distraction free Markdown reader for your localhost (github.com)
- 6 Show HN: Self-growing neural networks via a custom Rust-to-LLVM compiler (github.com)
- 2 GA4 Has Become More Complex – and That's Changing Analytics in the EU ()
- 2 Ancient Greek Geometry (sciencevsmagic.net)
- 1 Show HN: Control Your Telegram with AI (medium.com)