Cores that don’t count (PDF), by Peter H. Hochschild, Paul Turner, Jeffrey C. Mogul, Rama Govindaraju, Parthasarathy Ranganathan, David E. Culler, and Amin Vahdat. “As fabrication pushes towards smaller feature sizes and more elaborate computational structures, and as increasingly specialized instruction-silicon pairings are introduced to improve performance, we have observed ephemeral computational errors that were not detected during manufacturing tests. These defects cannot always be mitigated by techniques such as microcode updates, and may be correlated to specific components within the processor, allowing small code changes to effect large shifts in reliability. Worse, these failures are often “silent” – the only symptom is an erroneous computation.” Oh no.

Unix Shell Programming: The Next 50 Years (PDF), by Michael Greenberg, Konstantinos Kallas, and Nikos Vasilakis.

M1ssing Register Access Controls Leak EL0 State, M1RACLES (CVE-2021-30747) is a covert channel vulnerability in the Apple Silicon “M1” chip.

A metalanguage for multi-phase modularity (PDF), by Jonathan Sterling and Robert Harper.

Half a year of the Liquid Tensor Experiment: Amazing developments, by Peter Scholze.

Introduction to Univalent Foundations of Mathematics with Agda, by Martín Hötzel Escardó. “We introduce Voevodsky’s univalent foundations and univalent mathematics, and explain how to develop them with the computer system Agda, which is based on Martin-Löf type theory.”

A Short Introduction to Categorical Logic (YouTube), by Evan Patterson at the Topos Institute.

Joseph Weizenbaum’s Original ELIZA, Computer Conversations (1965).

The Sweden Solar System is the world’s largest permanent scale model of the Solar System. The model represents the Solar System on the scale of 1:20 million.