Pint is a #dimensional-analysis #library for #Python
Adam Chlipala explains the basis of the Calculus of Inductive Constructions in this chapter of his #ebook on #Coq. #formal-methods
The SciPy #Python #library comes with a whole passel of #optimization #algorithms.
how to test #algorithms for #persistent-memory without actually physically having any, from a blog on persistent-memory programming
Hypothesis that the Roman dodecahedra were for sling bullet quality control, and a modern method of #3D scanning using Fluorinert displacement. “Modernization of an Ancient Technology to Provide New Scanning Applications” #archaeology
#3D scanning using silhouette detection, a lazy susan, and a webcam, just by removing inconsistent points.
Sheitels and other hair coverings in #Judaism
Xavier Leroy of #OCaml fame found a nondeterministic #hardware bug (“nightmare-level erratum”) in Intel Skylake processors. “Short loops using both the AH/BH/CH/DH registers and the corresponding wide register may result in unpredictable system behavior” #debugging
Barium sulfate, when calcined, is “lapis illuminabilis”: the first-discovered phosphorescent substance. #minerals
Uninitialized data in #C can easily give rise to undefined behavior
#France has set up a “tech visa”, or rather three of them, for founders, employees, and investors
discussion of the #France tech visa
#Racket now has 2-D conditional tables as a syntax extension
Tips for #visualization with #matplotlib and pandas and also something called seaborn, with a walkthrough of a series of financial examples
Zeppelin looks like an alternative to #IPython/Jupyter? A notebook interface with Spark, SQL and Scala
#smallisbeautiful software for Microsoft Windows without source, with a 1.4MB max.