Miscellaneous

This post gives a gentle introduction to the control theory and linear quadratic Gaussian control.

This post gives a gentle introduction to the Probabilistic Checkable Proof (PCP), the pearl of computational complexity theory.

As a gambler, it seems natural to start with gambler's ruin.

This post introduces a framework for a message system for big data built with Kafka+Flink+ElasticSearch and how do these tools work behind the scene.

This post lays down the motivations and challenges for distributed systems and introduces an approach to fault-tolerant distributed systems using Raft.