A Robotic Internet of “Maker Things” This project is a research undertaking that seeks to develop a way to network robots & robotic manufacturing sites and... Continue reading
A Case Study In “Specification Driven Programming” Project Euler and its derivatives have become a favourite among algorithmic programmers. Quoting from the Project Euler web site:... Continue reading
The Reasoned Lisper Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning.... Continue reading