thinkmoore

Joined 13 years ago

Karma
292
Submissions
97
Member since
Jun 14
I'm a Principal Scientist at Galois. I study the intersection of Programming Languages and Security: how can we use language design and formal reasoning techniques to build secure software. My CV is online at http://thinkmoore.net.
View on Hacker News

Recent submissions

Comment · 11 months ago
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.
Comment · 1 year ago
Recalls happen because they are required by regulators...
Comment · 1 year ago
Comment · 1 year ago
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).
Comment · 4 years ago
Comment · 4 years ago
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.
Comment · 8 years ago
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.
Comment · 8 years ago
Who is "you"? From the terms of service:

"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.

Comment · 8 years ago
My understanding is that their terms of service say that they have no legal obligation to do so, regardless of where you have a bank account...
Comment · 9 years ago
Comment · 9 years ago
Database choice aside, I'm shocked that this wasn't noticed when designing the app... It's clearly not a design decision because they refer to it as an error later in the paragraph.
Comment · 9 years ago
Coming soon to an insurance broker near you: https://www.newsroom.co.nz/@health--science/2017/04/04/17972...

Of course, this article is about New Zealand, but I will not be surprised to see similar things in the States. Thankfully ACA provides protection for health insurance, but we're already seeing things like https://www.congress.gov/bill/115th-congress/house-bill/1313.

Comment · 9 years ago
Oh neat, do you have a list of those? /sarcasm...

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton