Update 2026.md

Author: PoorlyDefinedBehaviour

2026.md

@@ -1,5 +1,6 @@
 ## April
 
+[Why not use Lean?](https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html)  
 [Turing Award Winner: Postgres, Disagreeing with Google, Future Problems | Mike Stonebraker](https://www.youtube.com/watch?v=YPObBOwIrHk)  
 [The Log is the Database](https://blog.canoozie.net/the-log-is-the-database/)  
 [Why Queues Don’t Fix Overload (And What To Do Instead)](https://pmbanugo.me/blog/why-queues-dont-fix-overload-and-what-to-do-instead)