apw

9 ms·

31.
by apw 13y ago
Here is the reference the authors cite: [4] [4] Bitter to Better — How to Make Bitcoin a Better Currency http://crypto.stanford.edu/~xb/fc12/bitcoin.pdf
32.
by apw 13y ago
Fascinating. Thank you for pointing this out.
33.
by apw 13y ago
Interesting. I did as you suggested, but still think it is a positive review. Might you offer a hint as to what you meant?
34.
by apw 13y ago
I wonder if you are aware of the horror that your sentence, "Society needs creatives, but just a few", invokes in some people?
35.
by apw 13y ago
Your idea is good, and many modern compression systems, like the PAQ system, exploit it [1]. [1] https://en.wikipedia.org/wiki/PAQ#Text_preprocessing
36.
by apw 13y ago
It would be better to say that this is a visualization of how a certain kind of dictionary compression works. The outer limits of data compression lie in using predictive models plus arithmetic coders. A visualization of how they work mi
37.
by apw 13y ago
I am sympathetic to your view, but may I offer you a different viewpoint, at my own expense? Truly original ideas are fragile and delicate. They require careful nurturing and devoted protection if they are to eventually flower. It may be t
38.
by apw 13y ago
Do you have a source for this claim that 12 million coins are being hoarded?
39.
by apw 13y ago
I think the real "killer app" for this would be github. There have been many times that I've come across a particularly useful piece of code on github for which I would have loved a frictionless way to tip the author. This w
40.
by apw 13y ago
If your program is expected to operate in a pipeline, as most UNIX programs are, shouldn't you always check for printf returning an error? For example: yourprogram | head -100
41.
by apw 13y ago
Would you call the Linux kernel a large project?
42.
by apw 13y ago
Its worth mentioning that a UNIX pipeline is highly parallel and naturally exploits multiple cores, while Python is in my experience does not.
43.
by apw 13y ago
Is STP considered a qualitatively different kind of tool than Yices and Z3?
44.
by apw 13y ago
It might be worth your time to look at the course slides for "Gems of Theoretical Computer Science": http://www.ccs.neu.edu/home/viola/classes/gems-08/
45.
A sufficiently advanced compiler is indistinguishable from an adversary.(blog.regehr.org)
6 points by apw 13y ago|0 comments
46.
by apw 13y ago
Thanks for posting this. For reference, paste is a standard UNIX utility, whose purpose is to do all sorts of useful things not limited to 2-tuples: $ seq 1 9 | paste - - - 1 2 3 4 5 6 7 8 9
47.
by apw 13y ago
You might want to read about fully homomorphic encryption, the PCP theorem and many other mind-blowing results to have come out of computational complexity theory community in the past 15 years. These results use powerful mathematical tool
48.
by apw 13y ago
Bostrom's argument is a bit more sophisticated than the brain in a vat argument. Bostrom uses simple assumptions and basic probability to "prove" that it is overwhelmingly likely that you live in a simulation.
49.
by apw 13y ago
Do you have a reference for "it's logically impossible to prove a negative"?
50.
by apw 13y ago
Do you have any data to back up your "0 chance" claim? Presumably you are aware of the Iraq and Afghan insurgencies.
51.
by apw 13y ago
It's worth mentioning that the US dollar is also a "hot potato".
52.
by apw 13y ago
Great explanation. Thank you!
53.
by apw 13y ago
Until we look at the coin flip results for a coin known a priori to have only two possible biases a and b, where neither a nor b equal 0 or 1, there are two possible "worlds" with the following probabilities: 0.5 (a) 0.5 (b) Bu
54.
by apw 13y ago
Do you really mean that "removing impossibility and renormalizing" is equivalent to Bayes Rule? For example, imagine that we know a priori that a coin has only two possible biases, both of which are neither 0 nor 1. When I use Bayes Ru
55.
by apw 13y ago
I'm not sure of the etymology, but "forte" also refers to the strong part of a sword blade (in contrast to the foible).
56.
by apw 13y ago
That's not quite true is it? A distributed cryptographically-guaranteed ledger has fundamental value, no?
57.
by apw 14y ago
The cited Weinberger article says: Different from random projections, the hashing-trick preserves sparsity and introduces no additional overhead to store projection matrices.
58.
by apw 14y ago
One thing make allows you to do is incremental runs. For example, if the first step in your shell script costs 1/2 hour, you really don't want to run the shell script over and over again when you are debugging the next step. Yes, you can
59.
by apw 14y ago
In mathematics and logic, showing that a proposed proof is invalid does not require that you produce a valid proof. In science, falsifying a theory does not require that you replace it with a better theory.
60.
by apw 14y ago
Thank you. I subscribed. The usual practice seems to be to put a link to the rss feed (the one you just gave) somewhere on the archive page or at the top of each post page. Thanks again.

More ›