People who are really serious about software should make their own hardware.
只要继续这种幻觉是有利可图的,自由的幻觉就会继续。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."