USA is full of weapon of mass destruction. You may agree or not that policy but the sheer fact that is true means that most contries go for
- Ignore it and hope they don't destabilize the region / world.
Thankfully, that isn't how the world actually works. People are able to understand that any country, including the US, is composed of people who work on different things with different views, and that there are things US entities still say and do that can be valuable and trusted.
> there are things US entities still say and do that can be valuable and trusted
Yeah, sure.
For some reason, the US enjoys some special privileges when it comes to the international politics.
How long has the Russiahoax been going, five years? For five years, every single media outlet in the US attacks attacks my country and blames it of all sorts of criminal activity, while not a single piece or evidence has been presented.
And for some reason, most of the Americans that I've talked to don't see any problem with that and won't call their government russophobic, so much for your "different views."
Why should anybody believe anything said by an American anymore?
The easy answer: "most of the Americans that I've talked to" vs. "anything said by an American"
I'll expand: In the country I live in, a country often touted as very highly developed, there are still a lot of people that have weirdly (uninformed) nationalistic views about certain topics probably due to some oddities of history. This is the case in every single country I've traveled to or lived in. No one is advocating for designing global policy on Russia based on the views of the average American. That has little to do with trusting Americans (or Britons, or any other nationality of a place with a violent history) on other specific issues.
I work at Bloomberg in derivatives. C++ is our backbone but there is definitely a lot of OCaml in production. To tell it all we have BLAN, an OCaml-ish language that you (as our customer) can use to structure (exotic) derivative contracts and get them priced in DLIB.
Smart contract languages look still in infancy as practical applications are audit trails with stronger guarantees and lower operating costs.
What you are thinking of sounds like a far more advanced deal management system.
Besides, is it even possible to invent a way to trade risk in such a way that if one party hold unbounded exposure before the trade then after the trade both parties have bounded exposure? does it even make sense to have unbounded risks in system that is inescapably formal and will hold a bounded amount of money at each time? One could argue that risks that look unbounded are usually (as in without a ledger) handled less formally (ie: state bailout, https://www.forbes.com/sites/jamesconca/2016/03/10/after-fiv...)
(Disclaimer: I work for Bloomberg on DLIB BLAN that is a contract language for structuring, pricing and managing exotic derivatives, no block-chains involved)
No gil. Draw your own neural network, pipeline or graphical model in an idiomatic way. If you can display profiling data on top of the code visualization you can go faster toward optimizing the most time consuming parts of your code. For a data scientist all this is gold.
During an interview they told me back in the days the state of the art was delivery boys running between wall street and banks and other firms with (often unlabeled) paper notes... and that was as "real time" as you could get