{"id":10681,"date":"2016-09-24T00:00:57","date_gmt":"2016-09-24T00:00:57","guid":{"rendered":"https:\/\/www.wired.com\/?p=2093572"},"modified":"2016-09-24T00:00:57","modified_gmt":"2016-09-24T00:00:57","slug":"computer-scientists-close-in-on-perfect-hack-proof-code","status":"publish","type":"post","link":"https:\/\/hoo.central12.com\/fugic\/2016\/09\/24\/computer-scientists-close-in-on-perfect-hack-proof-code\/","title":{"rendered":"Computer Scientists Close In on Perfect, Hack-Proof Code"},"content":{"rendered":"<div class=\"rss_thumbnail\"><img src=\"https:\/\/www.wired.com\/wp-content\/uploads\/2016\/09\/ProgramVerification_BoyaSun_1K-660x372.jpg\" alt=\"Computer Scientists Close In on Perfect, Hack-Proof Code\" \/><\/div>Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The post <a href=\"https:\/\/www.wired.com\/2016\/09\/computer-scientists-close-perfect-hack-proof-code\/\">Computer Scientists Close In on Perfect, Hack-Proof Code<\/a> appeared first on <a href=\"https:\/\/www.wired.com\/\">WIRED<\/a>.","protected":false},"excerpt":{"rendered":"<p>Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The post Computer Scientists Close In on Perfect, Hack-Proof Code appeared first on WIRED.<\/p>\n","protected":false},"author":56,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[208,2081,349,11,4],"tags":[],"class_list":["post-10681","post","type-post","status-publish","format-standard","hentry","category-computer-science","category-hack","category-math","category-quanta-magazine","category-science"],"_links":{"self":[{"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/posts\/10681"}],"collection":[{"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/users\/56"}],"replies":[{"embeddable":true,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/comments?post=10681"}],"version-history":[{"count":1,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/posts\/10681\/revisions"}],"predecessor-version":[{"id":10682,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/posts\/10681\/revisions\/10682"}],"wp:attachment":[{"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/media?parent=10681"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/categories?post=10681"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hoo.central12.com\/fugic\/wp-json\/wp\/v2\/tags?post=10681"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}