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