Viewing profile — thinkmoore

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 ev…

Recalls happen because they are required by regulators...

Also discussed here (but flagged, of course...): https://news.ycombinator.com/item?id=43691142

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 …

Part 1: https://galois.com/blog/2022/08/cclyzer/

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 abandonin…

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 a…

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 T…

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

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. Paper: h…

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…

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 surpris…

Oh neat, do you have a list of those? /sarcasm...

I think the alternative being suggested is that rm shouldn't accept a string that magically can reference anything in the filesystem... In our capability-based shell scripting lang…

I (with some colleagues) developed a capability-based shell scripting language ( http://shill-lang.org ) that makes it easier to apply the Principle of Least Privilege to system ad…

There is some great existing work in the academic community on better models for web interactions: https://cs.brown.edu/~sk/Publications/Papers/Published/mk-in...

In a Typed Racket program that does not import any untyped racket code, there is no runtime enforcement. Runtime contracts are only introduced at the boundary between typed and unt…

Well, for one, that he chose to say "will be taken away" when responding to this criticism, instead of "should be taken away," implying that he thinks they ought to be taken away (…

Uh, we are paying it back? Why would any sensible household or business pass on ~1% APR loans to fund investment? Our interest payments are less than 1.5% of GDP (down from 3% of G…

This is among the many use cases we're hoping to solve with our secure shell scripting language Shill ( http://shill.seas.harvard.edu/ ). We're currently working on a commercial ve…