dooglius

5 ms·

1.
by dooglius 4d ago
Tangent, but that's not in the movie. It was in Clarke's contributions to the script and novelization, but Clarke and Kubrick had a bitter falling out over different visions and Kubrick took out much of Clarke's stuff from th
2.
by dooglius 5d ago
Both of your links are basically ads, or at least the titles make them sound like it. > Lenovo showed a model that incorporates solid-state air cooling. That technology has been around for a while but it looks like it matured and is prod
3.
by dooglius 5d ago
I'm not sure what you mean by "verify" here. I could run the lean verifier as could anyone else. Maybe I could write my own proof checker and do a purely mechanical translation into my own thing, though I don't think tha
4.
by dooglius 6d ago
There have been several threads and developments on this over the past few days, including statements from the primary subjects involved. Third-hand instagram comments are not really the best source to be bringing in.
5.
by dooglius 6d ago
Weren't the agents massively parallel, whereas the lean verifier presumably is not? Also, I presume said agents were themselves running the verifier on their own parts many times.
6.
by dooglius 6d ago
I mean, I have a bachelor's in math and I don't imagine I could begin to understand either the human or LLM proofs without a massive investment of time and effort.
7.
by dooglius 6d ago
You would want to use your own benchmark, certainly, not something publicly known. But outside of that I don't think "this is a benchmark" is such an easy category to determine -- a benchmark should be similar to a typical sc
8.
by dooglius 7d ago
Run a benchmark with a large number of samples, rerun a few days later. Compare results, use statistics to see if there's a statistically significant difference.
9.
by dooglius 7d ago
Do you have hard evidence of this assertion?
10.
by dooglius 15d ago
Presumably the parent does not want to have to trust Aurora to do that
11.
by dooglius 15d ago
It isn't exactly hard for a bad actor to come up with that prompt
12.
by dooglius 16d ago
Out of curiosity, does this reset/modify the timestamps of the old posts? I was confused at reading comments from "hours ago" I thought for sure I'd read days ago.
13.
by dooglius 18d ago
I'm not advocating for this, but it's a example of a position reasonable enough I'd expect to see some level of support for. I'd view it as less extreme, for example, than requiring all new security-relevant code be in R
14.
by dooglius 18d ago
Ex: Security-critical code contributions should be scrutinized via state of the art tooling, including but not limited to fuzzers, linters, and adversarial LLM review. For non-security-critical code, use of LLMs is encouraged but not requir
15.
by dooglius 18d ago
The voting seems to have been pretty much linear to how pro-LLM they were. So it's interesting that all of the proposals were essentially anti-LLM and the chosen one was the mostly neutral, only slightly anti-LLM one. The absence of an
16.
by dooglius 19d ago
In fact, this is what happens in the case of laptop displays
17.
by dooglius 20d ago
I don't think you actually had to visualize the sheep for it to work, I never thought of that as being explicitly required
18.
by dooglius 20d ago
What are you suggesting and how would it be different than how SIGFPE already works?
19.
by dooglius 20d ago
I thought the point of counting sheep was to do something boring and repetitive that puts your brain into a relaxed state
20.
by dooglius 25d ago
It's tricky because even if you've seen the pictures before, it's not obvious whether the formal problem is defined in terms of minimizing the size of the big square or maximizing the size of the little squares (which are equ
21.
by dooglius 26d ago
Responding to a couple comments here: there is no picture or new arrangement of squares because those are _upper_ bounds for the problem. The best known arrangement, i.e. the best known upper bound, has not changed.
22.
by dooglius 27d ago
Oh wow I remember having read/heard that it was helpful for memorization, never occurred to me to think that there was an impact for some listeners too.
23.
by dooglius 29d ago
Unless your _ads_ are going to compete with your competitors' then that's not going to be effective. Ironically middlemen are probably solution here, you'd be better off going to trade shows and working with department stores
24.
by dooglius 29d ago
See the last 3 sentences of GP's post
25.
by dooglius 1mo ago
The reference isn't intended to be interpreted as the correct answer, it's the answer given by a control model that was trained on a broader corpus.
26.
by dooglius 1mo ago
Isn't the underlying question proved impossible by Godel's incompletness theorem?
27.
by dooglius 1mo ago
I'm confused, the Opus 5 announcement said it was (outside a few special cases) better than Mythos/Fable, but the Opus prompt here seems to suggest the opposite?
28.
by dooglius 1mo ago
The personal item has to fit under the seat in front of you
29.
by dooglius 1mo ago
I don't understand the threat model being attacked here. If you had physical DRAM access you could do all of this anyway right? And I would assume that an unprivileged user would not have write access to the DRAM controller registers?
30.
by dooglius 1mo ago
> There's a reason why lawyers generally advise their clients to remain silent. Most people prioritize their finances (and non-imprisonment) over their rights, and attorneys will optimize for that expressed preference. GP has clearl

More ›