https://newsletter.for-all.dev/p/exploding-note-apply-to-mentor-secureCan We Secure AI With Formal Methods?en2026-04-28T18:39:40+00:00[exploding note] Apply to Mentor Secure Program Synthesis Fellowship by May 5th