- 10Experience using AI software to prove Euler sum results [pdf] (davidhbailey.com)
- 7North Mini Code: Cohere's first agentic open-source coding model (cohere.com)
- 319Switzerland wil have a referendum to cap population at 10M (admin.ch)
- 86GitHub Is Down (githubstatus.com)
- 48Postgres by Example (github.com)
- 427The 29th International Obfuscated C Code Contest (IOCCC) 2025 Winners (ioccc.org)
- 32Autonomous drones have killed human soldiers for the first time (newscientist.com)
- 167Why are cells small? (burrito.bio)
- 58Fooling Go's X.509 Certificate Verification (danielmangum.com)
- 20Apple Made a Sports App That Does Almost Nothing. It's Incredible (slate.com)
- 30In a U.S. First, Solar Supplied More Power Than Coal Last Month (e360.yale.edu)
- 283Major P2P issues in Israel and possibly other Middle East countries (github.com)
- 326Making peace with your unlived dreams (2023) (nik.art)
- 5'I love the inflation,' Trump says as prices rise amid Iran war (reuters.com)
- 688Surveillance is not safety: A statement on the UK's latest threat to privacy [pdf] (signal.org)
- 92Powering up a module from the IBM 604: an electronic calculator from 1948 (righto.com)
- 173Tokenomics: Quantifying Where Tokens Are Used in Agentic Software Engineering (arxiv.org)
- 194It's death (jesseduffield.com)
- 262Apple WWDC 2026 (apple.com)
- 305The Smallest Brain You Can Build: A Perceptron in Python (ranpara.net)
- 10Show HN: Social network where inviting someone makes you accountable for them (chirpper.com)
- 535Anthropic, please ship an official Claude Desktop for Linux (github.com)
- 400Show HN: Lathe – Use LLMs to learn a new domain, not skip past it (github.com)
- 123Italy's Bending Spoons, owner of AOL and Vimeo, files for Nasdaq IPO (reuters.com)
- 134Alpine Linux 3.24.0 Released (alpinelinux.org)
- 132Podman 6: machine usability improvements (2025) (blog.podman.io)
- 9Show HN: Camel Mono – a monospace font that makes camelCase easier to read (github.com)
- 44120k Lines of Rust: Inside the Nosdesk Backend (kyle.au)
- 418Ntsc-rs – open-source video emulation of analog TV and VHS artifacts (ntsc.rs)
- 266APC–2 – A professional record cutter for producing original playback discs (teenage.engineering)