Vatileaks fear creeps into the Conclave, “A sophisticated anti-bug and cell phone signal system has been installed in the Sistine Chapel.”
Category theory for scientists, by David I. Spivak. “There are many books designed to introduce category theory to either a mathematical audience or a computer science audience. In this book, our audience is the broader scientific community. We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results.”
Univalent categories and the Rezk completion, by Benedikt Ahrens, Chris Kapulkin, and Michael Shulman. “We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of “category” for which equality and equivalence of categories agree.” With proofs in Coq.
Plain Paxos a basic implementation of the Paxos algorithm in Python, by Tom Cocagne. “The distinguishing characteristic of this implementation, as compared to other freely available and open-source implementations, is that this library is completely independent of application domains and networking infrastructures.”
Pcompress is a high-performance utility to do compression/decompression and deduplication in parallel by splitting input data into chunks. Chunk splitting can happen at fixed points or variable content-defined boundaries.
Peeking into Linux kernel-land using /proc filesystem for quick’n’dirty troubleshooting, cool tricks.
One true awk, now on Github.
A/C but no D/C: last Con Edison direct current customer is history, guess the year before clicking.
How to “open” microchip and what’s inside? Great views.
Stunning Dita Von Teese in Revolutionary 3D-Printed Dress, “The spectacular garment is made of 17 individually printed pieces with 3,000 articulated joints.”