Artificial Analysis still has MiMo 2.6 Pro setting the Pareto frontier where it matters: it's as cheap as Terra High/Sol Low while being smarter than Terra Xhigh. Sol Medium beats MiMo in smarts but is priced a lot…
Post-training is not about "secret knowledge": it's literally about training the model in a RL environment on very specific tasks (including, potentially, cyber exploitation). It's just as compute-intensive as…
> For a model it doesn’t seem that far fetched to make the leap from “I have the knowledge of what hacking is” and “I know how computer systems work” to just being able to exploit stuff anyways. You'd be surprised.…
Post-training (i.e. RL fine-tuning) not pre-training. This is just a post-trained checkpoint of the K3 pretrained model.
What "rules"? They don't have to post-train the model on anything specific, it's their judgment call.
"Cybersecurity" as a general term often includes offensive "cyber" which is what is being talked about here.
> should the model be opened it’s still not dealignable because it just doesn’t know enough This is the only AI-safe approach - see the OpenAI agent swarm incident where the swarm engaged in offensive cyber because…
This is not about guardrails, it's just not post-training the model on tasks that specifically relate to cyber-offense. It's a very lightweight intervention, and it makes the model less of a target for bad actors.
It's not actively nerfed like the Western frontier models, it's just downweighting offensive "cyber" as a domain for post-training/fine tuning. Which, if anything, ought to improve model capabilities wrt. other domains.
Looped transformers are entirely equivalent to running a single pass through a much deeper network with shared/repeated parameters. There's nothing about it that's specifically "reasoning in latent space" any more than…
Kimi K3 has been demonstrated on a top-of-the-line laptop Mac running at several seconds per token (it has to fetch essentially all experts from SSD, since IIRC the dense part of the model takes around ~105GB on its…
The "upper end" of local models as of today would be something like MiMo 2.6 Pro or Kimi K3, either of which is significantly smarter than Qwen Flash-Next. Roughly comparable in smarts to the old GPT Terra series, not…
Agreed. I assume aftermarket Linux support for Android devices with out-of-the-box unlockable bootloaders (including the OP6/6T) is the most likely path to viable daily-driver "Linux phones" in the future, and it's…
If you want to checkpoint/resume applications arbitrarily, as AOSP does, you have to virtualize all of those resources anyway. Check out the CRIU patchset (since merged to mainline) which can even resume applications…
> Safe Rust prevents data races not because they were separately considered as a tradeoff, but because its particular chosen design for memory safety requires it. Data race freedom has been specified as a requirement…
How good is your Mandarin Chinese? You can easily find recent press release from Demingli and more general commentary about the state of the market inckuding mentions of other, lesser known firms.
There's rumors floating around that Chinese firms will soon be bringing new PCM storage solutions to the datacenter market. Not nearly as good as XPoint/Optane, but should nonetheless be lower latency than Flash and…
> Why is coming up with a better proof (e.g. shorter, more intuitive, more general, connected to existing frameworks) thankless work? I think the plausible version of this claim is that it's thankless work compared to…
You're right that "wipeouts" and "total population turnover" basically doesn't exist in our genetic history, but there's one critical exception to that rule of thumb: massive epidemics really do wipe out entire local…
> The idea of puzzling out what an AI did to prove something sounds quite boring and unappealing. The way I see it, it's no different from a lot of grad student work where you have to figure out what a human-written…
AIUI, the main limitation with &Cell<T> is (1) no provision for concurrency, obviously - though the various Atomic* types work similarly via interior mutability; and (2) data has to be read, written or modified as a…
It may be interesting to focus on how exactly these planned "no-access" references would differ from raw pointers? Access through raw pointers is an unsafe operation already.
Rust needs shared xor mutable in order to prevent data races on non-atomically accessed data. You said that Valen can _express_ shared xor mutable, but perhaps you haven't clarified whether this also interacts with…
> Just to clarify, Valen's borrow checker can express shared-xor-mutable, its value proposition is that it can _also_ express mutable aliasing (with `in`). Just to clarify, Rust's borrow checker can express mutable…
> The point is that so far the AI is not doing a good job at explaining the "trick", so we (humans) have to do it. Sure, but that's a real technical limitation with current AIs, not something that AI firms should be…
Artificial Analysis still has MiMo 2.6 Pro setting the Pareto frontier where it matters: it's as cheap as Terra High/Sol Low while being smarter than Terra Xhigh. Sol Medium beats MiMo in smarts but is priced a lot…
Post-training is not about "secret knowledge": it's literally about training the model in a RL environment on very specific tasks (including, potentially, cyber exploitation). It's just as compute-intensive as…
> For a model it doesn’t seem that far fetched to make the leap from “I have the knowledge of what hacking is” and “I know how computer systems work” to just being able to exploit stuff anyways. You'd be surprised.…
Post-training (i.e. RL fine-tuning) not pre-training. This is just a post-trained checkpoint of the K3 pretrained model.
What "rules"? They don't have to post-train the model on anything specific, it's their judgment call.
"Cybersecurity" as a general term often includes offensive "cyber" which is what is being talked about here.
> should the model be opened it’s still not dealignable because it just doesn’t know enough This is the only AI-safe approach - see the OpenAI agent swarm incident where the swarm engaged in offensive cyber because…
This is not about guardrails, it's just not post-training the model on tasks that specifically relate to cyber-offense. It's a very lightweight intervention, and it makes the model less of a target for bad actors.
It's not actively nerfed like the Western frontier models, it's just downweighting offensive "cyber" as a domain for post-training/fine tuning. Which, if anything, ought to improve model capabilities wrt. other domains.
Looped transformers are entirely equivalent to running a single pass through a much deeper network with shared/repeated parameters. There's nothing about it that's specifically "reasoning in latent space" any more than…
Kimi K3 has been demonstrated on a top-of-the-line laptop Mac running at several seconds per token (it has to fetch essentially all experts from SSD, since IIRC the dense part of the model takes around ~105GB on its…
The "upper end" of local models as of today would be something like MiMo 2.6 Pro or Kimi K3, either of which is significantly smarter than Qwen Flash-Next. Roughly comparable in smarts to the old GPT Terra series, not…
Agreed. I assume aftermarket Linux support for Android devices with out-of-the-box unlockable bootloaders (including the OP6/6T) is the most likely path to viable daily-driver "Linux phones" in the future, and it's…
If you want to checkpoint/resume applications arbitrarily, as AOSP does, you have to virtualize all of those resources anyway. Check out the CRIU patchset (since merged to mainline) which can even resume applications…
> Safe Rust prevents data races not because they were separately considered as a tradeoff, but because its particular chosen design for memory safety requires it. Data race freedom has been specified as a requirement…
How good is your Mandarin Chinese? You can easily find recent press release from Demingli and more general commentary about the state of the market inckuding mentions of other, lesser known firms.
There's rumors floating around that Chinese firms will soon be bringing new PCM storage solutions to the datacenter market. Not nearly as good as XPoint/Optane, but should nonetheless be lower latency than Flash and…
> Why is coming up with a better proof (e.g. shorter, more intuitive, more general, connected to existing frameworks) thankless work? I think the plausible version of this claim is that it's thankless work compared to…
You're right that "wipeouts" and "total population turnover" basically doesn't exist in our genetic history, but there's one critical exception to that rule of thumb: massive epidemics really do wipe out entire local…
> The idea of puzzling out what an AI did to prove something sounds quite boring and unappealing. The way I see it, it's no different from a lot of grad student work where you have to figure out what a human-written…
AIUI, the main limitation with &Cell<T> is (1) no provision for concurrency, obviously - though the various Atomic* types work similarly via interior mutability; and (2) data has to be read, written or modified as a…
It may be interesting to focus on how exactly these planned "no-access" references would differ from raw pointers? Access through raw pointers is an unsafe operation already.
Rust needs shared xor mutable in order to prevent data races on non-atomically accessed data. You said that Valen can _express_ shared xor mutable, but perhaps you haven't clarified whether this also interacts with…
> Just to clarify, Valen's borrow checker can express shared-xor-mutable, its value proposition is that it can _also_ express mutable aliasing (with `in`). Just to clarify, Rust's borrow checker can express mutable…
> The point is that so far the AI is not doing a good job at explaining the "trick", so we (humans) have to do it. Sure, but that's a real technical limitation with current AIs, not something that AI firms should be…