October 2020 Archive
9931.
Twitter API: We are currently investigating this issue. More updates to come
(api.twitterstat.us)
9932.
Specification and verification in the field: Applying formal methods to BPF JITs [pdf]
(unsat.cs.washington.edu)
9933.
9934.
The Cold War’s unfinished legacy
(africasacountry.com)
9935.
9936.
Where Are All the Successful Rationalists?
(applieddivinitystudies.com)
9938.
Filecoin Launch Finally Brings $200M ICO to Fruition
(coindesk.com)
9939.
Transitions
(ryancaldbeck.medium.com)
9940.
9941.
“Email to former board member”
(docs.google.com)
9943.
Google Chromium, sans integration with Google
(ungoogled-software.github.io)
9944.
Slower Metal Bogs Down SoC Performance
(semiengineering.com)
9946.
Almost 2000 Robinhood Accounts Hacked
(bloomberg.com)
9947.
40 Years Ago, We Almost Blew Up Arkansas
(popularmechanics.com)
9948.
9949.
Fixing Our Broken Internet
(lwn.net)
9950.
Microsoft will give GameStop a share of Xbox’s digital revenues
(arstechnica.com)
9951.
9952.
Understanding the new control groups API
(lwn.net)
9953.
Accelerate Open and Sustainable Technology
(protontypes.eu)
9954.
Tesla Model 3 range upgraded to 353mi
(tesla.com)
9955.
Social Media Is Like the Weirdest House Party Ever
(humanparts.medium.com)
9956.
Chrome 87 Beta: WebAuthn in DevTools, Pan/Tilt/Zoom, Flow Relative Shorthands
(blog.chromium.org)
9957.
9959.
AWS Budget Actions
(aws.amazon.com)
9960.
Apple sucks at Thunderbolt 3, apparently
(rachelbythebay.com)