miniblog.

← Back to all posts
May 7, 2018 at 15:52
Villages: building social networks that are smaller, but have explicit shared values:
Welcome Back to the Village
Founded in 2009, Strava meets every definition of a social network. A loosely connected group of athletes: bikers, runners, swimmer, and more. Strava allows us to record our activities and, if we choose, compare those results with others. You can follow friends or strangers. You can compare your at

Related Posts

Jul 14, 2020 at 05:34
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.
Jan 20, 2020 at 14:33
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.
Safety and Robustness for Deep Learning with Provable Guarantees (VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation) - POPL 2020
Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series. Proceedings https://link.springer.com/book/10.1007/978-3-030-39322-9 Invited Speakers We are pleased to announce the the invited speakers for VMCAI 2020 are: Rajeev ...
Sep 13, 2019 at 17:57
Old meets new: van eck phreaking with neural networks! https://leveldown.de/blog/tensorflow-sidechannel-analysis/