thinkmoore

11 ms·

61.
by thinkmoore 12y ago
Thanks for the suggestion! I'll try and get something similar added to the admittedly minimal documentation on the website.
62.
by thinkmoore 12y ago
I'm not sure what flame wars you're referring to. We picked the name Shill because it sounds a lot like shell, but is a bit of an in-joke because it is built on Racket, which is a descendant of Scheme. All three have slightly nega
63.
by thinkmoore 12y ago
I'm one of the developers. Happy to answer questions.
64.
by thinkmoore 12y ago
Logic programming shines in any domain where unification is used heavily. An example is writing executable semantics or type inference/checking algorithms. Here's some code I hacked up as an example a few years ago that implements
65.
by thinkmoore 12y ago
I live in Somerville, MA, which does not have rent control. My rent has gone up by at least 10% every year for the past 4 years. This is not sustainable.
66.
Stuxnet patch incomplete(h30499.www3.hp.com)
2 points by thinkmoore 12y ago|0 comments
67.
by thinkmoore 12y ago
Still trying to wrap my head around the idea that 10 year old software is not "modern." That said, I have no opinion on this article.
68.
by thinkmoore 12y ago
You might be interested in the statistical technique called "bootstrapping": http://en.wikipedia.org/wiki/Bootstrapping_(statistics) The "A/A" method described is not a terribly robust way to e
69.
by thinkmoore 12y ago
We haven't developed far enough for a package store at this point, but this is one of the use cases we're hoping to explore as part of our capability-based shell scripting language: shill-lang.org.
70.
by thinkmoore 12y ago
While that may be true for an unrestricted language, it doesn't need to be true of the programs we design . There's no reason that an installer needs to be written in a completely unrestricted way. NPM could use a DSL which would
71.
by thinkmoore 12y ago
Apparently that might be the case. I mean the problem with multiple hypothesis testing is not exactly rocket science...
72.
by thinkmoore 12y ago
It's also not clear what has been "reinvented," unless of course you mean re-inventing things that have already been invented.
73.
by thinkmoore 12y ago
You keep using that word "classical." If by "classical" you mean frequentist, then sequential testing is the appropriate frequentist method to have been using all along. If by "classical," you mean "old an
74.
by thinkmoore 12y ago
What's so particularly embarrassing is that you clearly did not have any competent statisticians on board until now. This was not some big surprise that needed "a lot of resources to fix." This is something that should be obv
75.
by thinkmoore 12y ago
What window manager/etc is http://i.imgur.com/7Tu2i6W.png ?
76.
by thinkmoore 12y ago
Fundamentally, it's not an issue of syntax. The problem is that the way commodity systems are set up, the capabilities of a script or program come from the environment in which it is run. There is no way that a user can easily tell wha
77.
by thinkmoore 12y ago
Developer here, happy to answer any questions.
78.
Shill: A Secure Shell Scripting Language(shill-lang.org)
85 points by thinkmoore 12y ago|43 comments
79.
Build It Break It Fix It: A Secure Coding Contest(builditbreakit.org)
1 points by thinkmoore 12y ago|0 comments
80.
by thinkmoore 12y ago
Maybe companies should pay for good design instead of paying as little as possible for people to enter "competitions"? Good design takes time. Good designers should be compensated.
81.
by thinkmoore 12y ago
Or there is Racket's wonderful pattern matching library: http://docs.racket-lang.org/reference/match.html
82.
by thinkmoore 12y ago
Yes, I'll agree with that. Just warning about throwing the baby out with the bath water. Applying quantitative decision making tools is worthwhile, being picky about it can protect us from our emotions and preconceptions.
83.
by thinkmoore 12y ago
No, it doesn't. It means that there is a 1 in 20 chance that you would have seen results as good or better if your change had no effect (assuming a standard one-sided hypothesis test). Thus if the effect appears to be good, you should
84.
by thinkmoore 12y ago
Unless random high bias means your "edge" is exactly the opposite.
85.
by thinkmoore 12y ago
Statisticians have spent time thinking about the right way to deal with these sorts of problems for a long time: https://en.wikipedia.org/wiki/Sequential_analysis . Funnily enough, the page they reference for calculatin
86.
NSA Hacking Google and Yahoo(washingtonpost.com)
1 points by thinkmoore 13y ago|0 comments
87.
by thinkmoore 13y ago
From my personal experience, LLVM is tied a bit to closely to the C ABI, which makes it difficult to implement some FP features cleanly. One example is forgoing C's stack discipline to implement double-barreled continuations.
88.
by thinkmoore 13y ago
LLVM IR is not strongly-typed in the way TAL proposes. Plenty can still go wrong.
89.
by thinkmoore 13y ago
There has been significant work in the academic community about electronic voting schemes. For example, Civitas ( http://www.cs.cornell.edu/Projects/civitas/ ) is a voting system developed by researches at Cornell t