Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

March 28, 2026 · Hacker News

How to implement the Outbox pattern in Go and Postgres
Comments
Quantum firm Xanadu jumps after rollercoaster debut trading
Quantum tech companies are burning cash and typically carry valuations disproportionately high compared to sales
On Amit Shah's 'Chargesheet' Against Party, Trinamool's "Trial Over" Retort
The Home Minister said Bengal, being a border state, is crucial for the country's security, which is being threatened by
China's 'one-person companies' have exploded. An Alibaba exec explains how AI agents make that possible.
Alibaba.com president Kuo Zhang discusses the rise of one-person companies, aided by AI agents OpenClaw.
ESPN's Dick Vitale names Alabama guard to 'All-Rolls Royce' Team
ESPN college basketball analyst Dick Vitale has named the Alabama guard to his 2025-26 'All-Rolls Royce' Team.