{"id":753,"date":"2010-03-02T10:00:37","date_gmt":"2010-03-02T17:00:37","guid":{"rendered":"http:\/\/www.johnnylogic.org\/?p=753"},"modified":"2010-03-02T10:00:37","modified_gmt":"2010-03-02T17:00:37","slug":"bookmarks-for-february-26th-through-march-2nd","status":"publish","type":"post","link":"https:\/\/www.johnnylogic.org\/blog\/2010\/03\/02\/bookmarks-for-february-26th-through-march-2nd\/","title":{"rendered":"Bookmarks for February 26th through March 2nd"},"content":{"rendered":"<p>These are my links for February 26th through March 2nd:<\/p>\n<ul>\n<li><a href=\"http:\/\/www.cs.man.ac.uk\/~pt\/Practical_Foundations\/\">Practical Foundations of Mathematics<\/a> &#8211; Although it is mainly concerned with a framework essentially equivalent to intuitionistic ZF, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming.<\/li>\n<li><a href=\"http:\/\/people.ischool.berkeley.edu\/~hal\/Papers\/mattioli\/mattioli.html\">Economics of Information Technology<\/a> &#8211; This is an overview of economic phenomena that are important for high-technology industries. Topics covered include personalization of products and prices, versioning, bundling, switching costs, lock-in, economies of scale, network effects, standards, and systems effects.\n<p>Most of these phenomena are present in conventional industries, but they are particular important for technology-intensive industries. I provide a survey and review of recent literature and examine some implications of these phenomena for corporate strategy and public policy.<\/li>\n<li><a href=\"http:\/\/stackoverflow.com\/\">Stack Overflow<\/a> &#8211; Stack Overflow is a collaboratively edited question and answer site for programmers &ndash; regardless of platform or language. It&#39;s 100% free, no registration required.<\/li>\n<li><a href=\"http:\/\/www.eurekalert.org\/pub_releases\/2010-02\/uoia-dos022410.php\">Deluge of scientific data needs to be curated for long-term use<\/a> &#8211; To those who would say publish it on a Web page and let Google cache the page for posterity, Palmer argues that businesses don&#39;t have the orientation necessary for curating and preserving information for the really long term &ndash; say, for hundreds of years.\n<p>Research libraries, on the other hand, have this mission and always have been committed to this.<\/p>\n<p>&quot;The common perception is that keeping information online keeps it alive,&quot; Palmer said. &quot;But someone, somewhere, has to maintain it and make it accessible and usable for researchers. It&#39;s not wise to rely on publishers or other commercial entities that have never really been in the business of preservation. Businesses can go out of business, and they&#39;re driven by commercial interests.&quot;<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>These are my links for February 26th through March 2nd: Practical Foundations of Mathematics &#8211; Although it is mainly concerned with a framework essentially equivalent to intuitionistic ZF, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[],"tags":[],"class_list":["post-753","post","type-post","status-publish","format-standard","czr-hentry"],"jetpack_publicize_connections":[],"jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p71YpQ-c9","jetpack-related-posts":[],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/posts\/753","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/comments?post=753"}],"version-history":[{"count":3,"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/posts\/753\/revisions"}],"predecessor-version":[{"id":760,"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/posts\/753\/revisions\/760"}],"wp:attachment":[{"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/media?parent=753"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/categories?post=753"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.johnnylogic.org\/blog\/wp-json\/wp\/v2\/tags?post=753"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}