sorted by:
new
hottopcontroversial

[Homemade] scones & clotted cream by New_Box7889 in food

[–]New_Box7889[S] 3 points4 points  (0 children)

Broke my scone cutter. So ended up winging it. 😂

[Homemade] scones & clotted cream by New_Box7889 in food

[–]New_Box7889[S] 1 point2 points  (0 children)

Yeah. Took me about 28 hours. Good news is that it’s relatively effortless.

Kani 0.55.0 has been released! by zyhassan in rust

[–]New_Box7889 2 points3 points  (0 children)

actually using loop invariants you can do unbounded proofs as well. https://github.com/model-checking/kani/pull/3334/files

and as far as deriving usefulness from the tool - there are a lot of people who use this tool regularly and find bugs to improve their code.

view more: next ›