fdupress

15 ms·

31.
by fdupress 3y ago
Etam absolutely allows you to authenticate an unencrypted context. In fact, you must ensure that the nonce, a piece of unencrypted context, is authenticated. Nothing stops you from throwing more stuff in there. The only thing you can do w
32.
by fdupress 3y ago
The pattern is the same on every card, but the cards are cut in a way that doesn't align with the pattern, so the two edges of a card don't look the same. It's still a manufacturing defect, which could be sorted out by paying
33.
by fdupress 3y ago
Not if every single one of its posts gets linked.
34.
by fdupress 4y ago
Hash the input (O(n)), search for a second preimage (very much not O(n) if you use a cryptographic hash).
35.
by fdupress 4y ago
No, sorry; I'm not aware of proper comparisons for C verification tools, or at least recent and maintained tools. SV-COMP tends to propose a huge number of relatively simple tasks, which attracts model checkers and static analysers.
36.
by fdupress 4y ago
You could also try VeriFast [0], which is closer to Frama-C than CBMC. (VeriFast and Frama-C are deductive verification tools, CBMC is a bounded model checking tool.) It is slightly less approachable than Frama-C because it uses separation
37.
by fdupress 4y ago
Rejection sampling works when your bias is constant, not when it varies depending on the environment.
38.
by fdupress 4y ago
Space might be a good enough approximation of energy to not bother?
39.
by fdupress 4y ago
By the definition you link, combined with its subdefinition for uncountable, finite sets are uncountable. That is a pretty big leap from accepted terminology.
40.
by fdupress 4y ago
Thanks for your comment; learned a couple of things.
41.
by fdupress 4y ago
Sorry, I was more careful in my second mention of "the set of real numbers". Thoughout, I meant "the set of real numbers that arise from set theoretic constructions". In other words, the object on which the existing proo
42.
by fdupress 4y ago
Just a quick addition: note the care taken to avoid using the word "set" in your excerpts. My objection was with the submission's current title ("The countable set of real numbers"). It still stands.
43.
by fdupress 4y ago
That is an assertion about one particular construction of the reals, in a particular topos, which implies something on the constructed set in that topos. I'd argue that that set, resulting from carrying out Dedekind cuts in a particu
44.
by fdupress 4y ago
The title of the video and talk is "The countable reals." There are plenty of countable sets of real numbers (Q and all its subsets, for one infinity), and the set of all real numbers is not countable, so there is no interpretatio
45.
by fdupress 4y ago
Strings/lists under concatenation do not form a group since concatenation is not uniquely invertible. (In the sense of "there is no list -xs that you can concatenate onto xs to get the empty list.)
46.
by fdupress 4y ago
I don't think the charge needs to be unattractive to spammers to mitigate the costs associated with them: 1$ likely covers the CPU time to produce the page, and then it only costs when displayed (which will be little, if spam).
47.
by fdupress 4y ago
Enormous future potential for derivative work gets created. Enormous future potential for original work gets erased. Why would anyone in their right mind choose to put effort into creating original art if there is "one easy trick"
48.
by fdupress 4y ago
And that reason is that there is a canonical definition of what it means for two numbers to be equal. The fact that your intuition of "these two timestamps are equal" is "these two timestamps denotes the same instant" se
49.
by fdupress 4y ago
> As we see from Japan and other countries, wearing a mask can keep much of the goo that comes from sneezing and coughing policed. It’s not perfect but it protects others and thus it’s polite. It’s also a reminder to not touch one’s face
50.
by fdupress 4y ago
Take a look at this one (also NSFW) https://pornpen.ai/view/CBHr5AlP8AFAZ56Jkp7i
51.
by fdupress 4y ago
Arguably, if the court ends up agreeing that you did have an account and that Valve needs to give control of it back to you, would that not be evidence that you had agreed to the terms, then broken them by rejecting arbitration? (Leading to
52.
by fdupress 4y ago
Sure, but you get probably correct code out of it. Not every productivity increase has to do with quantity.
53.
by fdupress 4y ago
It seems to me that "a lot of uncertainty going around for years" would make some attempt to actually set up a buffer to better absorb shocks and adapt. This is not about predicting the future, it is about failing to manage a clea
54.
by fdupress 4y ago
Looked for it and missed it. And thanks for writing this up, by the way. Having people less familiar with formal methods try and write up their experiences is, I think, much more effective at letting people in than having experts try and wr
55.
by fdupress 4y ago
Every time somebody proves that a sorting algorithm sorts, they forget to prove that the algorithm doesn't just drop values or fill the entire array with 0s (with fixed-length arrays, as here). On paper: "it's just swaps&quot
56.
by fdupress 4y ago
Wait... A bridge built for bicycles only to go over still needs cars and lorries and other large things going under it. A bridge built for bicycles only to go under is nice, and means not even having to deal with a slope. (But might be more
57.
by fdupress 4y ago
Those are important design-level tasks, and are in fact some of the tasks discussed by the linked video...
58.
by fdupress 4y ago
The hotcrp conference management system treated it as a shell glob and leaked out the list of submitted papers, once.
59.
by fdupress 5y ago
Vaccines go into muscle, not blood vessels. It's still much better for everyone involved to not stick air into your muscle, though.
60.
by fdupress 5y ago
Hey there. I read this as "a fun-free platform" and was very confused for a bit. You might want to reconsider the order of your adjectives.

More ›