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
Page 2
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