-
Recent
- Timestamp based reconciliation
- Murdoch strikes against copyrights
- Loose cables at CERN and Time synchronization is hard
- Manufacturing and devices
- Julia programming language and hadoop
- The UNIX file system as a recursive function
- Apple’s A5 chip made in Austin
- Richard Stallman speaks
- Dennis Ritchie
- Droning on about computer security
- The multics file system
- Fukushima Robot Blog
- Sinking in too many layers
- Computer architecture, power, and PHP
- VCs bailing on signed term sheets
Category Archives: software security
Marine One Blueprints via Pirates Bay
Goodness. The US blueprints for Marine1 show up in Iran. “What appears to be a defense contractor in Bethesda, Md., had a file-sharing program on one of their systems that also contained highly sensitive blueprints for Marine One,” Boback said. … Continue reading
Updated Dijkstra vs Perlis (really, DeMillo)
See below.
Dijkstra versus Perlis (updated)
Here’s Dijkstra He [Perlis] published a very obnoxious paper arguing against a mathematical approach to programming cite Here’s the paper by De Millo, Lipton and Perlis. It starts as follows: Many people have argued that computer programming should strive to … Continue reading