HackerTrans
TopNewTrendsCommentsPastAskShowJobs

rando1234

54 karmajoined 4 miesiące temu

comments

rando1234
·11 godzin temu·discuss
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 dni temu·discuss
A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...
rando1234
·25 dni temu·discuss
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 dni temu·discuss
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 miesiące temu·discuss
So it will be possible to jailbreak it and upload my own files still?
rando1234
·2 miesiące temu·discuss
See here for a recent example (albeit not fully autonomous: https://arxiv.org/abs/2605.10402)
rando1234
·2 miesiące temu·discuss
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 miesiące temu·discuss
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 miesiące temu·discuss
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 miesiące temu·discuss
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 miesiące temu·discuss
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 miesiące temu·discuss
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 miesiące temu·discuss
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 miesiące temu·discuss
I actually disagree, thought it read reasonably well and didn't feel LLMy at all.
rando1234
·4 miesiące temu·discuss
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 miesiące temu·discuss
Didn't Vagrant/Vagrantfiles precede Docker? Unclear why that would be the key to its success if so.
rando1234
·4 miesiące temu·discuss
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 miesiące temu·discuss
Has this been peer-reviewed?
rando1234
·4 miesiące temu·discuss
You can pay proton anonymously according to some other comments here...
rando1234
·4 miesiące temu·discuss
Bombs for peace.