TOPCS — Towards Optimal Principles of Computer Science