The Fall of the Theorem Economy
Article URL: https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy Comments URL: https://news.ycombinator.com/item?id=48758048 Points: 61 # Comments: 11
Developer
CursorBench 3.1
Article URL: https://cursor.com/evals Comments URL: https://news.ycombinator.com/item?id=48756840 Points: 71 # Comments: 44
Kimi K2.7 Code is generally available in GitHub Copilot
Article URL: https://github.blog/changelog/2026-07-01-kimi-k2-7-is-now-available-in-github-copilot/ Comments URL: https://news.ycombinator.com/item?id=48756602 Points: 176 # Comments: 70
A new Android malware from Google
Article URL: https://f-droid.org/2026/07/01/adv-malware.html Comments URL: https://news.ycombinator.com/item?id=48755965 Points: 650 # Comments: 260
Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers
Article URL: https://senior-swe-bench.snorkel.ai/ Comments URL: https://news.ycombinator.com/item?id=48755928 Points: 33 # Comments: 14
Bring back crappy forums
Article URL: https://tedium.co/2026/07/01/online-web-forums-retrospective/ Comments URL: https://news.ycombinator.com/item?id=48755731 Points: 85 # Comments: 55
Oomwoo, an open-source robot vacuum you build yourself
Article URL: https://makerspet.com/blog/building-an-open-source-robot-vacuum-meet-oomwoo/ Comments URL: https://news.ycombinator.com/item?id=48755005 Points: 110 # Comments: 14
Global review confirms mRNA vaccines are safe, effective and full of promise
Article URL: https://news.ubc.ca/2026/06/mrna-vaccines-are-safe-effective-and-full-of-promise/ Comments URL: https://news.ycombinator.com/item?id=48754963 Points: 245 # Comments: 202
The <Usermedia> HTML Element
Article URL: https://developer.chrome.com/blog/usermedia-html-element Comments URL: https://news.ycombinator.com/item?id=48754700 Points: 58 # Comments: 25
Healthy but sedentary people show early decline in cellular energy production
Article URL: https://news.cuanschutz.edu/news-stories/healthy-but-sedentary-individuals-show-early-decline-in-cellular-energy-production Comments URL: https://news.ycombinator.com/item?id=48754155 Points: 93 # Comments: 66
The Underhanded C Contest
Article URL: https://underhanded-c.org/ Comments URL: https://news.ycombinator.com/item?id=48754080 Points: 60 # Comments: 7
Opening up 'Zero-Knowledge Proof' technology to promote privacy in age assurance
Article URL: https://blog.google/innovation-and-ai/technology/safety-security/opening-up-zero-knowledge-proof-technology-to-promote-privacy-in-age-assurance/ Comments URL: https://news.ycombinator.com/item?id=48753979 Points: 89 # Comments: 67
ZCode – Harness for GLM-5.2
Article URL: https://zcode.z.ai/en Comments URL: https://news.ycombinator.com/item?id=48753715 Points: 58 # Comments: 159
Chip Off The Old Block
Article URL: https://www.astralcodexten.com/p/chip-off-the-old-block Comments URL: https://news.ycombinator.com/item?id=48753524 Points: 63 # Comments: 7
Japan has 41% of the 100-year companies – secrets of 1,447-year survival
Article URL: https://www.j-times.org/en/media/articles/japan-shinise-1400-years-2026/ Comments URL: https://news.ycombinator.com/item?id=48753342 Points: 36 # Comments: 14
I Left Harry's All-Night Hamburgers
Article URL: https://escapepod.org/2013/09/14/ep413-why-i-left-harrys-all-night-hamburgers/ Comments URL: https://news.ycombinator.com/item?id=48753220 Points: 25 # Comments: 7
Qualcomm Linux 2.0
Article URL: https://www.qualcomm.com/developer/blog/2026/06/qualcomm-linux-2-now-available Comments URL: https://news.ycombinator.com/item?id=48753069 Points: 17 # Comments: 1
Proliferate (YC S25) Is Hiring
Article URL: https://www.ycombinator.com/companies/proliferate/jobs/mMHvKR9-founding-product-engineer Comments URL: https://news.ycombinator.com/item?id=48753045 Points: 0 # Comments: 0
OpenWiki: CLI that writes and maintains agent documentation for your codebase
Article URL: https://github.com/langchain-ai/openwiki Comments URL: https://news.ycombinator.com/item?id=48752949 Points: 8 # Comments: 0
Show HN: Searchable directory of 22k+ products from worker-owned co-ops
Article URL: https://www.workerowned.info/ Comments URL: https://news.ycombinator.com/item?id=48752905 Points: 90 # Comments: 18