What’s a linked list? Let V be a set of values and A be a set of “addresses”. Say a map f is a “linked
Read moreNew and or notable.
My new favorite line: “My good sir, I worry that your groundbreaking treatise will go overlooked here on Twitter” This is a great essay on
Read moreXor patterns
The xor i mod 128 “multiplication table” as presented by Mathematica. Here is the mod 64 matrix.
Read moreMore UB madness from LLVM/Clang
Via @johnregehr this further tale of compiler “optimizations” that break correct C code without even a warning by deleting a necessary null pointer check. In
Read moreinformal methods applied to networks and timeouts
Distributed computation involves many interesting issues concerning shared data. Here I want to sketch out what networks look like using applied (informal) mathematics so we
Read moreCurrent reading: meltdown and spectre edition
Google project zero and then The two attacks. and remediation for Spectre in LLVM. Test code. (via Lobste.rs) Limits of ASLR. Spanner,True Time and CAP
Read more
Types considered harmful. From a remark by Wolfram.
Originally Nov 30, 2017. (revised 2021,2023) Russell introduced what is often viewed as his most original contribution to mathematical logic: his theory of types—which in
Read morethe terrible effect of Krohn-Rhodes
One of the most interesting theorems in computer science is the Krohn-Rhodes theorem that shows a strong link between basic computer science and group theory.
Read more