Scientific, technical and computational articles including distributed calculations.
Femtosecond writing, 360 TB, Project Silica, error correction and archival media for thousands of years.
Fault tolerance, self-healing, ECC, RAID, consensus, watchdogs, micronuclei and common-mode fail.
Axioms, incompleteness, proof assistants, computer-supported evidence and formally verified software.
How distributed calculations consist of power from unused time of ordinary computers. Technical examples correspond to the time of creation of the text.
The principle of BOINC infrastructure, workstations, scientific applications and credit system.
Overview of the New General Catalogue and Deep Space Objects.
Azimut east, lunar standstill, precarious and polar motion, laser moon measurements and home verification.
An expanded guide to the history of electronic sound, from studio experiments and synthesis principles to instruments, artists, influences and music for the X/Y oscilloscope.