daivd

5 ms·

1.
Using Pytorch and Pyro to Prove Poland Was Robbed at the 2018 Chess Olympiad(tenfifty.io)
3 points by daivd 8y ago|0 comments
2.
by daivd 9y ago
Thanks for this one. Extremely well written.
3.
by daivd 10y ago
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 backups better.
4.
Awesome-aleph-0: A curated list of recursively self-referring curated lists(github.com)
2 points by daivd 11y ago|0 comments
5.
by daivd 11y ago
It is not a conventional quantum computer. You cannot use it to factor numbers. You use it to find approximate solutions to optimization problems.
6.
by daivd 12y ago
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 interact with Gnome/Unity? (just curious)
7.
by daivd 13y ago
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 Hall), it trips everyone up at first. No pro
8.
by daivd 13y ago
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 question to be less ambiguous. In the problem I pose, the person
9.
by daivd 13y ago
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 1 or a 2, while 1 1 can be rolled only by first rolling a 1.
10.
by daivd 13y ago
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 is why I made the program, so you can convince yourself.
11.
Online executable Python solution to the Tuesday boy problem(ideone.com)
2 points by daivd 13y ago|10 comments
12.
by daivd 13y ago
One subset for each TLD would be nice. Or, if you can afford more CPU-power, per language, using a good open language detector.
13.
by daivd 13y ago
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 more anonymous or where mining for the coin helps some nice pro
14.
by daivd 13y ago
No, you are correct. The oil money is hardly spent at all. It is invested for future security.
15.
by daivd 13y ago
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 meaning of = and == will be confusing. O'Caml uses
16.
by daivd 13y ago
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 start proving or disproving some of the tracta
17.
by daivd 13y ago
Thanks for the list of related projects!
18.
by daivd 13y ago
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.
19.
by daivd 13y ago
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 functions (or components) like group for the same thing. 2) In my ex
20.
by daivd 13y ago
If Internet comments were always this encouraging, the world would be a better place :).
21.
by daivd 13y ago
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 languages and that has never lead to much confusion..
22.
by daivd 13y ago
Yep, it is influenced by CSP. It is implicit in the text, since the primary influences (Pipes, Go, etc) are directly influenced by CSP.
23.
by daivd 13y ago
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 have not seen Bret Victor's brilliant "Future of p
24.
Big Programming, Small Programming – Glow, the language(fendrich.se)
126 points by daivd 13y ago|62 comments
25.
by daivd 13y ago
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 politics, but I do know that, sadly, the net gain for the c
26.
by daivd 13y ago
AFAIK you don't pay a Windows tax on most laptops. All the adware, crapware, trial software and whatnot that are pre-installed pay for the Windows license. This is why the few Linux laptops that do exist are not really cheaper.
27.
by daivd 13y ago
It has turned out to be quite hard to implement higher-level cognitive phenomena directly, so they decrease level until they find one they can implement and then try to get emergent properties from there.
28.
by daivd 13y ago
He is physically large. Very large.
29.
by daivd 13y ago
I have yet to find a single one that is anywhere close to Google Reader :(
30.
by daivd 13y ago
If they "stop associating with you" on account of a pair of glasses, perhaps they were not your friends..

More ›