nateabele
Joined 15 years ago
Joined 15 years ago
I can happily pick up the torch on everything except the PCB design.
All it would take is for one of them to require senior leadership to take a certain number of flights (per year, let's say) on each new model of aircraft they ship. This would be solved immediately.
¯\_(ツ)_/¯
[0] https://www.fdareview.org/issues/theory-evidence-and-example...
And this improved technology was an inevitable, foregone conclusion?
People make arguments like this as if it was some passive thing, as opposed to thousands if not millions of conscious decisions to improve turbines, airframes, and myriad other technologies, then actually implement them in real aircraft, then acquire and deploy a commercial fleet.
People made these decisions because they were incentivized to trade time and money today for material improvements tomorrow. Why do you think that might have been?
Hint: think about industries where there isn't much competition. Do we see similar improvements there, usually?
What's more, though, is that a good type system will help you 'Make Impossible States Impossible'[0]—even more behavior you don't have to test because bad behavior is simply not representable in your program.
Tests are strictly more powerful in the small, because they can be arbitrarily complex, but I would say a (really good) type system is more powerful in the large, because you get way more leverage in terms of overall program correctness.
A lot of my personal projects are in Elm (yeah, yeah, bring on the hate)—the models are really well-defined, but the test suites usually only have a handful of tests of behavior I really want to verify. Haven't even played with the property checker yet, but again, that's something that is strictly more powerful than unit tests, but you can only get it* if you have a type system.
[0] https://www.youtube.com/watch?v=IcgmSRJHu_8
* Okay that's not really true: see clojure.spec in Clojure—but there are so few counterexamples that it's true for most practical purposes
Whatever part you played in that, well done, and thank you.
I got to speak with him briefly afterwards, and to say that he had a chip on his shoulder would be putting it too strongly, but there was definitely some kind of an 'edge' there.
I spent 5 years in fintech and touched over a dozen financial institutions. You're not thinking creatively enough. Plus everyone has to do KYC/AML, including two-bit money transmitter startups.
> And compliance issues by HSBC et al is a direct result of a lack of proper AML/KYC systems and processes.
Hah, okay. Even if that were true, just keep walking down the menu: JPM knew Jeffrey Epstein was their customer, too.
1) That AML creates a massive honeypot of data for hackers, housed at institutions which historically have structural challenges with technology investment
2) The real, material downsides felt by non-criminals, as expressed by many others in this thread
3) That the sum total financial activity of criminals who would benefit from the lack of AML is likely a rounding error compared to money laundering carried out by banks like HSBC
4) The philosophical position that governments are entitled to dragnet surveil law-abiding citizens in order to combat crime
Twitter: @{username}
Email: {username}@gmail
[ my public key: https://keybase.io/nateabele; my proof: https://keybase.io/nateabele/sigs/tffmWJKPOzE_9N5C74rXo42NaKXoMsogz1xMZFIkIMk ]