j2kun

44 ms·

661.
by j2kun 8y ago
You have to add extra "except when"s to every theorem involving division. E.g.: (a+b)/c = a/c + b/c (in particular, for C != 1, as the author claimed it would work not just for 0 for for any real number) Now to say
662.
by j2kun 8y ago
You lose simple properties of division, such as (a + b)/c = a/c + b/c. If you set 1/0 = 1 (as the author claimed causes no inconsistency), then (2 + 1)/0 = 2/0 + 1/0 is false If you come to rely on divisio
663.
by j2kun 8y ago
> We’ve now established that if we choose some constant C, then defining division such that x/0 = C does not lead to any inconsistencies. There is no proof in this post that 1/0 = 0 maintains consistency. Rather, it contains re
664.
by j2kun 8y ago
They don't discuss it because they just give up if it takes too long.
665.
by j2kun 8y ago
OpenAI has not exactly had the best reputation with their press releases.
666.
by j2kun 8y ago
Your scrutiny of the worth of scientific results must be spot on! You can tell from the first few sentences or paragraphs whether an article is worth reading. If you're not interested you stop reading it!
667.
by j2kun 8y ago
This is a slippery slope. Writing is little without readers, and you can't improve your writing without someone to read it. To say all writing is "signaling not too far removed from instagram" reduces all expression to the ki
668.
by j2kun 8y ago
not a book, but Tadashi's Toys http://www.msri.org/web/msri/public/tadashis-toys
669.
by j2kun 8y ago
It depends on your goals. Much of mathematics is training for specific goals (often narrow), while if your goal is simply to be exposed to many different things, you can get quite a lot of the intuition with knitting needles and drawings. A
670.
by j2kun 8y ago
Oh, if only I could make a career of pointing math things out :) Joking aside, I think a lot of researchers will oversell the applications of their technology, so it's just as important to be able to recognize when a particular math th
671.
by j2kun 8y ago
I was under the impression that the partition need never be resolved.
672.
by j2kun 8y ago
It's trivial because (when you say things like "high availability", which is not precise nor does it apply to CAP) you're ignoring the precision required for a valid proof.
673.
by j2kun 8y ago
Very neat! The author should probably make the large diagrams clickable to full resolution, as many of them are not possible to read.
674.
by j2kun 8y ago
I should add, the implementations are neither secure nor fast, but rather designed for ease of human understanding.
675.
by j2kun 8y ago
I wrote a primer on ZKPs[1], with a follow up post[2] that proves and implements ZKPs for 3-coloring (mentioned in the first link of the article, but not proved) in Python, and a third post[3] that gets into more nitty gritty theoretical de
676.
by j2kun 8y ago
I just have a bookmarklet. If you're writing something so detailed it needs formatting, you shouldn't be doing it in a browser tab. data:text/html;charset=utf-8,<title>Notepad</title><style>body{backgro
677.
by j2kun 8y ago
While I agree with you, in the context of a "hand wavey" explanation, "more" is not rigorously defined and so saying "plain wrong" is silly. A strict subset relationship is a reasonable interpretation of "
678.
by j2kun 8y ago
I also dislike Thiel, but this is gratuitously negative and irrelevant to the discussion.
679.
by j2kun 8y ago
> "the proof" As if there can only be one. (And it seems OP is describing the theorem, not a proof)
680.
by j2kun 8y ago
Since the article provides information and context, its date is probably the right one to use.
681.
by j2kun 8y ago
Should tag with 2014
682.
by j2kun 8y ago
Big-O typically refers to worst case when people discuss algorithms, but its definition has nothing to do with runtime, or even algorithms, at all. It was invented by mathematicians decades before computers existed. It's also more nuan
683.
by j2kun 8y ago
There are obvious, concrete ways to fix the API that would reduce the problems, for beginners and experts alike.
684.
by j2kun 8y ago
My problem with d3 is that it's a very leaky abstraction, and there's no clarification about what, when, and where things must happen, versus can happen, versus must not happen. A core example is data joining. If you don't in
685.
by j2kun 8y ago
It's not the same because the conclusions are about humans becoming sadistic just because they put on a uniform. The whole pitch of the experiment was their behavior was spontaneous, unsolicited, and caused by the setting. I.e., not
686.
by j2kun 8y ago
IIRC Apple had a svg layout system that used integer programming for optimizing layout. At least, the dot graph layout language uses integer programming to lay out it's graphs.
687.
by j2kun 8y ago
FTA: > As we develop and deploy AI technologies, we will evaluate likely uses in light of the following factors: [...] Nature and uniqueness: whether we are making available technology that is unique or more generally available Presumabl
688.
by j2kun 8y ago
Your comment says that nothing in academic CS would allow for such a study. Clearly HCI does. It has not yet achieved Engelbart's vision, and it might not be trying to anyway, but it's clearly a framework that cares about how huma
689.
by j2kun 8y ago
? "Human Computer Interaction" is a subfield of academic CS.
690.
by j2kun 8y ago
How is this like the demo? This looks like "unify all N productivity apps; now I have N+1 productivity apps!"

More ›