Theorem

We're hiring! |

[Theorem @theoremlabs]

10/ Read the full post: https://t.co/m2HUUawhEZ
CC @diagram_chaser @rajashree @jeffreychang12_ @harshikaabot @vaidehiagrwalla @0xrobertzhang @justanotherlaw and more!

[Theorem @theoremlabs]

1/ We're open-sourcing LF-Lean: a verified Lean translation of 6K lines of Rocq from the Logical Foundations textbook, produced by AI with 2 person-days of human coding vs the 2.75 person-years it would have been before AI.

[Theorem @theoremlabs]

9/ As AI reshapes software engineering, we get to rethink long-accepted developer limitations.
Come build the future of verified software engineering with us @theoremlabs → https://t.co/u7fPuIt0m3

[Rajashree Agrawal @rajashree]

Theorem is hosting bouldering at NeurIPS on Saturday! 🧗‍♀️🧗‍♂️

Come chat with us about d/acc and verifying programs that are OOMs bigger than what anybody (human or AI) can

Link below

[Jason Gross @diagram_chaser]

We automatically generated the unit test that would’ve caught @AnthropicAI’s top-K compiler bug without relying on their bug reproducer code.

Most testing pipelines never hit rare bugs until they fail in production. Ours do.

[Y Combinator @ycombinator]

Theorem (@theoremlabs) is an AI-coding IDE for mission-critical software. They're making program verification 10,000 times faster, so your systems code does exactly what you asked for.

Congrats on the launch, @diagram_chaser and @rajashree!

https://t.co/hqZJINedRj