Topic
Open Source Science
Using open-source tools for scientific research.
2 published pieces
Published work
AI · September 5, 2026
The Practical Value of Machine-Checked Proofs
Fermat’s Last Theorem has zero direct industrial utility. But the pipeline that machine-checked its 13 million lines of Lean code demonstrates an operational verification engine for critical software, cryptographic primitives, and hardware design. Here is where the real economic value lands—and how DIY developers and small teams can leverage it today.
AI · March 18, 2026The Dog Cancer Vaccine That Actually Worked — And How You Can Build One
Paul Conyngham built a personalized mRNA cancer vaccine for his dog Rosie using AI tools and academic collaboration. The tumor shrank 75%. Here’s what actually happened, how personalized neoantigen vaccines work, and what it would take to replicate the pipeline yourself.