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.”
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.