My favorite technical blogs

Reasoning is here.

Systems programming

Formal methods

Systems

Compilers & interpreters

Databases

Distributed systems