dooglius

17 ms·

331.
by dooglius 2y ago
He explains the point in the lines you omitted: > I worried about the mindset of the server whose job it would be to parade a stunt chicken around the dining room. I was terrified of our culture stagnating. It doesn't read to me lik
332.
by dooglius 2y ago
Nice! I tried to solve this the other day too, but came from the other angle--trying to find a probability vector for Ballmer that always won (finding the best response tree is n^3 complexity best I could find). I'm somewhat surprised
333.
by dooglius 2y ago
There are still issues with perf being unable to parse the debug format for some stuff, e.g. code compiled with `-ggdb3` as touched on in TFA. The idea is more: can I take one of the stacks that perf captured, and hand that off to GDB for a
334.
by dooglius 2y ago
I wonder how hard it would be to have a profiler dump a big chunk of stack on each sample interrupt, convert these into core dump format, and then use gdb or whatever to decode the traces for analysis? This ought to have the touted benefits
335.
by dooglius 2y ago
dang posted a link at the top to such information for those who are unfamiliar, which serves as the note you want without detracting from other discussion
336.
by dooglius 2y ago
The defensive side also has a case for strong caring about adversaries de-anonymizing traffic of US citizens and businesses
337.
by dooglius 2y ago
(2), the Tor design is explicitly stated as being vulnerable to a "global passive adversary" (you can search that phrase online for details)
338.
by dooglius 2y ago
RIP with 64-bit x86
339.
by dooglius 2y ago
Ah, I think the non-constructive comment is just about presentation order; he gives a sketch of how f works first then later he gives an explicit formula partway through page 2 after theta, alpha, beta, and h are defined. For why f is recur
340.
by dooglius 2y ago
I would consider the Myhill proof to be constructive, curious why you don't think so? Set A as desired that is non-recursive, recursively enumerable is conceptually easy to construct: let A be the binary encoding of all Turing Machines
341.
by dooglius 2y ago
At a glance, this paper seems extremely questionable. It appears to take an offhand comment by Kahneman in a Lex Friedman podcast regarding the limits of AI and interpret it as asking whether there is a problem that humans can solve but mac
342.
by dooglius 2y ago
The students were allowed to use LLMs, that doesn't mean LLMs wrote the entire codebase.
343.
by dooglius 2y ago
If you leave off the "and not less" it's more readable and you get the point
344.
by dooglius 2y ago
> Then, the students were tested on how they solved the problem Did they not know in advance about this? Seems obvious that the students who used chatGPT are not going to remember the code, and this was setup to give a negative result. T
345.
by dooglius 2y ago
Is predicting beyond a couple hours all that useful/important?
346.
by dooglius 2y ago
Sounds like a self-fulfilling prophecy
347.
by dooglius 2y ago
Fair enough. Although I think the question is whether P3/P5 were given zero points vs not evaluated vs evaluated but not published. I don't think it is surprising that Lean-verified proofs get a 7.
348.
by dooglius 2y ago
I don't believe anything was graded by the IMO, Google is just giving itself 7 for anything proved in Lean (which is reasonable IMO), so they can't really try for partial credit so much as choose not to report a higher self-graded
349.
by dooglius 2y ago
Lean checks that the proof is valid, it didn't find the proof.
350.
by dooglius 2y ago
The linked page says > While the problem statements were formalized into Lean by hand, the answers within the problem statements were generated and formalized by the agent. However, it's unclear what initial format was given to the
351.
by dooglius 2y ago
Did the seller happen to be based in your country? It seems unlikely to me the FTC would do anything about an online purchase to begin with, especially not if it was from China.
352.
by dooglius 2y ago
In GP's proposed scheme, the sponsor gets punished whether or not it knew or assisted
353.
by dooglius 2y ago
What do you mean by "the local inspection"? The police?
354.
by dooglius 2y ago
9/10 purely going by which one didn't look "better" (hieroglyphs were the miss and even then I was 50/50 on that). Also the "real" picture of kids doing an art project is clearly not real (i.e. everyone in
355.
by dooglius 2y ago
Dupe of https://news.ycombinator.com/item?id=40696384 no idea why that was flagged
356.
by dooglius 2y ago
https://en.wikipedia.org/wiki/Korematsu_v._United_States?use...
357.
by dooglius 2y ago
The books are marked as unavailable for borrowing, but there's no indication that any deletion has occurred.
358.
by dooglius 2y ago
I have not found __builtin_constant_p to be very reliable when I want to fold multiple times. Is there any way to do this trick better using c++ constexpr I wonder?
359.
by dooglius 2y ago
That's a different case where one is trying to calculate rsqrt(x) from 1/sqrt(x) whereas the article involves computing sqrt(x) from x*rsqrt(x) and in this case you don't need the divps instruction for sqrt but do need an add
360.
by dooglius 2y ago
I would challenge you to find a processor on which the rsqrt plus two newton-raphson iterations is not slower than plain sqrt. (We don't know what mtune the author used)

More ›