Four short links: 27 April 2018

Automating Commerce, Faster Training, MacOS Monitoring, and Formal Methods

By Nat Torkington
April 27, 2018
  1. Death of A Supply-Driven WorldThe company employs under a dozen engineers that built a technology stack that integrates the brand’s planning, design, marketing and commerce systems into an all-knowing brain. If a shopper adds a product to the cart and then removes it, the brand knows and feeds this info back into its demand planning system. If a shopper returns one size and keeps another, this informs how the brand will reorder that product, if it does at all. All of this happens automatically, and while there are still humans making some decisions, the brand has no merchandising team. Most of its buying and planning is entirely automated.
  2. Accelerated Neuro-Evolutionopen source code that maximizes the use of CPUs and GPUs in parallel. It runs deep neural networks on the GPU, the domains (e.g. video games or physics simulators) on the CPU, and executes multiple evaluations in parallel in a batch, allowing all available hardware to be utilized efficiently. […] [I]t also contains custom TensorFlow operations, which significantly improve training speed.
  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. MacOS Monitoring the Open Source Way — interesting read about how Dropbox security team monitor the employee laptops to catch malware, using osquery for snapshots, Santa for real-time process events, and OpenBSM/Audit for real-time syscall monitoring.
  5. The Great Theorem-Prover Showdown — he chose three imperative programs with variable assignment, and challenged theorem prover Twitter to formally prove the code’s correctness, with interesting results. My favourite sentence in the write-up is If the only result of this challenge is that Leftpad becomes the theorem prover’s “hello world”, I’ll be pretty happy.
  6. Note: The email edition of Four Short Links will be discontinued on Monday, April 30. New editions of Four Short Links will still be published every weekday at and through the Four Short Links feed. Please send questions about this change to
Post topics: Four Short Links