The political appointees pushing this new policy have not presented any evidence of these deaths beyond a vague assertion in a leaked internal email. They have not provided that evidence to career staffers either.
And that is precisely why not-yet-finalized health-related leaks should not be shared publicly by mainstream media, given that the reaction here seems shaped far more by political allegiance than by the facts themselves.
Yes, that's a good way to think of it---we need to come up with a valid / reasonable context in which to explore the function at all, which will subsequently let us look for other bugs (like the divide by zero in the blog post).
Developer here: "not actively developed" might be a little strong---we currently don't have resources dedicated to quickly responding to issues, but we're not planning on abandoning it.
Various components of the SGX system (launch approval, remote attestation quote signing, etc) are implemented as Intel provided enclaves. AESM manages those enclaves and provides an untrusted API to communicate with them.
"Absent a reasonable legal justification not to redeem Tether Tokens, and provided that you are a fully verified customer of Tether, your Tether Tokens are freely redeemable...
Furthermore, residents of certain U.S. states are not permitted to be customers of Tether; are not permitted to cause Tethers to be issued or redeemed; and, are not permitted to hold Tether Tokens. Beginning on January 1, 2018, Tether Tokens will no longer be issued to U.S. Persons."
So if you hold Tether Tokens but are not a "customer", you have no claim to be paid. I suppose Tether customers (whoever they may be) might be willing to pay you dollars for your coins, but there's no reason for them to give you 1:1, for sure.
This is only true if there really is a USD for every USDT out there in the market. If it turns out to be a fake, the whole thing comes crashing down and becomes unpegged as soon as growth stops, i.e. as soon as we run out of "greater fools" to keep supplying sufficient inflow of USD for everyone that's trying to cash out.
Actually, it looks like sometime in the past few weeks Tether changed their terms to say they do let you redeem your USDT:
"About Tether Tokens; General Restrictions: Tether issues and redeems Tether Tokens. Tether Tokens may be used, kept, or exchanged online wherever parties are willing to accept Tether Tokens. Tether Tokens are fully backed by the currency or property used to purchase them at issuance. Tether Tokens are denominated in a range of currencies. For example, if you purchase EURT, your Tethers are fully backed by Euros. If you cause to be issued EURT 100.00, Tether holds €100.00 to back those Tether Tokens. The range of currencies available to denominate Tether Tokens is within the sole control and at the sole and absolute discretion of Tether. Tether Tokens are backed by money, but they are not money themselves. Tether will not issue Tether Tokens for consideration that is other Digital Tokens (for example, bitcoin), and will not redeem Tether Tokens for other Digital Tokens; only money will be accepted upon issuance, and only money will be provided upon redemption.In order to cause Tether Tokens to be issued or redeemed by Tether, you must be a verified customer of Tether. No exceptions will be made to this provision. "
(all typos and spacing are theirs. This change looks very hastily put together and quite sketchy)
The catch is now "you must be a verified customer", and registration is conveniently closed for the time being. Users who got in before registration closed report it taking months to get verified. Also, no US citizens allowed.
They're doing their best to put up a good face here but good luck actually getting them to hand over cash. The thing is blatantly scammy, they obviously don't have $2.3 billion in cash reserves on hand and never did.
There is some very cool language design work from Chinawat Isradisaikul and Andrew C. Myers at Cornell on adding very powerful matching constructs to a Java-like language.
