November 2019 Archive
18841.
18842.
18843.
18844.
18845.
18846.
18847.
18848.
Proving Perfectoid Spaces in Lean Theorem Prover (leanprover-community.github.io)
18849.
Chess Composer (en.wikipedia.org)
18850.
18851.
U2F Support in OpenSSH HEAD (lists.mindrot.org)
18852.
18853.
18854.
18855.
18856.
18857.
18858.
18859.
HTTP Options Asterisk-Form (tools.ietf.org)
18860.
18861.
5G Is for Robots (hackaday.com)
18862.
18863.
18864.
The Semaphore Barrier (vladfeinberg.com)
18865.
18866.
18867.
18868.
18869.
Is Inequality Inevitable? (scientificamerican.com)
18870.