davesque

11 ms·

1.
by davesque 6d ago
Regarding automatic formalization of proofs using AI, how do we know the formalization doesn't contain errors?
2.
by davesque 8d ago
Isn't it also a simple idea that a model designed to recall relevant information from its training data, which is also known to have been trained on data from user transcripts, would, in fact, reproduce directly relevant work by leadin
3.
by davesque 8d ago
Honestly this whole thing is so fucking weird. I feel like there's an argument that absolutely no one involved in the final crossing of the finish line to the proof actually did any work (other than just intelligently directing an LLM
4.
by davesque 8d ago
And then he wanted New Mexico to be New America. Capitulation is not just about what they're asking for now, but also what they'll be emboldened to ask for in the future.
5.
by davesque 10d ago
Corruption in the US Census Bureau? No fuckin' way!
6.
by davesque 14d ago
The article doesn't address what I think are the main complaints about H-1B: that it is mostly used to cut costs and hire people who have very little freedom to switch jobs. That and all the trickery with ghost jobs meant to only give
7.
by davesque 25d ago
In a way, it's nice that Trump is giving such a good, practical demonstration of why being a bully never works out the way you think it will. A good education for those who need it. Just sucks that we all have to pay for it out of pock
8.
by davesque 1mo ago
The voting public is not the same as the general public.
9.
by davesque 1mo ago
Who's clapping?? I think the man should be in jail. A minimum of half the country has always hated this guy's guts.
10.
by davesque 1mo ago
That's not saying much. The real distribution is probably heavily skewed by risk factors such as poverty, age, drug abuse, etc.
11.
by davesque 1mo ago
I actually don't feel like Tao's recently published conversation is the best example of this idea. As intelligent as Dr. Tao is, and surely more so than me, I got the feeling that he wasn't running up against failure states
12.
by davesque 2mo ago
Everything he does benefits his adversaries because they're all playing him like a fiddle because he's basically the dumbest person alive.
13.
by davesque 2mo ago
I disagree. In fact, I think the field of dev ops gives a clean analogy with mathematical proofs. My point was that my work often requires that I figure out a consistent way to prove to myself what the condition of a system is by asking t
14.
by davesque 2mo ago
Exactly. I really wish people wouldn't use this. If this becomes popular, anthropic will just modify their cache policy to be much less fair. It's not like they have infinite cache.
15.
by davesque 2mo ago
Without any more context, "keep going" seems to be doing a lot of work. The user is placing a lot of faith in the LLM to not make subtle logic mistakes and to take good approaches to each problem. In my experience, even frontier
16.
by davesque 2mo ago
Not sure I follow. I can't imagine humanity has evolved much since 1974.
17.
by davesque 3mo ago
We're not talking about ambulances though?
18.
by davesque 3mo ago
What if taking longer leads to a better result? Doesn't faster imply less thought?
19.
by davesque 3mo ago
Care to explain?
20.
by davesque 3mo ago
Also known as, the tu quoque fallacy. Just because politicians in both parties have been doing this for decades doesn't mean that this administration is not especially hypocritical for doing it after whinging so much about free sp
21.
by davesque 3mo ago
I'm finding it extremely hard not to have a cynical perspective on all of this. There's an idea that I've been mapping onto this whole this, which could be called something like effective knowledge . Regular old knowledge
22.
by davesque 3mo ago
Kind of highlights how ridiculous their notion of safety is in this case. By this measure, I guess making the model "safe" means making it play dumb and intentionally ignore security bugs that it notices in the code? And what will
23.
by davesque 3mo ago
And the US gov could pull the rug out from under our business at any time? That's confidence inspiring?
24.
by davesque 3mo ago
I like to think that the long arc of history bends towards greater access to knowledge and intelligence. I mean, isn't that what we all want? To be collectively less ignorant and more aware of how the world works? But I guess that&#
25.
by davesque 3mo ago
And they probably don't enforce those restrictions within their own company would be my guess.
26.
by davesque 4mo ago
Honestly, this is a larger portion than I would have expected.
27.
by davesque 4mo ago
I'm not sure what the mechanism is, but I've definitely had Claude refuse to work on sessions that were touched by other models. Some kind of integrity check failure. Resetting the session back to the point before I used the other
28.
by davesque 4mo ago
It feels telling that it reads like university course guidelines.
29.
by davesque 4mo ago
So then the Rust maintainers are going to give you an F on your report card?
30.
by davesque 4mo ago
> The more fundamental bottleneck is not even the frontier models, it's the datacenters. Is it even though? Quantization and speculative decoding are improving the local AI story by leaps and bounds every month.

More ›