18 Nov '12, 11pm

18nov2012: Monopoly Is Theft, “The antimonopolist history of the world’s most popular board game”. By Christophe...

Monopoly Is Theft , “The antimonopolist history of the world’s most popular board game”. By Christopher Ketcham. A Brainfuck interpreter written in the C preprocessor , proving its Turing-completness. Readable Programs , Luke Gorrie: “I love readable programs. I mean: programs that you can print out, take to the park, and read from top to bottom.” A long dispute means that both parties are wrong. — Voltaire Zeller’s congruence is an algorithm devised by Christian Zeller to calculate the day of the week for any Julian or Gregorian calendar date. Abella is an interactive theorem prover based on lambda-tree syntax. Specifications are made in the logic of second-order hereditary Harrop formulas using lambda-tree syntax. This logic is executable and is a subset of the λProlog language. Metaflop is a web based platform for experimental fonts and type related projects using Metaf...

Full article: http://chneukirchen.org/trivium/2012-11-18

Tweets