Four short links: 18 February 2020

Generating Test Cases, Regulating Social Media, Incentivizing Scientists, and Questions for Managers

By Nat Torkington
February 18, 2020
Four Short Links
  1. Millions of Tiny Databases — a distributed database system, whose developers used TLA+ to provide proof of correctness. And test cases! (via Marc Brooker)
  2. Charting a Way Forward (Facebook) — Facebook’s discussion document for regulating social media. This paper explores possible regulatory structures for content governance outside the United States and identifies questions that require further discussion. It builds off recent developments on this topic, including legislation proposed or passed into law by governments as well as scholarship that explains the various content governance approaches that have been adopted in the past and may be taken in the future. Its overall goal is to help frame a path forward—taking into consideration the views not only of policymakers and private companies, but also civil society and the people who use Facebook’s platform and services.
  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. Stagnation and Scientific IncentivesWe demonstrate empirically that measures of novelty are correlated with but distinct from measures of scientific impact, which suggests that if also novelty metrics were utilized in scientist evaluation, scientists might pursue more innovative, riskier projects.
  5. 1-on-1 Meeting QuestionsMega list of 1-on-1 meeting questions compiled from a variety of sources.
Post topics: Four Short Links
Post tags: Signals