{"id":83,"date":"2008-02-04T15:49:37","date_gmt":"2008-02-04T22:49:37","guid":{"rendered":"http:\/\/www.talesfromthe.net\/jon\/?p=83"},"modified":"2008-02-04T15:49:37","modified_gmt":"2008-02-04T22:49:37","slug":"edmund-clarke-wins-turing-award","status":"publish","type":"post","link":"https:\/\/2024.thenexus.today\/index.php\/2008\/02\/04\/edmund-clarke-wins-turing-award\/","title":{"rendered":"Edmund Clarke wins Turing Award!"},"content":{"rendered":"<p>Wow, the guy I took compilers from as an undergraduate has just <a href=\"http:\/\/www.ddj.com\/206103622\">won the Turing Award <\/a>for his work in model checking.<\/p>\n<p>How cool is that?<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Wow, the guy I took compilers from as an undergraduate has just won the Turing Award for his work in model checking. How cool is that?<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[84,287,330],"class_list":["post-83","post","type-post","status-publish","format-standard","hentry","category-professional","tag-computer-science","tag-quality","tag-software-tools"],"_links":{"self":[{"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/posts\/83","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/comments?post=83"}],"version-history":[{"count":0,"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/posts\/83\/revisions"}],"wp:attachment":[{"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/media?parent=83"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/categories?post=83"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/2024.thenexus.today\/index.php\/wp-json\/wp\/v2\/tags?post=83"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}