Update 2026.md

Author: PoorlyDefinedBehaviour

2026.md

@@ -1,5 +1,6 @@
 ## April
 
+[reublog: CASPaxos](https://reubenbond.github.io/posts/caspaxos/)  
 [Giving LLMs a Formal Reasoning Engine for Code Analysis](https://yogthos.net/posts/2026-04-08-neurosymbolic-mcp.html)  
 [Formal Verification in Any Language for Everybody](https://www.dev-log.me/formal_verification_in_any_language_for_everybody/)  
 [The secret lives of data](https://thesecretlivesofdata.com/raft/)