
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
