dooglius

7 ms·

91.
by dooglius 7mo ago
Oh the venn diagram might be big, the HN population just has a lot of variance I think, and is less of a community per se. I don't doubt what you're saying, though in the grand scheme of things, I think the "too lazy to hit s
92.
by dooglius 7mo ago
The fact that terms like Aho-Corasick, PLDI, Go, etc. are properly capitalized, including if they begin sentences, but otherwise sentences are uncapitalized, makes me think it's an explicit LLM instruction "don't capitalize t
93.
by dooglius 7mo ago
It looks like that's about syntactic ambiguity, whereas the parent is talking semantic ambiguity
94.
by dooglius 7mo ago
Is z3 competitive in SAT competitions? My impression was that it is popular due to the theories, the python API, and the level of support from MSR.
95.
by dooglius 7mo ago
Do you have reason to believe that you have a reliable way in these cases of determining whether the comment is generated?
96.
by dooglius 7mo ago
The vast majority of human evolution happened in non-humans
97.
by dooglius 7mo ago
Let me put it this way, you do not seem to have learned to cope very well. Actually focusing on and learning to cope was a big improvement for me.
98.
by dooglius 7mo ago
Don't take this the wrong way, but it seems like you did not actually learn to cope
99.
by dooglius 7mo ago
Can you elaborate on your hypothesis? Would them being "still there" imply the possibility of treatment to enable their effectiveness?
100.
by dooglius 8mo ago
What exactly is hyper-skeptical about them?
101.
by dooglius 8mo ago
How does WSL1 do it then? Anyway, the section you are quoting makes no claim as the the permitted granularity.
102.
by dooglius 8mo ago
Explained in the very first sentence, "This is the quarterly links ‘n’ updates post, a selection of things I’ve been reading and doing for the past few months."
103.
by dooglius 8mo ago
EDIT: ok this was nagging at me for a while as something being off, I think this is actually wrong (in some way that must cancel out to accidentally get the right answer) because I need to multiply by 2 pi c to consider all rotations of cen
104.
by dooglius 8mo ago
MSR is a somewhat independent org; you should be making predictions based on other MSR projects
105.
by dooglius 8mo ago
They may be trying to suggest that, that claim does not follow from the quoted statement.
106.
by dooglius 8mo ago
Alternative POV: the better they profile, you the better they can slip the scams past your defenses
107.
by dooglius 8mo ago
The wiki page agrees with parent, "The double-sided, high-density 1.44 MB (actually 1440 KiB = 1.41 MiB or 1.47 MB) disk drive, which would become the most popular, first shipped in 1986"
108.
by dooglius 8mo ago
The license seems perfectly clear in that it's multiply-licensed under AGPL, MIT, and corporate licensing based on different use cases. Maybe this guy has reading comprehension issues, but more likely he's just unhappy with the co
109.
by dooglius 8mo ago
I would say that all of those seem both arbitrary and geared toward outputting insanely large numbers (in the sense that the output of any Turing-complete language is). Now if you can make these claims in a mathematical rigorous way (i.e. w
110.
by dooglius 8mo ago
I'm going to agree with the downvoted people and say that this sort of approach is largely meaningless if you allow arbitrary mappings. IMO the most reasonable mathematical formulation given the structure of the integers (in the sense
111.
by dooglius 8mo ago
I don't think "small" has ever been meant to include the runtime. Is R much more complex of a runtime than awk perl or bash?
112.
by dooglius 8mo ago
I view it in the same vein as the thing where people waste scammers' time by pretending to be falling for it and being slow/unhelpful
113.
by dooglius 9mo ago
Bit-exact matches are nice but they do not remove floating-point drift (i.e. discrepancy between the calculated values and the true mathematical value), which is indeed unavoidable because the mathematical result of most operations you perf
114.
by dooglius 9mo ago
Current status: > SlopStop is getting ready! Report processing has not started yet at-scale. We are reviewing the initial wave of reports, and finalizing our systems for handling them. > We will start processing reports officially in
115.
by dooglius 9mo ago
Yeah, I don't feel the need to have conversations go on a tangent about explaining what Kagi is
116.
by dooglius 9mo ago
It's not clear from the page but this is the intro to a whole paper at SSRN https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5870623
117.
by dooglius 9mo ago
I believe an attorney is considered obligated to give a client the best possible defense (with limits as to ethics), which is definitely contrary to serving and propagating the law
118.
by dooglius 9mo ago
I think you may be confusing specification of the problem and the formalization of the proof.
119.
by dooglius 9mo ago
I am not an expert in the underlying cryptography, but the claim is indeed that the cryptographic approach makes it impossible for them to link the key to the queries in the backend.
120.
by dooglius 9mo ago
I thought I recall from reading a previous 5-year one of these there being much more explicit information on ranges of micro-nutrients one should get (e.g. an explicit recommendation for how much Vitamin C to get). Is there an equivalent so

More ›