News for hackers. Stuff that matters.
Re:Formal Methods: Just Good Engineering Practice? (2024) by adsharma on Friday January 10, 2025 @05:02PM (#42660783)
TLA+ and the like work because they target a very small specification language.

With the large footprint of Rust, I've seen questions raised about how this will work. But haven't seen good answers.

Would love to read more.

There are no comments on this comment yet.