Four short links: 3 January 2018

Charlie Stross, Pepper's Cone, Proving Correctness, and Chutes and Ladders

By Nat Torkington
January 3, 2018
  1. Dude, You Broke the Future (Charlie Stross) — text and video of his keynote at 34C3. tl;dr: don’t worry about AI; corporations are already the runaway artificial entity with a single goal.
  2. Pepper’s ConeThis paper describes a simple 3D display that can be built from a tablet computer and a plastic sheet folded into a cone. This display allows naturally viewing a three-dimensional object from any direction over a 360-degree path of travel without the use of a head mount or special glasses. Inspired by the Pepper’s Ghost illusion behind the ghosts at Disney’s Haunted Mansion.
  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. FrapThis is an in-progress, open source book by Adam Chlipala, simultaneously introducing the Coq proof assistant and techniques for proving correctness of programs. That is, the game is doing completely rigorous, machine-checked mathematical proofs, showing that programs meet their specifications.
  5. Simulating Chutes and Ladders — FAR more than you ever thought you wanted to know about the game of Chutes and Ladders (Snakes and Ladders in my country). There’s a section titled “Eigenvectors and Stationary States,” so suit up before going in.
Post topics: Four Short Links