I recommend you read @nadim.computer's excellent write-up of why he teaches in Lebanon symbolic.software/blog/2026-07...
Why I Teach Cryptography in Lebanon — Symbolic Software
Cedarcrypt's first edition has concluded. On what a year of teaching cryptography in and for Lebanon has meant, why the conference met in Cyprus rather than Beirut, and the decades of work ahead.
symbolic.software
Getting increasingly bullish on just vibe-coding the important things in Lean. eg. see: https://github.com/Verified-zkEVM/ArkLib https://blog.zksecurity.xyz/posts/end-coding/
GitHub - Verified-zkEVM/ArkLib: Formally Verified Arguments of Knowledge in Lean
Formally Verified Arguments of Knowledge in Lean. Contribute to Verified-zkEVM/ArkLib development by creating an account on GitHub.
github.com
