Viewing profile — buttproblem

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 build…

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 …

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 provin…

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 …

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 1…

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 ca…

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 b…

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-no…

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] an…

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 e…

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 …

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 langu…

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…

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 …

> 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 some…

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 sca…

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 sci­en­tists and doc­u­men­ta­tion writ­ers, take note: straight quo…

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 program…

> 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 bes…