Philpax

> Are they literally adding a hidden system prompt that says "effort level: $level" ? Yes. https://magazine.sebastianraschka.com/p/controlling-reasonin... …

I think it's pretty obvious that, in that world, the AIs will simply be tasked with making the compilers faster. It's already happening with their own stack, after all.

I think you might be underestimating how many people genuinely despise Musk.

I was under the impression that you could fit the full 1M context within the 192GB VRAM as a result of DeepSeek's various architectural advancements, but I'll grant that DSpark + a larger po…

What do you need the extra 2 for? Tensor parallelism?

For me, personally, it's that the Bun guy - specifically him, not a mathematician - indirectly progressed the Riemann hypothesis by repeatedly telling a model to ganbatte! It's a ridiculou…

> Jarred Sumner, an Anthropic staff member (and non-mathematician) prompted Claude to “take a real stab” at the hypothesis itself, leaving the mathematical choices from there up to the model. Initi…

When we have evidence that that's what actually happened and it's not the known-deceitful author trying to cover their own arse again?

In my experience, the Rust community very much cares - it is a struggle to find a modern Rust application of any popularity that does not abide by XDG. .cargo's placement is a historical mistake …

Are you running your replies through a LLM, or is the LLM producing them entirely?

I've only used it for small scripts and can't say how well the type system actually functions/how it scales, but what I've seen so far has pleased me. (They have a _comptime_-equiv…

4. I think they can, especially if the problem statement is well-specified and, importantly, autonomously testable. Of course, specifying a problem that meets these requirements is non-trivial, but th…

Luau is statically typed and interpreted/JIT'd: https://luau.org/

Copeland! I was quite surprised to see that myself.

You may not want to engage with politics, but politics will engage with you.

That will cease to be a problem in the next 24 hours, now that the weights are out: https://huggingface.co/deepseek-ai/DeepSeek-V4-Flash-0731 …

This is where I'm at, or rather, will be. I like open-weight models and I've done my part in facilitating them, but if you believe in the increasing capability of these systems - and I do, t…

You... haven't shown any evidence that we're near collapse. That's what I'm asking you for. Show me some evidence that we are losing capabilities with we have today.

Assumes facts not in evidence. Please show your working.