Four short links: 14 June 2018

Historic Handwriting Recognition, Proving Security, Formal Methods, and Dank Memes

By Nat Torkington
June 14, 2018
  1. Back to the Future of Handwriting Recognition — a very readable explanation of how RAND’s GRAIL system could read handwriting in 1966. (via Avi Bryant)
  2. The Surprising Security Benefits of End-to-End Formal Proofs — talking up formal methods in software engineering, whereby you can prove your system’s correctness.
  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. Software Foundations — book series that is a broad introduction to the mathematical underpinnings of reliable software.
  5. Dank Learning: Generating Memes Using Deep Neural Networksboth models generalize relatively well to unseen images. The average meme produced from both is difficult to differentiate from a real meme and both variants scored close to the same hilarity rating as real memes, though this is a fairly subjective metric. I wish “hilarity” were a metric that more things were judged by.
Post topics: Four Short Links