HiKey board, finally a cheap aarch64 64-bit ARM board from 96Boards.
Decrypting TLS Browser Traffic With Wireshark – The Easy Way!, good to know that feature.
Some Properties of Operators for Unevenly Spaced Time Series (PDF), by Andreas Eckner. Also algorithms.
ChickBlog, a blog engine written and proven in Coq.
castnow is commandline utility which can be used to playback media files on your chromecast device.
ndhc, a privilege-separated secure DHCPv4 client for Linux
A Tale of Two Zippers, by bunnie. Recommended.
das internet als wille und vorstellung, von felix schwenzel.