Robert P. LevyPropositions 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…Dec 31, 20182Dec 31, 20182
Robert P. LevySteps to an Ecology of Bicycles for the MindA Situated Programming ManifestoMay 13, 2018May 13, 2018
Robert P. Levy“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…Jun 11, 20161Jun 11, 20161
Robert P. LevyCybernetics Versus Informatics: Understanding the Type WarsTwo competing theories of the fundamental nature of system organization underly this contentious debate in computingMay 31, 2016May 31, 2016