thinkmoore

6 ms·

1.
by thinkmoore 10mo 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.
2.
by thinkmoore 10mo ago
Recalls happen because they are required by regulators...
3.
by thinkmoore 1y ago
Also discussed here (but flagged, of course...): https://news.ycombinator.com/item?id=43691142
4.
by thinkmoore 1y 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).
5.
Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code(galois.com)
116 points by thinkmoore 1y ago|12 comments
6.
by thinkmoore 4y ago
Part 1: https://galois.com/blog/2022/08/cclyzer/
7.
A Visual Guide to Pointer Analysis with Cclyzer++: Part 2(galois.com)
1 points by thinkmoore 4y ago|1 comments
8.
by thinkmoore 4y 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.
9.
by thinkmoore 8y 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.
10.
by thinkmoore 9y 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... Furthe
11.
by thinkmoore 9y 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...
12.
by thinkmoore 9y ago
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: http://www.cs.cornell.edu/~chinawat/pape
13.
by thinkmoore 9y 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.
14.
by thinkmoore 9y 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 thing
15.
by thinkmoore 9y ago
Oh neat, do you have a list of those? /sarcasm...
16.
by thinkmoore 9y ago
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 language Shill (shill-lang.org) for example, you could prev
17.
by thinkmoore 10y ago
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 administration tasks and also functions as a modular
18.
by thinkmoore 10y ago
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...
19.
by thinkmoore 10y ago
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 untyped code. This allows programs to be soundly transitioned f
20.
by thinkmoore 10y ago
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 (because it would allow for his libertari
21.
by thinkmoore 10y ago
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 GDP a decade or so ago). People always whine about not runnin
22.
by thinkmoore 10y ago
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 version of Shill targeting Linux. If
23.
by thinkmoore 10y ago
"High risk, no-income." Really? Section 8 supports the working poor. You need to check your prejudices against reality.
24.
by thinkmoore 10y ago
How many prolog programmers does it take to change a lightbulb? No.
25.
by thinkmoore 10y ago
You might be interested in checking out Habitat from Chef, which uses many similar ideas: habitat.sh
26.
by thinkmoore 10y ago
I think the idea of releasing a vehicle safety system that you apparently have little enough faith in to call a "beta," and marketing said system under the name "Autopilot" and then acting surprised when people treat it
27.
by thinkmoore 10y ago
While I agree some of the early arguments are a bit weak, I liked the author's discussion of the parallels to medical research---I think it gets across why some (including myself) think its worth approaching this exciting new technolog
28.
by thinkmoore 10y ago
Does anyone else find the first chart in this post ominous? 2014-2015 is looking a lot like 1999-2000, and nothing seems to suggest things are that different this time around...
29.
by thinkmoore 10y ago
As part of my PhD research, I developed a shell scripting language (shill-lang.org, previously on hn: https://news.ycombinator.com/item?id=9328277 ) with features that provide safety belts against this sort of error. From sp
30.
by thinkmoore 11y ago
Okay, my last try. For Bayes' theorem, we need a theory of how the data is produced given the parameter of interest. Bill and Lorena's plans certainly influence what data I observe: in scenario two, I can never observe the data

More ›