Viewing profile — rando1234

What are you wittering on about. Get a grip.

Amazing looking machine! $380 million a pop. Must surely be one of the most sophisticated machines humanity has ever built? A great achievement of European science and technology (…

Yeah, I feel like Rust has killed Cheri.

Could the registers potentially be used to store encryption keys?

It's funny, I found exactly the same thing when I asked about P=NP. The models outright refused to attempt to solve it, claiming it was too hard. I had to really battle to get it t…

A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...

Yes, if US tech companies exploitative behaviour is a net negative for children in our society then banning it doesn't seem unreasonable.

I love the 'How we made the...' series on the guardian. They also do it for songs, movies etc. Really interesting to hear the back stories.

So it will be possible to jailbreak it and upload my own files still?

See here for a recent example (albeit not fully autonomous: https://arxiv.org/abs/2605.10402 )

The point in the article that 'It's not about optimisations' really got my attention. I've previously done some work where we wrote an analysis pass under the assumption that it ex…

I recall seeing some pretty damning reports from a security pentester that was able to escape from a container on Azure and found the management controller for the service was year…

Where did the 4.8% number come from? Is it based on the validator stake? How does that compare to the number required to fork Bitcoin as a function of it's supply?

Where we've had some success is with heterogeneous agents with some cheap quantised/local models performing certain tasks extremely cheaply that are then overseen or managed by a m…

Struggling to find anything interesting or non-obvious about this article. You give a bunch of LLMs various parallelizable task and some models manage to do it well but others don'…

Interesting perspective re CXL synchronous API. Wouldn't things like OOO execution and speculation help with that? And anyway the latency is supposed to be comparable to NUMA laten…

On a related question, I'm in the market to buy a new laptop for development and want to get something with good support for local models. What is a good recommendation in terms of…

I actually disagree, thought it read reasonably well and didn't feel LLMy at all.

Sure - I was just referring to the use of a Vagrantfile to configure the VM. The start of the article seemed to be pushing the Dockerfile itself as a big innovation.

Didn't Vagrant/Vagrantfiles precede Docker? Unclear why that would be the key to its success if so.

You should read them as publicity to convince stupid politicians to continue to fund basic research when they are more inclined to go for tax cuts for billionaires. Annoying, but a…

Has this been peer-reviewed?

You can pay proton anonymously according to some other comments here...

Bombs for peace.

My point is that any Americans claiming moral legitimacy for these actions due to human rights considerations should give us all a break. And are you really claiming the CIA was no…