
A story about following your dreams even if they’re stupid, and believing in yourself, even if you’re stupid (which would explain the quality of the dreams): theatlantic.com/magazine/2026/…
Josh Baron
2.6K posts

@JoshuaWBaron
Former NSC, DARPA, RAND. All opinions are mine alone. Often distributed, rarely succinct.

A story about following your dreams even if they’re stupid, and believing in yourself, even if you’re stupid (which would explain the quality of the dreams): theatlantic.com/magazine/2026/…




Contrapositives are for cowards. Behold.

AlphaEvolve Just Helped Prove New Theorems in Complexity Theory Google DeepMind's AlphaEvolve just made real breakthroughs in theoretical computer science. Instead of generating full proofs, it discovered new combinatorial structures that plug into existing proof frameworks, leading to verified, publishable theorems in complexity theory. The team improved the inapproximability bound for MAX-4-CUT and found massive Ramanujan graphs never seen before, all with provable correctness.





Seven teams, two years, $4M prize. Meet the teams that competed in @DARPA's AI Cyber Challenge.



