Kani: A Model Checker for Rust

arxiv.org114 pointsby Jimmc4147 comments

Loading comments…

Related stories

Does code cleanliness affect coding agents? A controlled minimal-pair study

arxiv.org · 188 points · 89 comments

The Hitchhiker's Guide to Agentic AI

arxiv.org · 42 points · 4 comments

DNSGlobe – Rust TUI to watch DNS propagate around the world

github.com · 77 points · 61 comments

An independent evaluation of TabFM, Google's tabular foundation model

yashrajpandey.com · 9 points · 0 comments

Organic Maps

organicmaps.app · 1121 points · 356 comments

OpenPrinter

opentools.studio · 1103 points · 276 comments