- 3Amazon Forced into First North American Union Pact in Canada (bloomberg.com)
- 1FAA Telecommunications Infrastructure (FTI) (l3harris.com)
- 2The Android lockdown seems under-theorized (dynomight.net)
- 1Adopting Python 3.15's lazy imports: a 4× faster CLI, and where they didn't help (namegarage.com)
- 129Formalizing US Tax Code (Using Lean) (lexifina.com)
- 2Free SVG Maps – Countries, U.S. States and Counties – MapSVG (mapsvg.com)
- 180PyPI's redesigned project pages with clearer security signals are now live (blog.pypi.org)
- 1Asyncio Internals (origintracer.app)
- 1Traits – Teach your agent to code like you (traits.sh)
- 1Mouse Party (aboard.com)
- 1Pondnote – Notes by Hand, and by Keyboard (pondnote.ink)
- 3FBI Probing FAA Software Update (bloomberg.com)
- 1Ontology Development 101 (2014) (protegewiki.stanford.edu)
- 1Building in 3D with OSS (codingcat.dev)
- 4Kildall's Algorithm (bike.github.io)
- 4OnlyFans livestreaming must be banned say MPs in 'e-pimps' warning (mirror.co.uk)
- 1Test and verification technique effectiveness with Astra (danluu.com)
- 1Show HN: TriusLD – A Small Tokenizer for LLMs with Robust Multilingual Support (trius.canton.graphics)
- 2Smallest possible nopert polyhedra: the Septopert (github.com)
- 3Jensen Huang's exit from Nvidia impacts China's AI supply chain (restofworld.org)
- 3Spend Management: Spending limits and alerts for Cloudflare (blog.cloudflare.com)
- 1When do YC interviews come out? ()
- 1What's better about Ruby than Python? (2003) (groups.google.com)
- 2The Secret Life of Components – Tim Hunkin (timhunkin.com)
- 1Show HN: ChoicerVoicerHub – Zero-backend voice dubbing studio in the browser (choicervoicerhub.com)
- 2FAA Rolled Out New AI Traffic Tool Right Before Nationwide Ground Stop (mediaite.com)
- 1Show HN: A simple Solar system orbital sim that permits change of POV (claude.ai)
- 8Too Many Stadiums with Roofs (sharptext.net)
- 2Let Me Let You Own Your Data (willett.io)
- 3SlopCodeBench: Benchmarking How Coding Agents Degrade over Long-Horizon Tasks (arxiv.org)