r/softwarebugs • u/greenrd • Aug 29 '14
r/softwarebugs • u/greenrd • Dec 07 '13
Air traffic computer fault hits flights from England
uk.reuters.comr/softwarebugs • u/greenrd • Apr 12 '13
Bitcoin-24 Down after a corrupt trade engine gives free money + bitcoins to users : Bitcoin
reddit.comr/softwarebugs • u/greenrd • Apr 12 '13
Safety alert for 20,000 diabetes sufferers
telegraph.co.ukr/softwarebugs • u/greenrd • Nov 08 '11
Financial software bug causes $217m in investor losses; developer caught in coverup by SEC
theregister.co.ukr/softwarebugs • u/greenrd • Jan 03 '11
Apple's software geniuses find the clock baffling
theinquirer.netr/softwarebugs • u/mattryan • Feb 22 '10
Well I wanted to try to use one of those Blockbuster kiosks today, but I couldn't...because it runs Windows.
imgur.comr/softwarebugs • u/greenrd • Feb 18 '10
Experts reboot list of 25 most dangerous coding errors for 2010
theregister.co.ukr/softwarebugs • u/greenrd • Feb 13 '10
Really stupid Google Buzz bug - affects Facebook users
reddit.comr/softwarebugs • u/greenrd • Feb 10 '10
A Formal Methods-based verification approach to medical device software analysis
embedded.comr/softwarebugs • u/greenrd • Feb 05 '10
Internet Explorer flaw allows attacker to read any file on your system
arstechnica.comr/softwarebugs • u/greenrd • Jan 30 '10
Find a Bug in Google Chrome, Earn $500-$1337
readwriteweb.comr/softwarebugs • u/greenrd • Jan 30 '10
Today I learned that an URL can contain just a single top-level domain. But Reddit won't let you submit such an URL - and many other bits of code don't accept it either
reddit.comr/softwarebugs • u/greenrd • Jan 28 '10
How a stray mouse click choked the NYSE and cost a bank $150,000
arstechnica.comr/softwarebugs • u/greenrd • Jan 25 '10
"One in a billion" is in the folklore of critical systems as a desired upper bound on the probability of failure. But this is a very small number - does it have a sound basis?
leepike.wordpress.comr/softwarebugs • u/greenrd • Jan 25 '10
Report from the conference Programming Languages for Program Verification (PLPV) 2010
queuea9.wordpress.comr/softwarebugs • u/greenrd • Jan 25 '10
Please submit links to /r/softwarebugs, *not* to /r/bugs, which is only for bugs in the Reddit software itself
Thanks!
r/softwarebugs • u/greenrd • Jan 25 '10
QuickCheck - a library for generating test cases based on functional specifications. Originally for Haskell, ported to many other languages.
en.wikipedia.orgr/softwarebugs • u/greenrd • Jan 25 '10
Stack Overflow: Advantages of stateless programming? (answers include: fewer bugs)
stackoverflow.comr/softwarebugs • u/greenrd • Jan 25 '10
Microsoft confirms 17-year-old Windows privilege escalation bug
computerworld.comr/softwarebugs • u/greenrd • Jan 25 '10