Stories by mindcrime

Google Glass Is Back, for the Enterprise

Incremental Computing

Verdi – Formally Verifying Distributed Systems (2016)

Hacker Ethic

Cyberpunk: The Documentary

NASA Systems Engineering Handbook [pdf]

SPARQL Protocol for RDF

Science and Scientific Reasoning [pdf]

Inverse Problems [pdf]

Abduction – Modes of Inference I

Triangle (RTP, NC) Places 5th in “Top 25 Tech Cities” Report

How Computers Change the Way We Think (2004) [pdf]

A System for Accessible Artificial Intelligence

YARP – Yet Another Robot Platform

Limbo – A Reasoning System for First-Order Limited Belief

Piper at the Gates of Hell: Interview with Cyberpunk Legend John Shirley [2014]

Objections to Bayesian Statistics (2008) [pdf]

A History of Metaheuristics

SHACL is a W3C Recommendation

AppLP: A Dialogue on Applications of Logic Programming

31 32 33 34 35 36 37 38 39 40