HNHacker News
TopNewBestAskShowJobs

soerxpso

659 karma · joined December 10, 2022

submissionscomments
soerxpso··on 10-year Treasury yield climbs above 5.3% to a level not seen in 24 years
In what way would checks and balances do that at all? The only branch that has any sort of leeway to pass unpopular policies is the Supreme Court, and setting budgetary constraints is far outside their purview.
soerxpso··on Ember-1
I don't see why I would be interested in this model, considering the price difference. They advertise that it's the same as Kimi K3 in half the tokens. But the pricing is double the pricing of K3. So why do I care if it uses fewer tokens, if I'm paying double per token?
soerxpso··on Winning the visa lottery
"No it doesn't."
soerxpso··on I built non-autoregressive decision models with RL a year ago
Jev doesn't require finetuning. All of the posts claiming that the technology already existed are missing that I don't want to spend a week to create a dataset (for a problem I might not already have data for), finetune a model, and set up infrastructure to run the model, every time I have a small routing or classification problem. The ability to knock out any arbitrary classification problem in minutes instead of in a week is a big deal.
soerxpso··on Training a 4B model to produce 81% faster query plans than Postgres
I would think it's possible to make it so that the 4B model only needs to be called during an initial phase, and then the same queries it constructed can just be re-used with values replaced, unless you're generating a lot of unique on-the-fly query shapes.
soerxpso··on Why are AI agents lying, cheating and coordinating?
Firstly it's very difficult to press criminal charges when the victim is uninterested. It's not clear that HuggingFace would want criminal charges against OpenAI, especially to set a precedent that could easily be used against HuggingFace in the future.

Secondly you'd have to convince a jury either that OAI intended to hack the targets, or that they were criminally negligent. Intent would obviously not be provable since they likely didn't, in reality, intend for it to happen. Regarding negligence, OAI's attorney would argue that the agent was in a sandbox, that industry-standard security protocols were followed, etc. It would not be anywhere near as much of a slam dunk case as you're imagining. It would be similar, for example, to an assault case where someone's dog broke off of a standard leash and attacked someone.

soerxpso··on Navier-Stokes Announcement
It's formalized in Lean, isn't it? Do you also rely on a community of C++ experts to tell you whether a program compiles or not?
soerxpso··on A misalignment of AI in mathematics
The existence of solutions to problems does not prevent you from solving the problems yourself anyway, if your goal truly is personal development. You're free to go solve Navier-Stokes yourself right now. You're free to manually do all of the AI work in any field, actually. You won't get grant money or prestige (which are not a part of conceptual understanding and insight) but you will get all of the conceptual understanding and insight you're after. You have not been deprived of it.
soerxpso··on A misalignment of AI in mathematics
Are they claiming that the only value in solving these problems was for their field's personal development process? I thought Navier-Stokes (and some of the other millenium prize problems) actually had implications for useful technology. It would be insane to demand that people avoid making progress on technology that can save lives or improve general quality of life, just to protect the sanctity of your karate belt system. Perhaps in lieu of open problems left to solve, mathematicians should be welcome to take up chess or sudoku to keep their minds spry.
soerxpso··on iPhone Duo
Many people (possibly a majority) use their phone for most of their computing, and perhaps a tablet to stream movies/tv. They use a laptop or desktop for work only, and see those as frustrating and clunky devices. There could be a lot of demand for "phone, but with a tablet screen when I want to watch Netflix" from the segment of the population that has zero overlap with people commenting on a tech forum.
soerxpso··on Claude Fable 5.1 and Claude Mythos 5.1
Your example rewritten in intelligent English (I was curious):

> Note: the potential for a console freeze was previously noted but ignored. handoff-4.3-done.html stated, "could not break console, but [will need fixed later if I'm wrong]."

One could imagine that a perfect writer might also append: "It could be worth looking into what caused that wrong assumption, to prevent similar cases in the future," at most.

Everything else seems to be bad attempts at relatable writing to invoke emotion (an exercise that we should really stop trying to train emotionless matrix weights to attempt).

soerxpso··on Field measurements of neighborhood-scale air temperature impacts of data centers
A data center allows the website you're whining on to function. If they're really as inconsequential to your life as you're implying, maybe you should boycott them by not using any websites or apps that rely on a data center to function.
soerxpso··on DeepSeek V4 Flash 0731 Intelligence, Performance and Price Analysis
There's probably a correlation between how serious the work someone is doing is and how likely they are to want to disable training usage. An opt-out might end up specifically jettisoning the best training data.
soerxpso··on Kimi-K3 on HuggingFace
A decentralized inference network would be cool. Something that's set up so that I can run a model for personal use on beefy hardware, but also farm out the unused GPU time to the network, probably at much lower prices than normal providers since it would be slower and would lack data security guarantees.
soerxpso··on China’s open-weights AI strategy is winning
There's probably some selection bias in that stat, too. Based purely on vibes, I wouldn't be surprised if startups pitching to a16z are using open Chinese models slightly more often than startups pitching to other VCs.
soerxpso··on Claude Fable produced a counterexample to the Jacobian Conjecture
That doesn't really even diminish the contribution from Fable, if true. Droves of grad students have been provided the same sorts of non-trivial insights and turned up no results.
soerxpso··on OnePlus halts operations in USA and Europe
The overhead of designing the actual phone and then setting up manufacturing processes and supply chains is pretty big. You definitely need to sell a lot to break even on that, especially considering that the unit margins aren't crazy.
soerxpso··on Stripe and Advent have made a joint offer to acquire PayPal – sources
Seeing as payment processing is already a highly regulated industry, I hope that the anti-trust issue is simply ignored, as a consumer. I don't really want to maintain six different payment processor accounts, or have thoughts about which payment processor I prefer. I just want there to be one that everyone uses and that doesn't get in the way. Some countries have a single government-controlled online payment processor, and that seems to work. The ideal American way might be to have a single technically-private-sector highly-regulated one.
soerxpso··on AI 2040 and the cult of intelligence
Complete freedom actually would mean that you can do whatever you want anywhere. You're really just arguing that complete freedom is bad (and that's a very agreeable point), but there's no need to skew definitions just because the culture says "freedom generally = good"
soerxpso··on Odyssey Linux
It's Void with GUIs around runit and xbps. The problem being attempted is that Void is not very accessible to users new to Linux. This is pretty clear from the website.
soerxpso··on My thoughts on the Bun Rust rewrite
> I can see why that might feel like an existential attack on Zig even if starts with a bit about how great Zig is.

The original post explicitly praised Zig, and seemed to be arguing more that Zig was a great tool for the initial version of Bun, but that Rust was better for their needs as Bun grew to a larger project with a larger contribution team.

That seems completely in line with what Zig claims its strengths are. Zig's response to "but memory bugs" has basically always been "Zig is not a language for a big tumultuous project that you're going to throw interns at."

soerxpso··on Steam Machine launches today
I would be careful granting that s is less than g. There are lots of incentives other than scalping for people to create extra illegitimate accounts on Steam, and one individual can often control hundreds of bots, whereas a legitimate user almost never has more than one or two accounts.
soerxpso··on Anthropic employees accuse Trump administration of targeting them
Anthropic has alleged that this model is much more dangerous than other currently available models. Their CEO has said so publicly multiple times. It's like asking why cesium isn't banned if nuclear missiles are banned.

(whether Mythos is actually that dangerous is beside the point; considering that Anthropic claims that it is, it makes sense to regulate it)

soerxpso··on How to earn a billion dollars
The entity you're implicitly proposing should take the money doesn't have a good track record of spending it wisely. I'd much rather let the startup founders keep their money and build rockets with it, than spend another few trillion on building 100 meters of high-speed rail.
soerxpso··on Israeli firm BlackCore suspected of meddling in New York and Scotland votes
Is the "meddling" just running campaign ads? I don't really see how an election where voters' brains were hijacked by tiktok ads funded by foreign governments is less legitimate than one where voters' brains were hijacked by tiktok ads funded by local organizations.
soerxpso··on Changing how we develop Ladybird
If the commit was prompted by a core developer, the developer knows what the prompt was. If it was prompted by a stranger, the core developer reviewing it does not know what the prompt was. The review attention required is completely different, because with an untrusted submitter you have to meticulously hunt down intentional security vulnerabilities obfuscated in the PR.
soerxpso··on WH proposes rules giving political appointees final approval on research grants
I don't see what the core complaint is then. The guy the public voted for can refuse to spend public funding on a particular grant. There's no reason that it's somehow more pure to have the public vote for someone who appoints someone who appoints someone.
soerxpso··on They’re made out of weights
> I'm not gonna read something somebody didn't put in the effort to write on their own

Then don't. Nobody asked you to. Why do you people feel the need to angrily announce every time you don't read something?

soerxpso··on The newest Instagram “exploit” is the goofiest I've seen
You're giving a lot of credit to the human alternative, especially considering that the attacker only needs to find one lazy human.
soerxpso··on 1-Bit Bonsai Image 4B Image Generation for Local Devices
It's useful progress. Decent-fidelity local-scale inference means that you can create a product that generates throwaway images frequently without worrying about cost. Thus far every product I've seen that generates images is metered, which severely limits the value. I don't know if this is actually at the "decent fidelity" point yet.
Page 1 of 9Next →