-
179
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
(twitter.com)
-
18
Show HN: I built an OS that is pure AI
(pneuma.computer)
-
31
Delve – Fake Compliance as a Service – Part II
(deepdelver.substack.com)
-
3
Ricoh GR IV Monochrome Review
(dpreview.com)
-
3
Show HN: Nanopm – PM automation for Claude Code (audit → strategy → roadmap)
-
4
Show HN: GitHub Copilot Technical Writing Skill
(github.com)
-
3
Ember Forge: An alchemical smelting idle game built in Common Lisp
(rootofcode.itch.io)
-
2
California Judge Certifies Investor Class in Nvidia Crypto-Mining Lawsuit
(law.com)
-
2
Show HN: A minimal terminal time tracker with AI analysis
(github.com)
-
12
Elon Musk's lawsuit against X advertisers thrown out by US judge
(ft.com)
-
2
How not to mandate device-based age assurance
(educatedguesswork.org)
-
1
How to Sign Jar Files
(xnacly.me)
-
4
Tesla Stock Falls. Why SpaceX IPO, Sales Estimates Aren't Helping
(barrons.com)
-
1
Using Perfetto in ZJIT
(railsatscale.com)
-
116
OpenCiv1 – open-source rewrite of Civ1
(github.com)
-
2
Show HN: An agent that detects YouTube brainrot and turns off my kid's TV
(github.com)
-
17
Improving personal tax filing with Claude CLI and Obsidian
(mrafayaleem.com)
-
4
Company Tricked ChatGPT into Naming Their Boss the "Sexiest Bald Man Alive"
(zeitgeistintel.substack.com)
-
1
Object-oriented programming: some history, and challenges for the next 50 years
(arxiv.org)
-
1
Art / Pig Admirer's Club / "Pig Admirer's Presents"
(pigsfly.skinnyjames.net)
-
2
China's intervention on Meta's Manus rattles founders, VCs eye 'China shedding'
(cnbc.com)
-
5
Awesome Linux sandboxing in one Python file
(github.com)
-
2
A Constitutional Scholar on Claude's Constitution
(newyorker.substack.com)
-
2
Forecourt Networking
(computer.rip)
-
1
Electron Band Structure in Germanium, My Ass
(web.archive.org)
-
2
Columbus-style pizza gains national recognition as a favorite food destination
(foxnews.com)
-
2
Things You Can Do While Waiting in the TSA Line
(wired.com)
-
1
What Is the Best Garmin Watch? (2026)
(wired.com)
-
2
OnlyFarms.gov
(whitehouse.gov)
-
1
Vex8s: Suppress container CVEs that your Kubernetes settings mitigates
(github.com)