buttproblem

5 ms·

1.
by buttproblem 9y ago
I'm curious about how you use this during debugging, would you mind elaborating on what language(s) you're using the call-graph from? I'm wondering because I've been studying building automated program reasoning tools an
2.
by buttproblem 9y ago
Techniques like this can be used to make debugging better. There's a lot of work towards this direction but there are some difficulties making it's use widespread. Some interested related work is Delta Debugging. Here, an automate
3.
by buttproblem 10y ago
Overall, one way to look at formal methods is that the tools range from fully automated (e.g., abstract interpretation, model checking), to manual (e.g., interactive theorem proving). Along this same range, the complexity of properties whic
4.
by buttproblem 11y ago
I was just trying to get Nix working after needing a version of base (GHC) newer than what I had installed. The situation seems to have gotten a bit simpler with newer versions of the nix tools (this is of no fault of the author of this pos
5.
by buttproblem 11y ago
Thanks for the interesting history on set theory. However, if you read [1] or the first chapter of [2] in my reply you'll see that the strides to formalize mathematics started in 1935 so something does not add up. I did not intend to s
6.
by buttproblem 11y ago
At least since 1935 [1, 2] people have been trying to formalize all of mathematics with set theory. I always thought this was fairly interesting, similar to how the real numbers can be modeled in a language using dependent types like Coq. H
7.
by buttproblem 11y ago
I agree both in parsing via another program as well as parsing error messages in my brain (not sure which you were intending). Perhaps it is because compiler messages suck but my brain has been trained to quickly pick out the line numbers a
8.
by buttproblem 11y ago
I don't know node, but, conceptually, Arrows [1] map to the steam concept very well (as always in Haskell, they are more general). The sugar in Haskell to use them similar to do-notion is really a joy to use. I was exposed to them in t
9.
by buttproblem 11y ago
I'd be interested in this as well; all I could find on their site is that it is uses "patened techniques." Considering the first seperation logic paper was published in 2001 [1] and Coverity founded in 2002 [2], they probably
10.
by buttproblem 11y ago
testing seems to be somewhat of a niche field. Using manual unit testing and random testing gets good results and seems to be the standard. But, you certainly could not devote an entire semester course on them. Beyond that, more advanced pr
11.
by buttproblem 11y ago
Nathan Myhrvold in Modernist Cusine writes about a similar technique. Sous vide first, followed by a brief time in the oven, and finished on a smoker. This seems to be the reverse of the crutch. (The oven is used to prime the meat for smoki
12.
by buttproblem 11y ago
While I agree with you, it is better to focus on practical things other than pedantic names, you can really notice the difference more when you look at the foundation of Go's language level concurrency paradigm. Concurrency in Go is ba
13.
by buttproblem 12y ago
There's a lot of work going on in this field; if it were really scalable it would be awesome. The slides call it academic but it is (barely) moving into industry. One of the, often cited, commercial uses is in one of the products comin
14.
by buttproblem 12y ago
The author of this article and the food industry seem to know what the people want: > Ingredients that give the impression that they originated in a grandmother’s kitchen and have not been processed too harshly are of great appeal to con
15.
by buttproblem 12y ago
> LLVM doesn't have an intermediate representation comparable to Gimple: LLIR seems to be at the level of the registers rather than the nice abstract Gimple LLVM variables are sometimes called registers but they are machine independ
16.
by buttproblem 12y ago
While I am curious too about your question, Vapnik was previously working in industry at NEC Labs in New Jersey.
17.
by buttproblem 12y ago
One way of testing/verifying concurrent programs is to build a model of the program, and then see if the model satisfies certain properties. This is fairly tedious and does not scale very well. However, while it wont prove anything, it
18.
by buttproblem 13y ago
The most useful education I got on reading function pointers is the spiral rule: http://c-faq.com/decl/spiral.anderson.html (I accidentally deleted my reply)
19.
by buttproblem 13y ago
I wonder if someone could shed some light on this (from type composition straight and curly quotes): > Computer scientists and documentation writers, take note: straight quotes and backticks in software code should never be con
20.
by buttproblem 13y ago
I see how this is interesting but I can't get over how the author says, "When contrasting this with Eric's video", but "Eric's video" is a different program than the novice programmer. Maybe this is me bei
21.
by buttproblem 14y ago
> I think if users _have_ to have something different they will seriously consider OSX and Linux. One is more polished on better hardware for people who have money and want the best. The other is free for people who don't care. I use Li