HackerTrans
トップ新着トレンドコメント過去質問紹介求人

rando1234

54 カルマ登録 4 か月前

コメント

rando1234
·13 時間前·議論
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 to suggest some promising suggestions.
rando1234
·5 日前·議論
A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...
rando1234
·25 日前·議論
Yes, if US tech companies exploitative behaviour is a net negative for children in our society then banning it doesn't seem unreasonable.
rando1234
·29 日前·議論
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.
rando1234
·2 か月前·議論
So it will be possible to jailbreak it and upload my own files still?
rando1234
·2 か月前·議論
See here for a recent example (albeit not fully autonomous: https://arxiv.org/abs/2605.10402)
rando1234
·2 か月前·議論
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 executed last in the transformation pipeline and this was needed for correctness. The assumption was that since no further optimisations happened it was safe. Now I'm not so sure...
rando1234
·3 か月前·議論
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 years old with known critical unpatched vulnerabilities. Always been a bit sceptical of them since then
rando1234
·4 か月前·議論
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?
rando1234
·4 か月前·議論
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 more expensive model.
rando1234
·4 か月前·議論
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't. No insights as to why. As someone with a distributed systems background the supposed 'insights' from distributed computing are almost trivial.
rando1234
·4 か月前·議論
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 latency, is that really such a deal breaker?
rando1234
·4 か月前·議論
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 GPU support etc? I currently have a Dell XPS 13. Should I just get a MacBook? Or are there good non-Mac options?
rando1234
·4 か月前·議論
I actually disagree, thought it read reasonably well and didn't feel LLMy at all.
rando1234
·4 か月前·議論
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.
rando1234
·4 か月前·議論
Didn't Vagrant/Vagrantfiles precede Docker? Unclear why that would be the key to its success if so.
rando1234
·4 か月前·議論
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 necessary evil.
rando1234
·4 か月前·議論
Has this been peer-reviewed?
rando1234
·4 か月前·議論
You can pay proton anonymously according to some other comments here...
rando1234
·4 か月前·議論
Bombs for peace.