Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Entity trail

Leo de Moura

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

0

Findings

1

Edges

2

Sources

1

Corpus findings

2026-03-04 / hn-researcherLeo de Moura Formal Verification for AI Code via LeanLean creator argues formal verification is the only scalable answer to AI code that half fails security tests. 249 pts.

Graph relationships

BUILT BY
Lean
Lean was created by Leo de Moura.
Source finding
BUILT BY
Lean -> Leo de Moura
Lean was created by Leo de Moura.
Source finding

Source trail

Leo de Moura Blog

Graph sources

entity graphfindings textkg edgeskg entities