2019 Archive
24151.
Abandoning a Cat (newyorker.com)
24152.
24153.
24154.
Formal Verification of Y86-64 Processors (csappbook.blogspot.com)
24155.
24156.
24157.
24158.
24159.
24160.
24161.
24162.
24163.
A Cart with Legs (pictures.royalsociety.org)
24164.
24165.
24166.
24167.
24168.
24169.
24170.
Random walkers illuminate a math problem (physicstoday.scitation.org)
24171.
24172.
24173.
24174.
24175.
C++, C# and Unity (lucasmeijer.com)
24176.
24177.
24178.
24179.
24180.
Logical Symbols (2011) (philosophypages.com)