drivebyhooting

Can we audit the CoT and work the AI did to generate such a remarkable cancellation?

Why can’t we have more doctors?

Doesn’t this generalize? Mathematics matters less than less as fewer people are capable of understanding it. So whatever cutting edge, deep insight about the nature of groups matters less than different equations which matters less than solving linear equations, etc.

The proof prompts do say to spend at least 8 hours.

Full monomorphization can also greatly increase code size and icache pressure. Especially if LTO was not possible.

I haven’t seen icache pressure causing performance degradation in the wild but it is in theory possible.

If you’re gonna have kids, fussy means: * have decent schools * not covered in lead or asbestos * not next to a highway

The biggest issue with stenciling is lack of inlining. So for example if the argument to a generic function is an array backed container, then element access will have to go through a method call that cannot be inlined.

Besides the call indirection, the compiler also loses optimization opportunities.

With the stenciling design many generic functions found in the C++ stl have to pay significant abstraction costs.

Anyway, I like the go design.

They’ve made it easier. Seems like the will to solve it didn’t exist.

Because the SAT is too easy and gets saturated.

See the new mathematical proof published by OpenAI.

I’m not very valiant to verify its veracity. But even if the math is merely derivative it merits mention.

Reminds me of the parrot https://www.sfsfss.com/stories2/BLIT.htm

Looks like it still uses python object model. You need auto unboxing for good performance.

What’s the technique? And did they buy it from thinking machines?

Isn’t this a symptom of structural/duck typing where interfaces are not declared? In Java for all its faults this wouldn’t happen because you’d be forced to implement all the interfaces.

How is the byte counting reader supposed to work in user space without putting the buffer in user space? The article claims there is a way but I want to see what is meant by counting bytes in that case.

Definitely written by codex.

Expound please.

When is Google coming out with an equivalent Gemini model?

Yes that is what I meant. It’s not the same across reference frames.

I don’t find the OP a convincing argument. What is temperature, why can you assume it didn’t change and the measurement also didn’t change commensurately? Why should kinetic energy be convertible with thermal energy? Chemical energy?

It’s very hand wavy and introduces many assumptions.

Kinetic energy is a book keeping trick. The real mystery is explaining how it relates to other forms of energy and how to tie it together.

I don’t find the answer convincing. It assumes one can measure heat at a distance and it is a conserved quantity between reference frames.

Energy is actually not a conserved quantity in Galilean relativity.

That becomes more clear by the day.

Zuck has no insight. His sole ambition is to be rich and taken seriously.

Compaction already drops nuanced and salient information. I wouldn’t want any additional amnesia from overly simplistic summarization.

Why would you want a simple summarizer instead of frontier AI doing the summarization for you?

Do you have a GitHub? How do you source your parts?

No. Not everyone. And even those who are thankfully don’t have the wealth and resources to upheave thousands of lives in pursuit of a mirage.

I’ve heard of space based microwave energy weapons. I haven’t looked at the physics personally but I talked to someone who did.

Something like a 10MW phased array to create a 1 cubic meter ball of plasma in the atmosphere. I wonder about the transmission losses… but what a weapon that would be!

Zuck has read one too many sci-fi novels. He is afraid. Afraid that he will be left behind by the AI oligopoly. Afraid that he won’t get to live in Elysium.

I could accept those mental gymnastics 4 months ago. But I’m afraid the quagmire in Iran has disillusioned me of any competency the administration might have.

Trump and co are not playing 4D chess. It looks more and more like 1D checkers.

Why isn’t codex banned? Will the ban be miraculously lifted once OpenAI releases their mythos-level model?

The executive is holding American business in a Putin-style prisoner dilemma.

Figured out = do the forbidden PII join anyway with their partners in “clean rooms”.