@lobsters Proving the Fundamental Theorem of Arithmetic in Agda #Agda #FormalMethods #Math
@hackernews You Don't Know Jack About Formal Verification #HackerNews #Tech #FormalMethods
@lobsters Formal methods and the future of programming #Programming #FormalMethods #SoftwareEngineering
@lobsters EC2's formally verified "isolation engine" provides mathematical assurance of virtual-machine isolation #Security #CloudComputing #FormalMethods
@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