Top posts

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

Math & Algorithms
2009
33

The Busy Beaver Problem

Busy Beaver puts another one on the Turing Machine's tape (image from the book The New Turing Omnibus). The busy beaver problem is a fun theoretical computer science problem. Intuitively, the problem is to find the smallest program that outputs as many data as possible and eventually halts. More formally it goes…

56

P.S.: The Best of Intentions

Operations in Lisp, Scheme, and other dynamically-typed languages typically dispatch on representational type information rather than intentional type information. Several broad classes of bugs and confusions can be traced to improper attempts to recover intentional type information from representation types.