Monthly Archives: April 2014

Some odds and ends

I haven’t blogged for a while, mainly because I’ve been busy doing some rather interesting Coursera courses. In fact at the moment I have 1, 2, 3, 4 on the go. Bart de Smet’s recent comments on Cortana and the … Continue reading

Posted in Computers and Internet | Leave a comment

That’s for sure

Certified Programming with Dependent Types: A pragmatic introduction to the COQ proof assistant by Adam Chlipala I really loved this introduction to COQ, a formal proof management system which can be used to formalise and prove mathematical theorems. COQ is … Continue reading

Posted in Computers and Internet | Leave a comment