09
1of the trend's 37 episodes
Technology
Formal verification
Mathematical checking that a solution meets a formally stated task and its pre- and postconditions: the task is written in a language such as Lean or Coq, and a verifier program checks the solution against it automatically.
11
mentions in the archive
0
central to an episode
2
episodes with a mention
2
fragments with a timecode
Oct 2026
first mention
Oct 2026
peak · 1 in a month
85
links to other entries
Trends
Formal verification in the author's trends
all 20 thoughts →A link is an episode of the thought where Formal verification is central or discussed in depth, or an author's quote that names it. The bar counts the shared episodes; blue bars are the months they meet on the June 2024 — November 2026 scale.
1 of the author's 20 thoughts is linked to Formal verification · “Details” shows the shared episodes and a quote
Not linked · 19
thoughts whose episodes don't feature Formal verification centrally or in depth
01Familiar search, browsers and apps will give way to AI dialogue02Build it yourself in Codex or Claude Code, do not commission it03AI will ask you questions itself and remember everything04Use AI every day and for everything05Pay for AI and switch on the strongest mode06Those who use AI will pull ever further ahead of the rest07Tell AI about yourself and give it your data08Share data with AI without fear, but keep your boundaries10Choose one main AI system and do not spread yourself thin11Work with AI directly, without bots and middlemen12Judge AI by your own tasks, not by rankings13Hand AI the whole task and demand a finished result14Double-check AI answers15AI changes in weeks, not years16What matters is grasping the whole task, not a profession or degree17Do not spend money on the hype around “agents”18Rebuild processes for AI instead of automating the old ones19Upload your test results to AI as a second opinion20Models are already smarter than any expert