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.
Blackboards in Porn