Thread
Stories related to "Google I/O 2014 talk: Building Sourcegraph, a large-scale code search engine in Go" across the full archive.
"Software Defined Network Function Virtualization at Scale"
Isn't That Code Dead? [AKA the tombstones talk] | David Schnepper @ Velocity Ignite 2014 [5 min]
(youtube.com)
It’s a short talk about an even shorter idea, but I find it entertainingly and engagingly presented, and the idea is so refreshingly *simple* – and the problem it solves, so important. It’s one of my favourite talks out of at least the last couple of years.
This still works.
Interesting discussion/lobbying/pawn placement in 2009 by Google about cyber security.
High-Availability at Massive Scale: Building Google's Data Infrastructure for Ads
(static.googleusercontent.com)
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4 (2016)
(esug.org)
Abstract: "It is possible to make Integrated Development Environments supporting formal methods that can be as flexible as the support for dynamic programming languages. This paper contributes with a demonstration employing different support environments for the Vienna Development Method Specificati...