I built a system that discovers math proofs by treating them as graph search

June 2, 2026 · Dev.to

I built a tool that gives Claude Code permanent memory of your codebase
The problem Every time I started a session with Claude Code I had to re-explain my entire project. What framework I use.
Strategy's Failure — A Bitcoin Weakness Signal
How Strategy's first sale in four years exposed the structural fragility of the digital asset treasury (DAT) model On Ju
How I Tested Every Major Multimodal AI Model in 2026 — And Which One Actually Saved My Wallet
Honestly, I gotta say, when I first started digging into multimodal AI this year, I was expecting everything to be eithe
BBC stars rally round Scott Mills’ husband on second wedding anniversary
BBC stars rally round Scott Mills’ husband on second wedding anniversary
Michigan State club goalie one of 12 local players in PWHL draft
Michigan State club goalie Jullisa Gross-Turkey is one of 12 local players eligible for the PWHL draft on June 17 at the