My new book: Ground-Up Computer Science
There is no human-level computer vision
Three famous quotes
Tests and static analysis
On object-oriented programming
PySonar2 successfully integrated with Sourcegraph.com
Purely Functional Languages and Monads
PySonar2 opensourced
psydiff: a structural comparison tool for Python
Null reference may not be a mistake
How to reduce the contagious power of ‘const’ in C++
Back to the future of databases
Why is indexing faster than binary search
On pureness
Undecidability proof of the halting problem using lambda calculus
A mind map guide for TeXmacs
Propositions as Programs
On software design patterns