Revisions compare

Compare two revisions of: AI

...	...	@@ -29,3 +29,4 @@
29	29	* [YouTube - literally the dumbest thing I've ever read](https://www.youtube.com/watch?v=-uxF4KNdTjQ)
30	30	* [Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog](https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html)
31	31	* [AI learns to build simple equations for complex systems \| EurekAlert!](https://www.eurekalert.org/news-releases/1110231)
	32	+* [On the Coming Industrialisation of Exploit Generation with LLMs – Sean Heelan's Blog](https://sean.heelan.io/2026/01/18/on-the-coming-industrialisation-of-exploit-generation-with-llms/)
32	33