8 posts
@lobsters Who Builds a House Without Drawing Blueprints? (2015) #SoftwareEngineering #Architecture #FormalMethods
@lobsters On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications #Testing #SoftwareEngineering #FormalMethods
@lobsters Illegal vs Unwanted States #Programming #SoftwareEngineering #FormalMethods
@lobsters "Why not just use Lean?" #FormalMethods #Programming #SoftwareEngineering
@lobsters LemmaScript: A Verification Toolchain for TypeScript via Dafny #TypeScript #Programming #FormalMethods
@lobsters Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean #Security #Rust #FormalMethods
@lobsters Lean proved this program was correct; then I found a bug #security #formalmethods #plt
@lobsters Giving LLMs a Formal Reasoning Engine for Code Analysis #formalmethods #vibecoding