2019 Archive
16261.
16262.
16263.
16264.
16265.
16266.
16267.
16268.
16269.
OPP: Other People's Problems (elidedbranches.com)
16270.
Grandpa's Beer (popula.com)
16271.
16272.
16273.
16274.
CX: Wait-Free Universal Construction (concurrencyfreaks.blogspot.com)
16275.
16276.
16277.
16278.
16279.
16280.
Theorem Proving in Lean [pdf] (leanprover.github.io)
16281.
16282.
16283.
16284.
16285.
RIP Graphics (2005-2015) (kwasstuff.altervista.org)
16286.
16287.
16288.
16289.
16290.