7/6/2026 at 3:53:24 PM
by Jimmc414
7/6/2026 at 9:52:24 PM
Related. Others?Kani Rust Verifier – a bit-precise model-checker for Rust - https://news.ycombinator.com/item?id=30786511 - March 2022 (12 comments)
by dang
7/6/2026 at 9:51:18 PM
A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...by rando1234
7/6/2026 at 6:31:15 PM
The tutorial is helpful: https://model-checking.github.io/kani/kani-tutorial.htmlReminds me a bit of hypothesis auto in its simplest applications: https://github.com/timothycrosley/hypothesis-auto/
by ZeroCool2u
7/6/2026 at 5:45:41 PM
Their old paper: https://dl.acm.org/doi/pdf/10.1145/3510457.3513031by ototot
7/6/2026 at 7:06:08 PM
[dead]by yusofake
7/6/2026 at 7:28:23 PM
[dead]by bestonetwo
7/6/2026 at 7:17:40 PM
[flagged]by utterfake
7/6/2026 at 7:34:39 PM
[flagged]by amazweb
7/6/2026 at 7:54:05 PM
You have now created four accounts to make basically this post, but the point is unclear. All of the highly automated theorem provers have some limitations to what they can guarantee, some of which comically strict. You are not really explaining how this operating on MIR makes it so distinctly useless/"fraudulent".by jchw
7/6/2026 at 7:56:27 PM
This is really weird. Someone creating 4 new accounts just to call this project fraudulent because it can't statically analyze every property you'd like? Does this person have a personal grudge against the author, or something?by lambda
7/6/2026 at 7:59:14 PM
[flagged]by amazweb
7/6/2026 at 7:55:48 PM
Get some help, friend. You're spiraling over the weirdest thing in the world to spiral about.by SwellJoe
7/6/2026 at 7:59:58 PM
[flagged]by amazweb
7/6/2026 at 8:10:43 PM
[dead]by nullsanity