benwr 的提交内容

Show HN: Glean, a tiny bitmap font for programming

Crash-Only Software (2003) [pdf]

Try Logic Programming! A Gentle Introduction to Prolog

Wikipedia-size maths proof too big for humans to check

The "Intellectual Property" Oxymoron

Why is the web like a telephone directory?

TED Talks