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