Deduction is types. Induction is testing. Abduction is program analysisdanghica.blogspot.com·2 pts·theaeolist·0
What else are we getting wrong about programming languages?danghica.blogspot.com·61 pts·theaeolist·96
Dana Scott tells the real story of why the lambda in the lambda-calculusresearchblogs.cs.bham.ac.uk·3 pts·theaeolist·0
A short fable of software engineering vs. regular engineeringresearchblogs.cs.bham.ac.uk·111 pts·theaeolist·91
Inventing an algebraic knot theory for eight year olds, part 4: Equationsresearchblogs.cs.bham.ac.uk·9 pts·theaeolist·2
Inventing an algebraic knot theory for eight year olds (III)researchblogs.cs.bham.ac.uk·46 pts·theaeolist·20