busy-beavers.tigyog.app
↩

Proofs about Programs
2022-12-14 07:52:50 (Hacker News)
Source: Hacker News
Rice’s Theorem: An interactive tutorial
2022-11-25 04:49:18 (Hacker News)
Source: Hacker News

↩