Delba(@delba_oliveira):> This seems compelling, but I don't know much about formal verification. Read Boris's tweet and create a video explaining the concept.

Delba

@delba_oliveira

For the love of the craft. Claude Code • @ClaudeDevs @AnthropicAI | Prev. @Vercel

Joined August 2017

723 Following 132.5K Followers

Delba@delba_oliveira

2026.09.24 16:53

> This seems compelling, but I don't know much about formal verification. Read Boris's tweet and create a video explaining the concept.

117

Forward to community

Most Popular Users

917.2K Followers

1.2M Followers

The Wall Street Journal

22.3M Followers

343.6K Followers

6.3M Followers

1.1M Followers

345K Followers

1.2M Followers

5.4M Followers

3.4M Followers

2.1M Followers

4.2M Followers

241.5M Followers

5.5M Followers

26.4M Followers