miniblog.

← Back to all posts
Dec 30, 2014 at 00:48
A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World http://t.co/0vNg2S1A1k

Related Posts

Nov 30, 2018 at 20:34
The existence of a null value isn't a billion dollar mistake. The issue is when static type systems allow null anywhere. Even some dynamic languages don't have a null value. For example, some lisps only have the empty list, which they use as a null-like value by convention.
Jun 8, 2018 at 21:01
"GitHub makes it easier for large, loosely coordinated groups of programmers—in corporations, for instance—to use git. It has a well-designed web interface. If you don’t think that’s worth $7.5 billion, you’ve never read the git manual."
GitHub Is Microsoft’s $7.5 Billion Undo Button
GitHub Is Microsoft’s $7.5 Billion Undo Button
Steve Ballmer spent years hating on open source software. Satya Nadella recognized that the service has become indispensable to programmers.
Feb 14, 2016 at 13:14
There are Only Four Billion Floats–So Test Them All! https://randomascii.wordpress.com/2014/01/27/theres-only-four-billion-floatsso-test-them-all/ (exhaustive testing can prove absence of bugs!)
There are Only Four Billion Floats–So Test Them All!
There are Only Four Billion Floats–So Test Them All!
A few months ago I saw a blog post touting fancy new SSE3 functions for implementing vector floor, ceil, and round functions. There was the inevitable proud proclaiming of impressive performance an…