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…
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,…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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.…
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 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…
> 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…
While I am curious too about your question, Vapnik was previously working in industry at NEC Labs in New Jersey.
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…
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)
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…
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 being too…
> 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…
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…
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,…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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.…
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 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…
> 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…
While I am curious too about your question, Vapnik was previously working in industry at NEC Labs in New Jersey.
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…
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)
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…
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 being too…
> 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…