#formalmethods

36 posts

@stack_overflow_blog AI says you're right, formal methods say you're wrong #AI #Programming #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/stack_overflow_blog/posts/22581144
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/stack_overflow_blog/posts/22581144
Don't have an account? Find a server at joinmastodon.org
Oct 16, 2026
@infoq Presentation: How to Find Resilience Bugs in Systems that Don't Exist #SoftwareEngineering #SystemDesign #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/infoq/posts/22523841
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/infoq/posts/22523841
Don't have an account? Find a server at joinmastodon.org
Oct 14, 2026
@lobsters Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs #AI #FormalMethods #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362210
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362210
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
@lobsters Refinement E-Graphs #Programming #Compilers #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22356564
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22356564
Don't have an account? Find a server at joinmastodon.org
Oct 5, 2026
@lobsters What TLA+ can and can't check #Programming #SoftwareEngineering #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22350873
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22350873
Don't have an account? Find a server at joinmastodon.org
Sep 30, 2026
@lobsters Can we have reachability properties in TLA⁺? #FormalMethods #TLAplus #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22346314
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22346314
Don't have an account? Find a server at joinmastodon.org
Sep 26, 2026
@cstheory_stackexchange Coq proof - no verifier can be simultaneously sound and complete on a µ-sensitive claim from an identical classical trace. Check me please! #ComputerScience #FormalMethods #ProofAssistant
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/cstheory_stackexchange/posts/22413065
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/cstheory_stackexchange/posts/22413065
Don't have an account? Find a server at joinmastodon.org
Sep 10, 2026
@lobsters Verifying (simple) C in Isabelle/HOL with AutoCorres #Programming #FormalMethods #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22305437
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22305437
Don't have an account? Find a server at joinmastodon.org
Aug 24, 2026
@lobsters The changing role of finite-state model checking #ComputerScience #FormalMethods #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22304856
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22304856
Don't have an account? Find a server at joinmastodon.org
Aug 24, 2026
@lobsters Foundational Verification of Running-Time Bounds for Interactive Programs #FormalMethods #ComputerScience #Research
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22303604
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22303604
Don't have an account? Find a server at joinmastodon.org
Aug 23, 2026
@lobsters Palomar - a registry of Lean verified mathematics #Math #FormalMethods #Science
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22299020
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22299020
Don't have an account? Find a server at joinmastodon.org
Aug 19, 2026
@lobsters Improving system safety with Temporal Logic of Actions (TLA+) #SoftwareEngineering #FormalMethods #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22294995
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22294995
Don't have an account? Find a server at joinmastodon.org
Aug 15, 2026
@hackernews Why Don't People Use Formal Methods? #HackerNews #Tech #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22276544
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22276544
Don't have an account? Find a server at joinmastodon.org
Jul 30, 2026
@lobsters Formal methods with Hillel Wayne #SoftwareDevelopment #FormalMethods #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22275582
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22275582
Don't have an account? Find a server at joinmastodon.org
Jul 29, 2026
@lobsters Why Rocq is better than Lean for program verification #Programming #FormalMethods #Compilers
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22274687
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22274687
Don't have an account? Find a server at joinmastodon.org
Jul 28, 2026
@lobsters Fast DEFLATE compression in Lean #FormalMethods #Performance #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22272248
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22272248
Don't have an account? Find a server at joinmastodon.org
Jul 26, 2026
@lobsters Xavier Leroy on programming, languages and formal verification #Programming #FormalMethods #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22272204
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22272204
Don't have an account? Find a server at joinmastodon.org
Jul 26, 2026
@lobsters Extending MVCC to be serializable, in TLA+ (2024) #Databases #FormalMethods #TLAplus
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22265976
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22265976
Don't have an account? Find a server at joinmastodon.org
Jul 20, 2026
@lobsters Proving the Fundamental Theorem of Arithmetic in Agda #Agda #FormalMethods #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22244090
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22244090
Don't have an account? Find a server at joinmastodon.org
Jun 30, 2026
@hackernews You Don't Know Jack About Formal Verification #HackerNews #Tech #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22243269
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22243269
Don't have an account? Find a server at joinmastodon.org
Jun 29, 2026
@lobsters Formal methods and the future of programming #Programming #FormalMethods #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22225587
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22225587
Don't have an account? Find a server at joinmastodon.org
Jun 11, 2026
@lobsters EC2's formally verified "isolation engine" provides mathematical assurance of virtual-machine isolation #Security #CloudComputing #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22225168
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22225168
Don't have an account? Find a server at joinmastodon.org
Jun 11, 2026
@jane_street Formal methods and the future of programming #Programming #FormalMethods #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/jane_street/posts/22293205
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/jane_street/posts/22293205
Don't have an account? Find a server at joinmastodon.org
Jun 7, 2026
@lobsters Who Builds a House Without Drawing Blueprints? (2015) #SoftwareEngineering #Architecture #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22202415
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22202415
Don't have an account? Find a server at joinmastodon.org
May 20, 2026
@lobsters On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications #Testing #SoftwareEngineering #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22200903
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22200903
Don't have an account? Find a server at joinmastodon.org
May 19, 2026
@lobsters Illegal vs Unwanted States #Programming #SoftwareEngineering #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22176911
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22176911
Don't have an account? Find a server at joinmastodon.org
Apr 28, 2026
@lobsters "Why not just use Lean?" #FormalMethods #Programming #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22175678
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22175678
Don't have an account? Find a server at joinmastodon.org
Apr 27, 2026
@lobsters LemmaScript: A Verification Toolchain for TypeScript via Dafny #TypeScript #Programming #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22168340
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22168340
Don't have an account? Find a server at joinmastodon.org
Apr 22, 2026
@lobsters Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean #Security #Rust #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167536
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167536
Don't have an account? Find a server at joinmastodon.org
Apr 21, 2026
@lobsters Lean proved this program was correct; then I found a bug #security #formalmethods #plt
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22164289
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22164289
Don't have an account? Find a server at joinmastodon.org
Apr 13, 2026
@lobsters Giving LLMs a Formal Reasoning Engine for Code Analysis #formalmethods #vibecoding
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22162437
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22162437
Don't have an account? Find a server at joinmastodon.org
Apr 8, 2026
@antithesis_blog Formal methods for the unsafe side of the Force #SoftwareEngineering #RustLang #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400922
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/antithesis_blog/posts/22400922
Don't have an account? Find a server at joinmastodon.org
Feb 26, 2026
@ben_congdon The Coming Need for Formal Specification #SoftwareEngineering #FormalMethods #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ben_congdon/posts/22402804
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ben_congdon/posts/22402804
Don't have an account? Find a server at joinmastodon.org
Dec 13, 2025
@hillel_wayne Composing TLA+ Specifications with State Machines #SoftwareEngineering #Programming #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291081
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291081
Don't have an account? Find a server at joinmastodon.org
Jun 17, 2024
@hillel_wayne Don't let Alloy facts make your specs a fiction #SoftwareEngineering #FormalMethods #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291114
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hillel_wayne/posts/22291114
Don't have an account? Find a server at joinmastodon.org
Apr 10, 2024
@ezyangs_blog Elimination with a Motive (in Coq) #Coq #Programming #FormalMethods
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385805
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/ezyangs_blog/posts/22385805
Don't have an account? Find a server at joinmastodon.org
May 7, 2014