{"id":1111,"date":"2012-10-12T14:58:43","date_gmt":"2012-10-12T12:58:43","guid":{"rendered":"http:\/\/cerezo.name\/blog\/?p=1111"},"modified":"2024-10-14T13:54:03","modified_gmt":"2024-10-14T11:54:03","slug":"assorted-links-software-innovations","status":"publish","type":"post","link":"http:\/\/cerezo.name\/blog\/2012\/10\/12\/assorted-links-software-innovations\/","title":{"rendered":"Assorted Links (Software Innovations)"},"content":{"rendered":"<ol>\n<li style=\"list-style-type: none;\">\n<ol>\n<li style=\"text-align: justify;\"><a href=\"http:\/\/research.microsoft.com\/en-us\/um\/people\/leonardo\/blog\/2012\/10\/02\/open-z3.html\" target=\"_blank\" rel=\"noopener\"><span class=\"caps\">Z3<\/span> open-sourced<\/a>: better integration with Isabelle will surely follow after&nbsp;this!<\/li>\n<li style=\"text-align: justify;\"><a href=\"http:\/\/research.google.com\/archive\/spanner-osdi2012.pdf\" target=\"_blank\" rel=\"noopener\">Spanner<\/a>, a globally distributed database aware of time-inconsistencies<\/li>\n<li style=\"text-align: justify;\"><a href=\"http:\/\/keccak.noekeon.org\/\" target=\"_blank\" rel=\"noopener\">Keccak<\/a>, the <a href=\"http:\/\/www.nist.gov\/itl\/csd\/sha-100212.cfm\" target=\"_blank\" rel=\"noopener\">new secure hash algorithm (<span class=\"caps\">SHA<\/span>\u20113)<\/a><\/li>\n<li style=\"text-align: justify;\"><a href=\"http:\/\/www.typescriptlang.org\/\" target=\"_blank\" rel=\"noopener\">TypeScript<\/a>, an ingenious way to solve the chicken-and-egg problem of language adoption via language supersets<\/li>\n<li style=\"text-align: justify;\"><a href=\"http:\/\/bellard.org\/lte\/\" target=\"_blank\" rel=\"noopener\"><span class=\"caps\">LTE<\/span> Base station software<\/a>: I hope this will be released really soon<\/li>\n<\/ol>\n<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p><span class=\"caps\">Z3<\/span> open-sourced: better integration with Isabelle will surely follow after&nbsp;this! Spanner, a globally distributed database aware of time-inconsistencies Keccak, the new secure hash algorithm (<span class=\"caps\">SHA<\/span>\u20113) TypeScript, an ingenious way to solve the chicken-and-egg problem of language adoption via language supersets <span class=\"caps\">LTE<\/span> Base station software: I hope this will be released really soon<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"wp_typography_post_enhancements_disabled":false,"ngg_post_thumbnail":0},"categories":[18,15],"tags":[],"_links":{"self":[{"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/posts\/1111"}],"collection":[{"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/comments?post=1111"}],"version-history":[{"count":6,"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/posts\/1111\/revisions"}],"predecessor-version":[{"id":1583,"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/posts\/1111\/revisions\/1583"}],"wp:attachment":[{"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/media?parent=1111"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/categories?post=1111"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/cerezo.name\/blog\/wp-json\/wp\/v2\/tags?post=1111"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}