December 2016 Archive
6811.
6812.
Play and Enjoy Poker Square (aspiringme.quora.com)
6813.
6814.
6815.
6816.
6817.
Concrete Semantics with Isabelle/HOL (concrete-semantics.org)
6818.
6819.
The Secret life of Time (newyorker.com)
6820.
6821.
6822.
6823.
6824.
6825.
6826.
6827.
6828.
6829.
6830.
Bespoke Superoptimization (oilshell.org)
6831.
OpenBSD and you (home.nuug.no)
6832.
6833.
6834.
6835.
6836.
Kotlin 1.0.6 is here (blog.jetbrains.com)
6837.
6838.
Nasa 3D resources (nasa3d.arc.nasa.gov)
6839.
6840.