Monthly Highlights
23341.
23342.
23343.
23344.
23345.
23346.
23347.
23348.
23349.
Daylight (buttondown.com)
23350.
23351.
23352.
23353.
23354.
23355.
23356.
23357.
23358.
23359.
23360.
23361.
23362.
Comprised Of (en.wikipedia.org)
23363.
23364.
23365.
23366.
23367.
SAT Encodings: From Art to Science [pdf] (bsubercaseaux.github.io)
23368.
23369.
23370.