Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 4,838 posts.

Any topic
2019
3918

Homology

Xoilac TV trực tiếp bóng đá HD hàng đầu Việt Nam, đường truyền ổn định, đa dạng link trực tuyến, đa dạng giải đấu, BLV chuyên môn cao và hoàn toàn miễn phí.

3922

Adventure Games and Eigenvalues (2017)

Do adventure games have dead ends? The author of The Teeny Tiny Mansion proves the absence of dead ends in that game via formal verification (in particular, with the help of the cbmc model-checking program ). Here I’ll demonstrate how to prove the same thing via Markov theory. The Markov approach requires more…