jbapple

24 ms·

151.
Centiman: Elastic, High Performance Optimistic Concurrency Control by Watermarks [pdf](http)
1 points by jbapple 11y ago|0 comments
152.
by jbapple 11y ago
IANAL, but near as I can tell, it's still up in the air if (in the US) students have a constitutional right to be free of official retribution for off-campus speech. There is some evidence that if the speech is truly off-campus and if
153.
by jbapple 11y ago
> Unless your claim is that sneezing is classified as a "violent crime", the paper appears to refute this point. A number of people in the US have been arrested for assault for farting on a police officer. At least one was arr
154.
by jbapple 11y ago
> For me this part is totally wrong The article discusses scientific findings. Your anecdotal experience does not change those findings.
155.
by jbapple 11y ago
> his opinion is that life starts when sperm and egg meet. There is some evidence that a large percentage (30-75%) of all fertilized eggs do not implant. If every one of those was a human life, your friend might consider this an extreme
156.
by jbapple 11y ago
The owners who are "fundamentally decent" are the ones abusing the workers? Of the three ways that GetScale "impacts worker treatment", the first doesn't mention workers at all, the second only improves record quali
157.
by jbapple 11y ago
The article notes that: > All information is permanently archived on GetScale’s servers, which saves workers from being held responsible for mix-ups that aren’t their fault. This is presumably meant as a way to try and fix the issue refe
158.
by jbapple 11y ago
> It's not that complicated. I find it fairly complicated. Are you a lawyer? I am not. Immediately after the portion of the EEOC page you quote, there appears the text: "Although a plaintiff may prove a claim of discrimination
159.
by jbapple 11y ago
> This company's operation is probably illegal (see parent post where i listed examples of how they discriminate) Are you a lawyer? Discrimination law in the US is very complex. If you're not a lwayer, and you're really in
160.
by jbapple 11y ago
This is 403 Forbidden at the moment, but if it's a way to run Coq in a browser, ProofWeb is also of interest: http://prover.cs.ru.nl/login.php
161.
by jbapple 11y ago
>That's effectively what Japan is doing, by having its central bank loan money at 0.1%. Does that make it more conceivable that Japan will eventually pay down its debt?
162.
by jbapple 11y ago
If Japan owes debt in its own currency, can it just print money to pay off the debt? If Greece can't devalue its currency this way, is its situation materially different by even just this fact alone?
163.
by jbapple 11y ago
> two almost-equal files. In that case the average running time should be way lower, no? Yes, indeed! What you're thinking of is "output-sensitive" algorithms. There are some output-sensitive algorithms for edit distance.
164.
by jbapple 11y ago
The authors of the paper note (though this MIT News summary omits) that there is a well-known algorithm for edit distance that runs is subquadratic time. In fact, it runs in O(n^2/log^2 n) on a word RAM. It uses a method sometimes call
165.
by jbapple 11y ago
This is part one of a three part series. Part 2 is here: http://blog.ellenchisa.com/2013/12/23/challenges-with-a-stac... Part 3 is here: http://blog.ellenchisa.com/2014/01/21/ef
166.
by jbapple 11y ago
> We do this for wealth in general: the mechanism is called inheritance. Of course, the author does not want to make this argument directly, because doing so would actually make the counterarguments more obvious, so the focus is instead
167.
by jbapple 11y ago
> it's absolutely true that it not the responsibility of people in Western countries to help the billions of poor in this world by importing them Do you feel that it is the responsibility of rich people to help poor people generally
168.
by jbapple 12y ago
So, in Jobs's view, philanthropy is something that is done by a person who is lesser than Jobs, because he is lesser than jobs, but this isn't dismissive of philanthropy as a goal worthy of Jobs's attention? I don't kn
169.
by jbapple 12y ago
Here's what I think Jobs thought: "I am creative, so I stay in computing." "Gates isn't, so he left." "Leaving computing for philanthropy is for those who aren't as good as I am." Do you really r
170.
by jbapple 12y ago
Maybe you're right. I wanted to show the contrast in their values and highlight the fact that this is a noble act, and not one which everyone in Cook's shoes would take, but maybe I was just piling on Jobs.
171.
by jbapple 12y ago
In his statement, Jobs indicated that Gates's interest in philanthropy was because he had always been unimaginative. Forget, for a moment, the hypothetical of what Jobs would have done. Maybe he would have grown into someone who gave a
172.
by jbapple 12y ago
I don't know what Jobs did with his money. I'm criticising his values , as described in this statement that clearly paints philanthropy as beneath him, to those of Cook. Maybe he gave money away even though he thought it was bene
173.
by jbapple 12y ago
On page 263 of my large-print edition of the Isaacson biography of Steve Jobs, Jobs is quoted as saying about Bill Gates, "Bill is basically unimaginative and has never invented anything, which is why I think he's more comfortable
174.
by jbapple 12y ago
Unfortunately, it is sometimes the case that the remaining unprovable part is the most epistemologically dubious part. See, for instance, "Coq in Coq", by Bruno Barras and Benjamin Werner, http://www.lix.polytechnique.f
175.
by jbapple 12y ago
> However, Calculus of Constructions doesn't have inductive constructions, without which it's very hard to formalize interesting mathematics in it. Inductive types is something I've wondered about for a couple of weeks. I
176.
by jbapple 12y ago
The Calculus of Constructions is dependently typed, and it has a reasonably sized kernel, compared to HOL and ZFC: Freek Wiedijk, "Is ZF a hack?", http://www.cs.ru.nl/~freek/zfc-etc/zfc-etc.pdf OTOH, Coq
177.
by jbapple 12y ago
There have been quite a few; Gowers himself (mentioned in the article) is working on one: "A fully automatic problem solver with human-style output" M. Ganesalingam, W. T. Gowers http://arxiv.org/abs/1309.4501
178.
by jbapple 12y ago
See also CakeML, "A verified implementation of a significant subset of Standard ML in the HOL4 theorem prover". https://cakeml.org/ Not that this project, unlike CompCert, is Free Software in the Stallman sense:
179.
by jbapple 12y ago
The Csmith paper notes two types of errors found in CompCert: front-end errors and a misunderstanding of PPC semantics. The former type of bug was apparently due to a part of the compiler that wasn't verified at the time. According to
180.
by jbapple 12y ago
> Even large trades can't move prices by that much since the cash flows of Treasuries are fungible. Could you elaborate?

More ›