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