kd5bjo

27 ms·

211.
by kd5bjo 6y ago
Relational calculus is another mathematical model that is dual to relational algebra: if you have one representation you can always get the other. Relational algebra describes a fairly direct set of manipulations of database rows that can
212.
by kd5bjo 6y ago
> I prefer an "exact" guarantee that the result is as close-as-possible rather than merely "within some relative epsilon". This is the core requirement of any system that quantizes the real numbers in order to perform
213.
by kd5bjo 6y ago
> The IEEE guarantee is not that the result is accurate to a relative epsilon but instead is the closest representable number to the true result. The latter implies the former within the magnitude range that allows normalized representat
214.
by kd5bjo 6y ago
Accounting practice generally allows / requires rounding to some quantum value at each operation, like $0.001– The issue with using floating point for money isn’t that it has errors, it‘s that those errors don’t match the ones you get
215.
by kd5bjo 6y ago
Would you mind expanding the `ULP` acronym you’re using: if it’s so fundamental to understanding this, I’d like to know what it is.
216.
by kd5bjo 6y ago
All of those things are conveniently excluded by the architectural constraint of using live hegdes as the construction medium: the maze must be planar, and the entrance and exit need to be at the outside to allow access. You can have secon
217.
by kd5bjo 6y ago
Assuming the average flight is 1 hour long, that’s a 0.5% chance of dying in 28.5 years of flight time. 0.995^138 is approximately 50%, so the expected amount of time you’d need to spend onboard to have even odds chance of dying due to hul
218.
by kd5bjo 6y ago
The warning comes if you try to call a function for its side effects and ignore the return value. In most cases it’s fine, but ignoring a Result or a Future will issue a warning.
219.
by kd5bjo 6y ago
> It is a popular algorithm, especially because it's stateless, but it only works if the maze is simply connected, so a simple loop can cause it to fail. If we’re talking about mazes where the entrance and exit are both on the perim
220.
by kd5bjo 6y ago
> With a proof written at machine level, you don't need to understand the rust semantics, you just need to translate the rust to machine level and then check the proof there. This approach would only be able to verify a particular c
221.
by kd5bjo 6y ago
How do you know this wasn’t just due to normal manufacturing variances?
222.
by kd5bjo 6y ago
The current situation is similar in the US, except for the extra enabling legislation. Copyright law was never intended to completely prevent the secondary market, because nobody envisioned technology that would make ownership transfer imp
223.
by kd5bjo 6y ago
> There's actually pretty solid legal argument for first doctrine not applying to digital media. Of course there is. When someone uses a loophole, they’re doing something legal to get an unintended or nonobvious benefit— If an acti
224.
by kd5bjo 6y ago
That depends on what you consider a digital purchase. DVDs, CDs, and game cartridges are nothing but physical manifestations of digital data, and everyone was allowed to loan or resell those. Books arguably are, too, and have hundreds of
225.
by kd5bjo 6y ago
In Audible’s case, they’re already selling access to a recording in perpetuity; your examples are all live performances. There’s a colorable distinction here, and there’s no need to force people to make recordings if they don’t want to. A
226.
by kd5bjo 6y ago
> How is this any different from series that are exclusive to Netflix? Netflix is a subscription, but Audible sells things: their subscription provides credits that can be used to purchase audiobooks below list price, but you don’t lose
227.
by kd5bjo 6y ago
The real issue is the circumvention of the first sale doctrine. Before the download era, licenses were mostly attached to physical media that could be given, resold, or loaned out. By eliminating the physical artifact, modern content comp
228.
by kd5bjo 6y ago
But you have to use the power structures that were in place pre-epidemic, and lots of them stop at arbitrary boundaries where the modern cities don’t. In the US, health policy is generally handled at the state level, but you’ve got places
229.
by kd5bjo 6y ago
The physical location matters a lot as well. Geographical barriers like oceans and mountains do a lot to reduce transmission across borders; getting domestic cases under control won’t help much if new ones keep getting imported. This is pa
230.
by kd5bjo 6y ago
> States and cities can't run deficits and so can't create the funding for this out of thin air. They can issue bonds to raise capital and, last I heard, the Fed is buying.
231.
by kd5bjo 6y ago
This is true in only the strictest sense, as computers only deal with integers: Any set of tuples/sequences can be lexicographically radix-sorted if its components can be; strings are a special case, where the components are the indivi
232.
by kd5bjo 6y ago
I meant seconds in the sense of second-quality items: ones that wouldn't pass QA for their primary distribution channels, whether that's high-end department stores or their own storefronts. That's different from secondhand it
233.
by kd5bjo 6y ago
This practice predates internet shopping; before Amazon, it was the discount retailers like Walmart that were getting seconds.
234.
by kd5bjo 6y ago
Depending on the relevant law and contracts, that may be as bad or worse than removing the attribution: the artist may consider the “uninteresting” parts of the image to be vital to its overall composition and object to the tampering— Even
235.
by kd5bjo 6y ago
> keep intact all copyright notices for the Work Is the watermark itself not a copyright notice that needs to be kept intact?
236.
by kd5bjo 6y ago
> It’s the only kind explicitly mentioned in the Constitution. Patents are explicitly covered there, too; from Art 1, §8: "[the United States Congress shall have power] To promote the Progress of Science and useful Arts, by securing
237.
by kd5bjo 6y ago
The H-4 Hercules could plausibly be considered larger. It has a larger wingspan, height, and cargo volume, but only ever flew once (for about a mile) and has significantly lower weight capacity. It was also bult several decades before the
238.
by kd5bjo 6y ago
> Now I could probably install a more recent cargo version, but really, should I have to? You don’t have to: You always have the option of not using the tool. It’s provided for free, and it’s not reasonable to expect it to be appropriat
239.
by kd5bjo 6y ago
> It it only the most lazy and selfish developers who would not utilize this. Please refrain from making ad-hominem attacks on people that make different decisions than you would, even if they’re anonymous. Open-source developers make th
240.
by kd5bjo 6y ago
The final accepted version of that RFC makes no mention of this, and even contemplates Cargo install as an alternative to system package managers [1]. The comment you link uses Rust tools as a justification for adding “cargo install”, but d

More ›