May 2019 Archive
871.
873.
875.
TLA+: design, model, document, and verify concurrent systems
(lamport.azurewebsites.net)
877.
Translating an ARM iOS App to Intel macOS Using Bitcode
(highcaffeinecontent.com)
878.
I do not use a debugger (2016)
(lemire.me)
879.
880.
Ten Rivers Contribute Most of the Plastic in the Oceans (2018)
(scientificamerican.com)
881.
Firefox/Normandy/PreferenceRollout
(wiki.mozilla.org)
882.
Airport Made Fence Holes for Planespotting Photographers
(petapixel.com)
883.
884.
Refunds for 300M phone users sought in lawsuits over location-data sales
(arstechnica.com)
885.
886.
The Race to Develop the Moon
(newyorker.com)
887.
Remote, in-memory key-value stores: An idea whose time has come and gone? [pdf]
(pages.cs.wisc.edu)
888.
QEMU 4.0 adds micro:bit emulation support
(qemu.org)
889.
Twitter’s Plan to Get People to Stop Yelling at Each Other
(buzzfeednews.com)
890.
H-1B visa: Government says work ban for H-4 spouses coming this month
(mercurynews.com)
891.
Outschooling
(avc.com)
893.
Beekeepers hit hard by thefts of hives
(nationalgeographic.com)
894.
Playing with model trains and calling it graph theory
(11011110.github.io)
895.
Jumping Back and Forth
(craftinginterpreters.com)
897.
CIA’s Latest Layer: An Onion Site
(cia.gov)
899.
Docker Bug Allows Root Access to Host Filesystem
(decipher.sc)
900.
Hedgehog Ethereum wallet: Build DApps like apps, without centralized keys
(hedgehog.audius.co)