Знакомые русскоязычные ex YC фаундеры сегодня запустили Genproof, лабу, которая делает формальную верификацию доступной для всех. Если…

First reported Nov 3, 2026, 19:17 UTC

Source reports

Знакомые русскоязычные ex YC фаундеры сегодня запустили Genproof, лабу, которая делает формальную верификацию доступной для всех. Если проще, они ищут баги в коде математически строго. Уже нашли баги в 100+ open-source проектах, в том числе в 6 библиотеках, которые Anthropic… — Burning Anna, Nov 3, 2026, 19:17 UTC

Excerpts are quoted from the linked sources, which own their text.