Revisions compare

Compare two revisions of: AI

...	...	@@ -30,3 +30,4 @@
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	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/)
	33	+* [How to effectively write quality code with AI](https://heidenstedt.org/posts/2026/how-to-effectively-write-quality-code-with-ai/)
33	34