slashdave

6 ms·

91.
by slashdave 3mo ago
It's parroting proofs. This is no different than parroting a story. https://lean-lang.org
92.
by slashdave 3mo ago
LLMs work within the world of what has been written. That is, what is known. And cancer is not a single disease that can be cured with one therapy.
93.
by slashdave 3mo ago
Must be nice knowing you have a clear understanding of "objective reality" that others don't.
94.
by slashdave 3mo ago
There is more to human life than programming and math proofs.
95.
by slashdave 3mo ago
Iteratively leaning on lean to prove a conjecture is not intelligence, it is automation
96.
by slashdave 3mo ago
Except: distillation. It is not so strange that models from certain organizations are always a few months behind.
97.
by slashdave 3mo ago
Corporations don't have armies and prisons. Get a grip.
98.
by slashdave 3mo ago
> Speculation At least some honesty here
99.
by slashdave 3mo ago
Maybe a whole bunch of people can charter some planes, fill them with weight, and just travel full around the earth to where they started.
100.
by slashdave 3mo ago
Cursor has a lot of proprietary data to take advantage of, so worth a try? And once you have something workable, even if it doesn't lead, you might as well release it.
101.
by slashdave 3mo ago
> that executives had miscalculated on the timing of the changes Hmmm... so who is going to be thrown under the bus?
102.
by slashdave 3mo ago
Just bought a Brother ink tank printer (they have a whole line). Let's see how long it lasts.
103.
by slashdave 3mo ago
I'm impressed that folks are using this frontier model for cooking
104.
by slashdave 3mo ago
Rivian sees Apple (CarPlay) as competition. So what is surprising?
105.
by slashdave 3mo ago
Thank goodness! That pillow has been in the wrong place on my sofa for weeks and I didn't know what to do!
106.
by slashdave 3mo ago
I am pretty sure Apple doesn't care
107.
by slashdave 3mo ago
Advertisement
108.
by slashdave 3mo ago
> I have to wonder if all these particles are somehow manifestations of a simpler thing Yes, theorists have been working on a similar idea for decades. > the “wave photon” and the “particle photon” seemed like possibly different thin
109.
by slashdave 3mo ago
Funny to who? The decimal system, for example, is a human invention.
110.
by slashdave 3mo ago
And the different charge W bosons are just the same particle, via time reversal symmetry.
111.
by slashdave 4mo ago
They aren't my enemies and being irrational does not make you less human
112.
by slashdave 4mo ago
Today's LLMs are perfectly capable of disassembling.
113.
by slashdave 4mo ago
Well... there are crypto startups, and perhaps a generous definition of "money"
114.
by slashdave 4mo ago
You're assuming that their base is rational
115.
by slashdave 4mo ago
> conversations between the Executive Branch and AI companies You think there is a record?
116.
by slashdave 4mo ago
Training these models is not a "hardware" problem.
117.
by slashdave 4mo ago
Ignore the detractors, I, for one, enjoyed reading it
118.
by slashdave 4mo ago
Sure, but you need to use any such executable with 32 bit system-level libraries. Those are what Apple has removed.
119.
by slashdave 4mo ago
I think I am confused. A inferior candidate (by skill) is going to be consistently rejected, no?
120.
by slashdave 4mo ago
It is also illegal

More ›