Darmani

21 ms·

211.
by Darmani 14y ago
Another famous theorem which is being formalized with a proof assistant is the Kepler Conjecture. It's less than half the size of the ABC Conjecture, with 250 pages of much more elementary mathematics, but the leader estimates it will take
212.
by Darmani 14y ago
They're both a part of "Software Configuration Management," which is a part of Software Engineering.
213.
by Darmani 14y ago
Those are all actually the same proof. The proofs that the analysis provides about the program are essentially the soundness proof of the analysis combined with its output. So if I prove that the signs that values of a variable can hold wil
214.
by Darmani 14y ago
It's useful to make a distinction between the "sound" static analyses Matt Might posted about and heuristic-based, or "pragmatic" analyses. Cousot's Analysis of Signs is sound. It can fail by returning {-,0,+}. However, when it succeeds, it
215.
by Darmani 14y ago
Entering a new field is a fun experience. You start off by thinking "Wow, why has no-one done this before?" Sometimes, you've hit a new idea, and become a pioneer. Sometimes, you find a few similar attempts, but are still in unexplored ter
216.
by Darmani 14y ago
Your tool looks pretty cool and useful, but it seems quite a bit different than tools like Coverity and Astree which reason about the behavior of programs under all possible inputs. Coverity can detect race conditions. Your tool looks like
217.
by Darmani 14y ago
The closest thing I'm aware of is a tool by the University of Tartu which does this for Java, described in the paper "An Interactive Tool for Analyzing Embedded SQL Quries." It can find the SQL errors (misspelled "name" and missing space be
218.
by Darmani 14y ago
This is a brilliant move by Yegge. Now if you call him wrong, you're just like the guy who attacks Aunt Marge's politics at the family dinner. Unfortunately, your business is not Aunt Marge. You need to be able to make the tough calls and s
219.
by Darmani 14y ago
Halstead complexity? Cyclomatic complexity? Those are just a couple of famous, old-school ones. Software metrics is a major research area, and dates back to the 60s. The paper "Software Metrics: A Roadmap" has a good summary of the state-of
220.
by Darmani 14y ago
That's a good intuition, but I think the author avoided that for some important foundational reasons. There are two main ways of developing probability theory. The first way is to use measure theory. This means that probability is literally
221.
Teenager Developing Algae-Based Device That Cuts Car Emissions by 90%(indiegogo.com)
2 points by Darmani 14y ago|0 comments
222.
by Darmani 14y ago
While it is well known that uninformed random test generation often does a poor job at probing the parameter space, this has nothing to do with the CLT. Even his first example with the bounded queue, one where the CLT does make predictions,
223.
by Darmani 14y ago
Definitely. But a major trend in art music relatively recently has been the mix of foreign and other forms with Western styles (and certainly true of the music I'm familiar with). I could hardly call Karl Jenkins or Tan Dun musical descenda
224.
by Darmani 14y ago
Oh, it's definitely true that many composers reacted and "innovated" away from harmony, and that rock was developed around the same time. But there was a great proliferation in styles in the beginning of the 20th century. During that same p
225.
by Darmani 14y ago
A simpler explanation is simply the changing market and distribution. It was really only in the last two hundred years that composers could support themselves by selling their music rather than relying on patronage, with Beethoven being the
226.
by Darmani 14y ago
It's actually quite simple: A surface has no holes if its Euler Characteristic is 2. Since 3D objects are already expressed in a triangulated form, this is quite easy to check.
227.
by Darmani 14y ago
Back when I was developing web apps, I was surprised to hear that programming was supposed to require any math. But I've found that, as I've built more interesting and sophisticated things, I needed more math. I took about 15 math courses i
228.
by Darmani 14y ago
My favorite subreddits are http://www.reddit.com/r/reverseengineering and http://www.reddit.com/r/types .
229.
by Darmani 14y ago
You asked for an analysis of why semicolons are good, and you got it.
230.
by Darmani 14y ago
The reason for using semicolons in JS is quite simple: It makes it easy to determine the boundaries between statements, both for humans and machines. With semicolons, the search for the boundary between statements reduces to the search for
231.
by Darmani 14y ago
The opinion of an intellectual is indeed stronger Bayesian evidence than that of a layperson. But if they have an opinion, they should provide an argument to back it up, and that argument is far more important. My first comment hit the adv
232.
by Darmani 14y ago
Intellectualism is not about showing off how much you agree with authorities. Intellectualism is about thinking and understanding, eventually until you become one. When discussing coding style, you can quote experts. Or you can understand t
233.
by Darmani 14y ago
You can think about the effect of coding style instead of letting the experts think for you. If you are doing a Topcoder round, then the random Topcoder user's advice is probably better than Carmack's. Carmack or Torvalds would probably tel
234.
by Darmani 15y ago
There are two kinds of programmers at Facebook: The ones who curse PHP every work day, and the ones who don't use it. "This language really sucks." -- paraphrased, intro to PHP on Facebook's internal Wiki
235.
by Darmani 15y ago
In a statically-typed language, I couldn't have used a Boolean as the condition of an if-statement.
236.
by Darmani 15y ago
I spent much of a week debugging an issue in a Clojure multiplayer game where the same action was being handled differently on different machines. Somehow, the "true" branch of an if-statement was being taken even though the condition was "
237.
by Darmani 15y ago
All information about software is contained in the software itself. Looking through an executable can be like reading a historical document. Programmer's quirks, late-night hacks, and beautiful insights all become visible. Eventually, the o
238.
by Darmani 15y ago
There's a bit more going on here. Some companies give "honesty-integrity assessments" to predict whether candidates may steal from the company, sexually harass employees, etc. How do they predict whether someone would do that? They simply a
239.
See static analysis tools in your browser(rise4fun.com)
3 points by Darmani 15y ago|0 comments
240.
by Darmani 15y ago
Programming language research is a very large and deep field, though a lot of industrial languages are fairly divorced from it. All of these languages have a strong theoretical foundation. This pays off well. One common statement from ML pr

More ›