


There is no human-level computer vision

Why self-driving cars are not going to happen
Some observations about Tesla’s Autopilot

Design Flaws of the Tesla Model S
Three famous quotes

Programs may not be proofs
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
