Dec 31, 2018Propositions Are Not Types: Naturalizing Information Content in ComputingOverview: “the hard problem of content” (Hutto & Myin 2013) is an argument that information as it exists in physical systems is only covariance information, which does not inherently have properties such as truth, reference, and implication required for it to work as propositional content. That means formal propositions implemented…Artificial Intelligence16 min readArtificial Intelligence16 min read
May 13, 2018Steps to an Ecology of Bicycles for the MindA Situated Programming Manifesto [Note: the print-friendly zine-style packaging of this text can be found at http://senters.info/situated-programming/] PREFACE In the folklore of computing, the turn of phrase “bicycle for the mind”¹ characterizes the aims of intelligence amplification (IA) efforts by way of reference to the well-established scientific fact that bicycles come…Intelligence Augmentation22 min readIntelligence Augmentation22 min read
Jun 11, 2016“Temporal Higher-Order Contracts” with Clojure.specA sizable group of engineers including myself over at Funding Circle (a Clojure and Clojurescript shop, we’re hiring!) have been gathering every couple of weeks over lunch to discuss a paper that one of us has decided to present to the group. Yesterday, the paper we discussed was Temporal Higher-Order…Clojure4 min readClojure4 min read
May 31, 2016Cybernetics Versus Informatics: Understanding the Type WarsTwo competing theories of the fundamental nature of system organization underly this contentious debate in computing — The early history of computers was both a story of mathematical and electrical engineering achievements, and because of this, early there emerged two distinct but interacting cultures of computing. …Artificial Intelligence7 min readArtificial Intelligence7 min read