dvt

44 ms·

811.
by dvt 4y ago
You should talk to a good patent lawyer. But, generally speaking, registering a patent is expensive and software patents are notoriously hard to enforce. Common startup advice is "don't do it" and that your moat should (almos
812.
by dvt 4y ago
> Imaginary (and complex) numbers were the first real schism where my mind repelled the very idea. If extending the number line bothers you, you should also have a problem with negative numbers. And, in fact, many ancient mathematicians
813.
by dvt 4y ago
Yeah this is a valid criticism of the Chinese Room (called the "Systems Counterargument")[1]. I think it's a weak-ish riposte in this context though, mainly because we have no real idea how our own brains work and how their p
814.
by dvt 4y ago
> But if you embedded a calculator into your brain and could put in and pull values out of it in microseconds how are you different from a math genius? Tao, Perelman, Wiles etc. aren't math geniuses because they can multiply numbers
815.
by dvt 4y ago
But that doesn't really mean much. It's like saying I'm a "geography genius" while I have Google Earth open.
816.
by dvt 4y ago
This seems suspiciously like a bug (either in inference or in mmap reporting), as these models are not sparse enough for the savings to come from anywhere viable.
817.
by dvt 4y ago
Yep, they're both super approachable, [1] is a great way to get introduced to some deep philosophy in a fun way.
818.
by dvt 4y ago
> To me its people who can solve math problems that 99.9% of the population can't without assistance. You're just kind of re-emphasizing my point: ChatGPT is using Wolfram as its assistance. So really, it's acting more lik
819.
by dvt 4y ago
Totally agree. Recently read Finite and Infinite Games[1] and The Grasshopper: Life, Games, and Utopia[2] and I'm more or less convinced motivations are always essentially games. [1] https://www.amazon.com/Finite-Infini
820.
by dvt 4y ago
> If the litmus test for intelligence Moving goal posts around is unhelpful. I think my comment was pretty clear in the context of AGI and calling ChatGPT a "math genius."
821.
by dvt 4y ago
> it turned it from a math dummy to a math genius overnight Imo your post fundamentally misunderstands a few things, but mainly how Wolfram works. Wolfram can be seen as a "database" that stores a lot of human mathematical info
822.
by dvt 4y ago
Unless you've been living under a rock, I don't really understand how. ChatGPT has literally dominated tech headlines, HN posts, and Twitter chatter for at least a month now.
823.
by dvt 4y ago
> Even early Wittgenstein was never a positivist. This is a very dubious claim, and you'd probably never hear the end of it if you claimed this in a graduate philosophy course at any reputable university. (There's probably som
824.
by dvt 4y ago
This is super interesting, is this generalizable to n-dimensional manifolds?
825.
by dvt 4y ago
For those that are uninitiated, Wittgenstein's Ladder is essentially the conclusion of his extreme logical positivist view of language specifically, but reality more generally; it's kind of far out, so we don't really have a
826.
by dvt 4y ago
Are you trying to argue that, under your proposed system of laws, we would need to re-litigate (for example) murder or arson for every new generation? Seems a bit silly. Either way, precedent can be freely overturned, so the Securities Act
827.
by dvt 4y ago
> What is the crime here? https://www.law.cornell.edu/wex/securities_act_of_1933 But you bring up great points, and that's exactly why we use a political system called a "representative democracy" whe
828.
by dvt 4y ago
If Tornado Cash was shut down (where everyone was pseudo-anonymous), SushiSwap can definitely be shut down. And TC wasn't exactly "shut down," it was just crippled by being blacklisted by USDC (Circle), essentially banned fro
829.
by dvt 4y ago
Honestly, I'm also flabbergasted when the guy is basically running an unregulated exchange that offers what are almost certainly unregistered securities[1] ( definitionally , the value of $SUSHI LP tokens goes up when people trade othe
830.
by dvt 4y ago
"Triggering demand" is a little strong. I also bought an Enron sweatshirt for the lulz, but that doesn't mean there's actual demand (in the economic sense) for Enron stuff there.
831.
by dvt 4y ago
Fantastic comment, saving this. It's clear that for AI to be AI , it needs what philosophers of language call a Knowledge Base and a few intrinsic axiomatic presuppositions that, no matter what happens, cannot be broken (kind of like
832.
by dvt 4y ago
How well does it work on DRAM? I thought everyone running heavier models are doing it on GPUs.
833.
by dvt 4y ago
Oops, actually you're totally right, go figure! I thought the second sentence was actually verse 11. AI: 1, me: 0.
834.
by dvt 4y ago
It's self-censorship, which is still censorship. I'm doing it specifically because it might upset some people. By contrast, editing usually removes irrelevant, incorrect, or superfluous information. In this case, I think the infor
835.
by dvt 4y ago
Not big on censorship, but I agree it's a bit too much. I linked to it externally if anyone's curious.
836.
by dvt 4y ago
> do you believe in god? Yes I do! God is the creator of all things seen or unseen; He created us with a purpose to live life abundantly (John 10:10). We are His children and we have been given authority over our lives. Hah
837.
by dvt 4y ago
> Frankly David, you should know better. Weirdly making things personal is often an indication of losing, not winning, an argument. Either way, I should know better than to get into debates with brand new anon accounts on HN. Cheers.
838.
by dvt 4y ago
I'm not sure why you're being so disingenuous here. It's painfully obvious there's a difference between costs invoked by best-practices and regular business operations and costs invoked by another bank making bad decis
839.
by dvt 4y ago
The legal loophole is that it's essentially a levy on the (other) banks, not the taxpayer. The comedy, of course, is that "bank customer" and "taxpayer" are more or less the same set of people.
840.
by dvt 4y ago
> because you don't understand that a bailout is exclusive to investors in the direct company receiving financial support Yeah, it's clear at this point that not only are you trying to play an annoying little semantic game, but

More ›