I would love to see a comparison between scp and wcp over NFS, more specifically large single file sizes, if folks are looking to discern more performance parameters.
Yes, unfortunately current manufacturing practices forced them to switch over to Chinese clones of the Cherry MX. I'm writing this on their late 90's Cherry MX Blue based keyboard (which I'm lucky to still use) which were switched over to the cheaper Chinese switches in the last decade.
That's what seperates them both, it's not about immediate formal checking from a compiler here, but rather if our proof is being justified adequately according with the rules of deduction and reasoning, it's a more intuitive approach in math, although you do end up knowing whether something is right or wrong, akin to programs.
Whoa at the work hours, if you don't mind me asking, just curious to know what kind of work entails such long hours? Also I'm assuming it paid equally well for the time devoted to it, frankly the hours itself is a big turn off regardless of the quality of work.
wcp is good stuff!