Re:Some notes on Rust, mutable aliasing and formal verification
by pas on Friday May 17, 2024 @05:05AM
(#40387869)
Revealed preference of business is to move fast and break things. ("Any idiot can build a bridge, it takes a professional (an engineer!) to build one that barely stands.")
I grieve with you but it seems the way out of this is through some kind of magic potion cooked of the usual forbidden ingredients of: free and open source, being your own boss, idealism, etc.
Your janky code guy may beat me in the first month but after that I'm quite likely going to pass him and never look back.