Villages: building social networks that are smaller, but have explicit shared values:
miniblog.
Related Posts
An optimistic take on neural networks for programming: https://medium.com/@karpathy/software-2-0-a64152b37c35
It makes some good points about predictable runtime performance, ability to trade CPU for accuracy, and the ease of hardware acceleration.
Invited talk: Safety Verification for Deep Neural Networks: https://popl20.sigplan.org/details/VMCAI-2020-papers/22/Safety-and-Robustness-for-Deep-Learning-with-Provable-Guarantees
How do we verify that a DNN is robust to adversarial attacks? How do we quantify safety? This approach looks at image features (Sift) and verifies all perturbations within a region.
Old meets new: van eck phreaking with neural networks! https://leveldown.de/blog/tensorflow-sidechannel-analysis/