R

rocket-surgery

A discussion of next generation technologies, especially with regard to software and formal methods.