drdeca

65 ms·

931.
by drdeca 5y ago
Wait, so did they do a statistical test somewhere comparing it to the formula they wrote, or is that just by eyeballing it?
932.
by drdeca 5y ago
I'd also note that the unregulated casinos can be (but aren't always) verifiable in how they function, so if you want high assurance that the odds and such are as stated, you can (in some cases) obtain such assurance, despite the
933.
by drdeca 5y ago
Oh, I of course agree that in general (in the absence of reasons like corruption that would make this not work as well as it should) it is preferable to just give cash. I'm saying specifically as a means to route around corruption that
934.
by drdeca 5y ago
Would "give poor people electricity credits (denominated in the currency) which can be redeemed by the electrical companies (and not anyone else) for actual money" be viable and help avoid the corrupt admins siphoning the money?
935.
by drdeca 5y ago
The main example of a quantum leap that comes to mind is between energy levels of an electron of an atom, and that does involve emitting or absorbing a photon, carrying the energy that needs to be accounted for. I don’t think what you’ve
936.
by drdeca 5y ago
If this maxim was universalized, I don't think it would produce the outcomes you desire? At least, not in the short term. This would make it so the people there would be essentially forced to stay there? It would, of course, also provi
937.
by drdeca 5y ago
Maybe "an interface to a traditional world sim with more window dressing", is all you need? Especially if the traditional world sim is fairly rich itself (not like, as rich as the most rich that had been made before, but still dec
938.
by drdeca 5y ago
Speaking of betting, What do prediction markets say about whether it will be out by what times?
939.
by drdeca 5y ago
(clarification: applied to with their consent / at their request)
940.
by drdeca 5y ago
What if instead of completely banning it, we set a cap and trade market with a fairly small maximum number of people (say, a few hundred within all of the US) that it can be applied to per year?
941.
by drdeca 5y ago
While I can’t imagine how this could be anything but a coincidence, but it still strikes me that this 37% is approximately 1/e .
942.
by drdeca 5y ago
Oh! Very nice! Thank you!
943.
by drdeca 5y ago
I think it would be cool to have a structure with a line where, no matter where vertically (within a large range of vertical positions) a single glider crossed the line to the right , and no matter which of the 4(?) phases the glider has, s
944.
by drdeca 5y ago
The function of being secure against attacks? Yes. The function of continuing to handle transactions? It can do that fine I suppose.
945.
by drdeca 5y ago
If only one person was interested in maintaining it, it would become rather cheap for them to continue mining blocks for it though, of course , it wouldn’t really be secure at that point, as it would be relatively cheap to make a fork that
946.
by drdeca 5y ago
Tiny nitpick: aiui, it isn’t so much “if it can prove that it will pay it back immediately” so much as, if it doesn’t pay it back immediately, then all the changes in the transaction don’t end up actually happening, with the only consequenc
947.
by drdeca 5y ago
What stops someone from sending (large number) of transactions which each spend less than $YYY at any one time, but total much more than their balance? If you have an actual person named and you have their street address and whatnot, you (r
948.
by drdeca 5y ago
If the person/entity minting them commits to only using a particular address/public-key when minting (such that only ones from that address would be regarded as legitimate), then one can still check all the transactions they’ve ma
949.
by drdeca 5y ago
This works if you just want to prove that you and the artist agree that you paid the artist “for” the work. But, if you can’t transfer it to someone else, is it really a “token” in the relevant sense? Not that I think there’s much value in
950.
by drdeca 5y ago
Yeah, that’s definitely more vivid than what I see, and I’m fairly sure that it is unusually vivid. I can visualize a bit, but unless the thing is a simple shape I usually have trouble “seeing the entire thing at once”. That’s not to say th
951.
by drdeca 5y ago
I suspect the answer is yes, because it seems particularly well suited for that, but I haven't really gotten far enough into it to say for sure. But, I suspect the idea involves like, using the idea of equivalences from the type theory
952.
by drdeca 5y ago
there is one on agdapad at https://agdapad.quasicoherent.io/ (linked in the comments on the linked page) My not being versed in emacs poses a little bit of an obstacle when I attempt to use it though.
953.
by drdeca 5y ago
I still think it could be potentially useful to, with a centralized database, use a similar kind of authentication scheme, in a way that allows for succinct demonstrations of any kinds of rule violations (compared to the rules that were set
954.
by drdeca 5y ago
People generally don’t name it after themselves; other people name it after them later. Not that many people wouldn’t like for the thing they introduce to eventually be named after them. But, I think it would generally be considered presump
955.
by drdeca 5y ago
What are the goals of the project of Principia Mathematica which you are claiming he showed were futile?
956.
by drdeca 5y ago
Dissatisfaction? You see a potential for dissatisfaction, I see a potential for opportunity. Also, allocating time for “searching for products that I don’t know of but which seems like they might exist, which would improve things” seems,
957.
by drdeca 5y ago
> being able to prove ownership I’m skeptical that this holds in a legal sense. Something that may be effectively the same as ownership of something, maybe. Makes sense that a license to do something could be granted which requires the l
958.
by drdeca 5y ago
I do see potential value in being informed by an ad of a type of product I didn’t know existed. The type of ads I strongly dislike for reasons beyond like, breaking pages and tracking, are ones that repeatedly show for something which I alr
959.
by drdeca 5y ago
Why, as a user, would I want a page to begin playing a video as a result of scrolling?
960.
by drdeca 5y ago
typesetting? huh? edit : oh, they also procedurally produce typeset text in the original syntax from the code in coq

More ›