Software will always have bugs
Perhaps DEK would be interested in working on inetd, and a web server. A kernel. Heck, the works…
Marcus Ranum couldn’t get inetd right in 60 lines
Perhaps formal methods will work some day
- Must produce widely-useful morsels of software
- Start with the likes of ASN.1 and openssl…