HNHacker News
TopNewBestAskShowJobs

rando1234

82 karma · joined February 28, 2026

submissionscomments
rando1234··on Hot Chips 2026: Applying High Bandwidth Flash (HBF)
This is a game changer for local inference IMO, where you will basically never need to do this. On the other hand in a serverless/cloud setting it may be more problematic if you don't want to strand GPUs with locally attached HBF.
rando1234··on Hot Chips 2026: Applying High Bandwidth Flash (HBF)
What will be the durability/lifetime properties of this technology in comparison to traditional DRAM?
rando1234··on EU fines Google €890M for competition breaches over search and apps
What are you wittering on about. Get a grip.
rando1234··on Intel Starts Shipping High-NA EUV Silicon
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 (ducks).
rando1234··on RISC-V Is Inevitable: State of the Union Keynote Argues
Yeah, I feel like Rust has killed Cheri.
rando1234··on Is x86 ready to ACE it?
Could the registers potentially be used to store encryption keys?
rando1234··on GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
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··on Kani: A Model Checker for Rust
A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...
rando1234··on The UK's Teen Social Media Ban Is Political Theater, Not Child Safety Policy
Yes, if US tech companies exploitative behaviour is a net negative for children in our society then banning it doesn't seem unreasonable.
rando1234··on How we made hit video game Prince of Persia
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··on Kindle loyalists scramble as Amazon turns page on old e-readers
So it will be possible to jailbreak it and upload my own files still?
rando1234··on An OpenAI model has disproved a central conjecture in discrete geometry
See here for a recent example (albeit not fully autonomous: https://arxiv.org/abs/2605.10402)
rando1234··on Everything in C is undefined behavior
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··on Decisions that eroded trust in Azure – by a former Azure Core engineer
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··on The Resolv hack: How one compromised key printed $23M
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··on Language model teams as distributed systems
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··on Language model teams as distributed systems
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··on What makes Intel Optane stand out (2023)
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··on Can I run AI locally?
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··on The Isolation Trap: Erlang
I actually disagree, thought it read reasonably well and didn't feel LLMy at all.
rando1234··on A decade of Docker containers
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··on A decade of Docker containers
Didn't Vagrant/Vagrantfiles precede Docker? Unclear why that would be the key to its success if so.
rando1234··on Triplet Superconductor
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··on Labor market impacts of AI: A new measure and early evidence
Has this been peer-reviewed?
rando1234··on Proton Mail Helped FBI Unmask Anonymous 'Stop Cop City' Protester
You can pay proton anonymously according to some other comments here...
rando1234··on The United States and Israel have launched a major attack on Iran
Bombs for peace.
rando1234··on The United States and Israel have launched a major attack on Iran
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 not involved in instigating a coup to bring in the Shah?

rando1234··on The United States and Israel have launched a major attack on Iran
Don't know why you are being down voted. I mean Iran had a democracy that was toppled by the CIA when they tried to nationalise their resources in favour of a puppet dictator. If the US cared so much about human rights why not go invade Saudi Arabia.
rando1234··on The United States and Israel have launched a major attack on Iran
So I suppose you'll be attacking Saudi Arabia after this if you're so worried about humanitarian conditions?