Viewing profile — daivd

Thanks for this one. Extremely well written.

I also use org-mode for my daily journal. Have been for about a year and I'm very happy with it. I used to use Evernote, but I like the idea of keeping it to myself with encrypted …

It is not a conventional quantum computer. You cannot use it to factor numbers. You use it to find approximate solutions to optimization problems.

I have never quite understood all these desktop emotions. I run Kubuntu, but almost never interact with any desktop features. What is it in your workflow that requires you to inter…

I whipped together something here, before I saw that someone else did it too: http://ideone.com/jyPOhs It is the most counter-intuitive statistic problem I know (worse than Monty H…

The wiki article is not valid, since it considers a subtly different problem than the one I do. If you read the comment at the top of the code, you will see that I changed the ques…

Actually you are still wrong. Try something easier, for example two dice. The probability to roll 1 1 is less than to roll 1 2, because 1 2 can be rolled either by first rolling a …

No, it does not exclude that possibility (print the final list of pairs if you want to check). The calculation is correct. The result is counter-intuitive to almost everyone, which…

One subset for each TLD would be nice. Or, if you can afford more CPU-power, per language, using a good open language detector.

I have a fundamental issue with bitcoins that I have not seen anyone address. Sooner or later a better bitcoin will be invented. One that can perform transactions faster, or is mor…

No, you are correct. The oil money is hardly spent at all. It is invested for future security.

I agree that syntax is more important than us "rational" programmers like to let on. The syntax will be similar to Python, but nothing fantastic. I think switching the usual meanin…

I plan to sneak in something similar with a capable type system and contracts for stuff that you can't express in the types. That way you could "one day" use a solver like Z3 and s…

Thanks for the list of related projects!

1. Yes, the linear typing for mutable data is inspired by Clean. 2. I look at Shen from time to time. It looks nice, but I have never gotten around to play with it.

I do like an expressive high-level encoding like that, but 1) I just needed a silly example to show what pipes are. In practice you would probably use higher-order library function…

If Internet comments were always this encouraging, the world would be a better place :).

Dammit.. I checked to see that Glow was not taken :). Almost every name, that is not an outright racial slur is already used. Still, Java and Javascript are completely different la…

Yep, it is influenced by CSP. It is implicit in the text, since the primary influences (Pipes, Go, etc) are directly influenced by CSP.

Visual programming used to leave me completely cold, but with the emergence of tablets and the promise not to make _everything_ visual, I hope to convince people otherwise. If you …

It is not quite that simple. The government will have to say yes, since this is a big infrastructure project that wants land next to existing highways. I don't know much about poli…