jbapple

20 ms·

181.
by jbapple 12y ago
If Direct Match has enough success, what would stop ICAP/BrokerTec/eSpeed from allowing HFT firms to trade off-the-money and snatching back up the market?
182.
by jbapple 12y ago
Why is the buy-side in the driver's seat now?
183.
by jbapple 12y ago
> I would think the onus is on the one who used it first to define what they meant by it :-) That's a very fair criticism. My writing is muddy, for sure. Let me try again. You ask: > But if the machine that stops when it has pr
184.
by jbapple 12y ago
> But if the machine that stops when it has proven ZFC is inconsistent does not halt, then surely it means there is no proof of the inconsistency of ZFC? I'm not sure what this question means. Are you referencing an earlier discussi
185.
by jbapple 12y ago
> In what sense is the BB sequence even well-defined if we can prove that it can't be determined? I think it may help you to understand how the BB sequence can be well-defined if you change your definition of "we can prove&quot
186.
by jbapple 12y ago
I disagree about the "hate speech" one. In particular, the article you link to cites Chaplinsky, which was limited very strongly by Brandenburg, Virginia v. Black, in which the court limited the statute in question to apply only w
187.
by jbapple 12y ago
"threats may not be punished if a reasonable person would understand them as obvious hyperbole". Obviously, I don't know what the court would have held in this case, but it seems possible it would have held that this was &quo
188.
by jbapple 12y ago
I'm not sure about "likely", but upon a closer reading, I agree that the Gooding decision looks like it was mainly about the broadness of the statute. Thanks for noting that.
189.
by jbapple 12y ago
It was "White son of a bitch, I'll kill you", and it was Gooding v. Wilson.
190.
by jbapple 12y ago
What were the threats against the agent and the agent's children? I'm asking because I read some of them ("ruin his life", "look into" his kids), but I'm not sure which of those are protected under the Fir
191.
by jbapple 12y ago
A few notes: 1. Average and amortized have very different meanings in algorithmic analysis. 2. One mistake - Okasaki's queues in "Simple and Efficient Purely Functional Queues and Deques" are actually constant-time in the wor
192.
by jbapple 12y ago
I think the queue of Okasaki's that you mention is only amortized constant-time in a persistent setting if certain laziness is carefully enforced. I don't know if Erlang's queues do this, but I do know that implementations of
193.
by jbapple 12y ago
Perhaps he could have the opinion that, as he tweeted, "the CIA saved American lives" in good faith. But he was criticizing a 525-page Senate report on the same day it came out, December 9th. This report has a lot of details on CI
194.
by jbapple 12y ago
I see. How is it different from what students in 6828 have access to? Do they (you?) have access to skeleton code that boots?
195.
by jbapple 12y ago
> I'm sure you can probably find the source as well (though it's not officially provided like xv6). Listed on some course webpage was this: http://pdos.csail.mit.edu/6.828/2014-jos.git
196.
by jbapple 12y ago
Good question. The answer is no. Here's something I wrote elsewhere and have copied here: Immutability [in purely functional data structures] is an implementation technique. Among other things, it provides persistence , which is an
197.
by jbapple 12y ago
Are you aware of any way that the work of Overmars et al. fails to meet the criterion "any modification to the data structure (such as a write or resize) must make sure the structure remains in a completely valid state after every indi
198.
by jbapple 12y ago
Great; thanks for volunteering to answer questions! I'm still reading your paper; please excuse me if this is covered. There is a technique for eliminating the long pauses from rebuilding called "incremental global rebuilding&quot
199.
by jbapple 12y ago
Clarification: In the example with 0, 1, and 2 as allowed digits, I still intended for the number to be "binary" in the sense that the ith digit has weight 2^i. Thus, 12 in this system is 1 2^1 + 2 2^0 = 4, in decimal, and, in thi
200.
by jbapple 12y ago
Scott Huddleston and Kurt Mehlhorn's 1982 paper "A New Data Structure for Representing Sorted Lists" addresses this question. http://people.mpi-inf.mpg.de/~mehlhorn/ftp/Huddleston-Mehlho... The answ
201.
by jbapple 12y ago
2-3 trees actually do give you log-time concatenation; most species of balanced trees do, including red-black, AVL, splay (amortized, of course), skip lists, and treaps.
202.
by jbapple 12y ago
As far as quotients go, I have used setoids before for that purpose. Maybe HoTT makes quotients even more convenient. http://coq.inria.fr/V8.2pl1/refman/Reference-Manual030.html
203.
by jbapple 12y ago
> The disadvantage of set theory is that its principles are very difficult to translate into the programming language of a proof assistant. I don't think that's true. There's an Isabelle theory for ZF, and the ZF axioms ar
204.
by jbapple 12y ago
> In fact, Milner has supposedly made the claim that "well typed programs cannot go wrong". Hmmm... That quote from Milner is from his 1978 paper "A Theory of Type Polymorphism in Programming". The actual quote is a
205.
by jbapple 12y ago
> Clearly this is different to a compiler which intentionally rejects programs that can't be efficiently implemented/compiled. I agree. I wonder what happens when the heuristic fails in the Ur/web compiler. When my C++ com
206.
by jbapple 12y ago
C++ has a similar (though more carefully specified) limit on template instantiation depth. I would be surprised if this were not true in practice for all compiled languages - some programs will be too large to compile given the memory const
207.
by jbapple 12y ago
This part confused me: "My job is to go beyond correctness, to an analysis of such things as the program's running time: I write down a recurrence, say, which is supposed to represent the average number of comparisons made by that
208.
by jbapple 12y ago
From the article: "I don’t doubt that Mr. Awlaki committed treason and deserved the most severe punishment." Why does the author not doubt it? I doubt it until I have seen evidence. It is my understanding that Awlaki called for th
209.
by jbapple 12y ago
It looks like they kept the name of the paper and some of the content the same.
210.
by jbapple 12y ago
I thought this was refuted: https://www.google.com/#q=%22adi+shamir%22+%22dread+pirate+r...

More ›