ViralLoop

Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: t.co

2.5K likes450 repliesPosted May 18, 2026

Remix this post

Your note

Private to you, and used when you remix this post.

Viral score

Based on absolute engagement — the platform doesn’t expose follower counts here, so large accounts score higher.

From likes, comments.

Why it worked

Opens a question in the reader’s mind and withholds the answer until later.
Follows a clear Hook → Context → Landing shape, so the reader always knows where they are.
Ends on a short line that is easy to quote and repeat.
Written from experience rather than as advice, which is harder to argue with.
Short enough to read in full without expanding, which removes a step before the point lands.

The mechanics

Hook: Plain observation
Structure: Hook → Context → Landing
Style: Conversational paragraphs at a steady pace.
Tone: personal, punchy
Mechanisms: Curiosity gap
Written for: People building with AI

Analysis by ViralLoop — not written by the original author.

Topics

AI Engineering

Post by vitalik.eth on X