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.

wcp is good stuff!

I would expect pretty much any plain copying program over NFS to beat scp, since scp has the overhead of encryption. On a slow disk with a fast CPU it might roughly match though.

Check out the Extended Kalman filter for non-linear systems.

Maybe better to check unscented Kalman filter instead, because the extended one is a mathematical horror.

The EKF works by linearizing the process, and suffers on even moderately nonlinear models as a result. It also suffers from the Gaussian assumption. So people switched to unscented (tries to model the underlying probability better) and particle filters (same idea), each giving better accuracy for most all problems. Now plenty of problems are switching to full Bayesian models as the ultimate in accuracy.

So if you like KF, EKF, UKF, be sure to look into this entire chain of accuracy vs computation tradeoff algorithms.

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.

Slightly unrelated, but as a fan and user of Edge, I really miss their old 'Save tabs for later' feature.

That's the most ridiculous comment I've seen on HN.

Thanks, maybe I'll make a post of this instead of posing it as a question, that might create a discussion.

Oops, looks like that has already been done heh.

Aslo ends up being ironically, kinda of the scapegoat for no fault of hers, other than the fact that she was the mastermind of the whole operation?

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.

How are these things actually measured or scaled?

Likely its all relative to your co-workers and your managers experience with the employees who have come before you.

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.

A lot of tech startups and game dev companies work at this pace. People really need their jobs, or are sure they will be millionaires. Long ago I worked at a game company where one of the perks was free burritos at midnight.