Solving the Dichotomy between Solution and Test A Design Pattern Today I would like to propose a software design pattern. This design pattern will be a... Continue reading
Page 2
In this article we will document the manufacture of an watch using digital manufacturing techniques. The Carbon-Fibre Biscuit-Watch: Our stated aim is to demonstrate my methods... Continue reading
A ramjet is a form of air-breathing jet engine that uses the engine’s forward motion to compress incoming air without a built-in compressor. The air is... Continue reading
The Convergence of Modern C++ on the Lisp Programming Style – Part II In The Convergence of Modern C++ on the Lisp Programming Style we looked... 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
A Full Analysis of the 2015 GCHQ Crypto Puzzle Today I would like to start the third article in a series on reasoning systems and... 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
For some time now, I have been fascinated with Computational Fluid Dynamics (CFD) in Physics. Some of the concepts underpinning CFD are not unlike modern... Continue reading
Integer maximus accumsan nunc, sit amet tempor lectus facilisis eu. Cras vel elit felising. Vestibulum convallis aliquam varius. Continue reading