Hacker News
- Proofs about Programs https://busy-beavers.tigyog.app/proofs-about-programs 22 comments
- Rice’s Theorem: An interactive tutorial https://busy-beavers.tigyog.app/rice 168 comments
Lobsters
- Proofs about programs - an interactive tutorial https://busy-beavers.tigyog.app/proofs-about-programs 11 comments compsci , math
- Rice's theorem - an interactive tutorial https://busy-beavers.tigyog.app/rice 80 comments compsci