Nanopositioning Metrology, Gödel, and Bootstraps | Dark Hacker News