Products

Creusot 0.11.0: VerifyThis winner

Creusot, a Rust formal verification tool, wins VerifyThis 2026 Best Overall Team using ghost permissions to prove concurrent code correctness.

Monday, April 20, 2026 12:00 PM UTC2 MIN READSOURCE: LobstersBY sys://pipeline

Creusot 0.11.0, a formal verification tool for Rust, won Best Overall Team at VerifyThis 2026 competition. The team used ghost permissions—a feature for proving concurrency properties—to solve verification challenges. The release includes a redesigned website and list of research publications.

Read original at Lobsters

AI evals are becoming the new compute bottleneck

Evaluation benchmarks now cost $40K–$2.8K per run, making frontier-model testing prohibitively expensive and gatekeeping reproducible research—a shift where compute constraints moved from training to evaluation infrastructure.