Ill-Posed

bluesky — Scidonia — 27 Oct 2026

Formal verification is having a moment.

#formal-verification #mathematical-logic #proof-systems

Read the source →

Formal verification is having a moment.

This is something we strongly advocate (and provide as a service).

We've put a 6-part explainer series together explaining vericoding. Here's the first:

What is vericoding.

#vericoding #formalverification

0 comments