Formally Verified Cryptographic Web Applications in WebAssembly [pdf]
(eprint.iacr.org)
May 2019 Archive
4141.
4143.
4145.
Google Will Now Auto-Delete Some User Data – If You Ask
(bloomberg.com)
4146.
4147.
Why China launches its rockets over land, not water
(inkstonenews.com)
4148.
4149.
Clean Code versus Clever Code (2015)
(medium.com)
4150.
5G signal could jam satellites that help with weather forecasting
(theguardian.com)
4151.
Undercover restorers fix Paris landmark's clock
(theguardian.com)
4152.
Don’t Let Students Run the University
(theatlantic.com)
4153.
Remote contract jobs for developers and designers
(wellpaid.io)
4154.
Tracking Visitors in Tor with No JavaScript
(twitter.com)
4155.
Iris Murdoch: The Art of Fiction
(theparisreview.org)
4156.
4157.
Y Combinator Partner, Paul Buchheit: Surprising Lesson from 200 Startups (2017)
(blog.capitalandgrowth.org)
4158.
New wonder material that could revolutionise batteries and electronics
(theconversation.com)
4159.
Why Is the Cosecant “Co”?
(forums.xkcd.com)
4160.
Amazon Is Losing the War on Fraudulent Sellers
(schneier.com)
4161.
History according to E.H. Carr
(newstatesman.com)
4162.
Army discovery opens path to safer batteries
(army.mil)
4163.
Show HN: AI Generated House Music
(soundcloud.com)
4164.
No posthumous privacy: the middle years of T. S. Eliot
(the-tls.co.uk)
4165.
Software visibility is the key to innovation
(sumologic.com)
4166.
4167.
Show HN: Learn how to build products and startups without code
(producthunt.com)
4168.
Show HN: ML & data pipeline deployment for humans
(omegaml.io)
4169.
4170.
Training AI to Win a Dogfight
(darpa.mil)