Four short links: 31 July 2019

Provably Correct AI, Porn & Privacy, Math for CS and ML, and Xenophobia Classifier

By Nat Torkington
July 31, 2019
Four short links
  1. ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks — provably correct neural networks—now there’s an interesting idea…
  2. Tracking Sex: The Implications of Widespread Sexual Data Leakage and Tracking on Porn WebsitesOur analysis of 22,484 pornography websites indicated that 93% leak user data to a third party. Tracking on these sites is highly concentrated by a handful of major companies, which we identify. We successfully extracted privacy policies for 3,856 sites, 17% of the total. The policies were written such that one might need a two-year college education to understand them. Our content analysis of the sample’s domains indicated 44.97% of them expose or suggest a specific gender/sexual identity or interest likely to be linked to the user.
  3. Learn faster. Dig deeper. See farther.

    Join the O'Reilly online learning platform. Get a free trial today and find answers on the fly, or master something new and useful.

    Learn more
  4. Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Machine Learning — a 1,962-page LaTeX book which some wag listed as Math Basics for CS and ML on Hacker News.
  5. Open Source Xenophobia Classifier for Tweets — source is a Colab notebook, and they make their labeled training data available, too.
Post topics: Four Short Links