April 2015 Archive
10051.
10052.
10053.
10054.
10055.
10056.
10057.
10058.
Theorem Proving in Lean (leanprover.github.io)
10059.
10060.
10061.
10062.
10063.
10064.
10065.
10066.
10067.
10068.
10069.
10070.
Arduino + Chromebook (sparkfun.com)
10071.
Cray Website hacked (cray.com)
10072.
10073.
10074.
10075.
10076.
10077.
Basketball Earth (xkcd.com)
10078.
The Art of Plain Text (netmeister.org)
10079.
10080.