Explores the marriage problem, modeling the process as a controlled stochastic process with dynamic programming algorithms to find the optimal policy for accepting bachelors.
Explores a simple universal construction algorithm using ConsentsObjects, highlighting its log-free nature and the uncertainty in operation termination.