{"id":2322,"date":"2026-06-24T11:35:47","date_gmt":"2026-06-24T03:35:47","guid":{"rendered":"http:\/\/wp.rungobag.cn\/index.php\/2026\/06\/24\/creusot-helps-you-prove-your-rust-code-is-correct\/"},"modified":"2026-06-24T11:35:47","modified_gmt":"2026-06-24T03:35:47","slug":"creusot-helps-you-prove-your-rust-code-is-correct","status":"publish","type":"post","link":"https:\/\/wp.rungobag.cn\/index.php\/2026\/06\/24\/creusot-helps-you-prove-your-rust-code-is-correct\/","title":{"rendered":"Creusot helps you prove your Rust code is correct"},"content":{"rendered":"<p>Article URL: https:\/\/github.com\/creusot-rs\/creusot\/tree\/master Comments URL: https:\/\/news.ycombinator.com\/item?id=48309645 Points: 56 # Comments: 6<\/p>\n<p><a href=\"https:\/\/github.com\/creusot-rs\/creusot\/tree\/master\">\u67e5\u770b\u539f\u6587 \u2192<\/a><\/p>\n<hr>\n<p><small>\u6765\u6e90\uff1aHacker News \u00b7 RSS \u91c7\u96c6<\/small><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Article URL: https:\/\/github.com\/creusot-rs\/creusot\/tree [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ai_generated_summary":"","wpai_meta_description":"","footnotes":""},"categories":[7],"tags":[],"class_list":["post-2322","post","type-post","status-publish","format-standard","hentry","category-tech"],"_links":{"self":[{"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/posts\/2322","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/comments?post=2322"}],"version-history":[{"count":0,"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/posts\/2322\/revisions"}],"wp:attachment":[{"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/media?parent=2322"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/categories?post=2322"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.rungobag.cn\/index.php\/wp-json\/wp\/v2\/tags?post=2322"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}