What stops us defining Truth?, “What goes wrong if we attempt to define a predicate that analyses the parts of a proposition to tell us whether or not it is true?”
/dev/random is not Robust, by Yevgeniy Dodis, David Pointcheval, Sylvain Ruhault, Damien Vergnaud, and Daniel Wichs: “[We] give a precise assessment of the security of the two Linux PRNGs, /dev/random and /dev/urandom. In particular, we show several attacks proving that these PRNGs are not robust according to our definition, and do not accumulate entropy properly. These attacks are due to the vulnerabilities of the entropy estimator and the internal mixing function of the Linux PRNGs.”
Bidirectional Typing Rules: A Tutorial (PDF), by David Raymond Christiansen.
Counting TicTacToe boards with Polya’s counting theorem.
Speculative Staging for Interpreter Optimization, by Stefan Brunthaler. “Our technique unites high performance with the simplicity and portability of interpreters—we report that our optimization makes the CPython interpreter up to more than four times faster, where our interpreter closes the gap between and sometimes even outperforms PyPy’s just-in-time compiler.”
SVFORTH, a Forth for Security Analysis and Visualization
From Switch Statement Down to Machine Code
XyJax is a almost Xy-pic compatible language extension for MathJax.
Album Artifact, 12” album art in a 12x12 pixel canvas.
Cake Monsters, neat little HTML5 game.