soerxpso

6 ms·

1.
by soerxpso 4d ago
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?
2.
by soerxpso 5d ago
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 d
3.
by soerxpso 5d ago
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 technolog
4.
by soerxpso 7d ago
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
5.
by soerxpso 15d ago
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&#x27
6.
by soerxpso 29d ago
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
7.
by soerxpso 2mo ago
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.
8.
by soerxpso 2mo ago
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 prov
9.
by soerxpso 2mo ago
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.
10.
by soerxpso 2mo ago
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.
11.
by soerxpso 2mo ago
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.
12.
by soerxpso 2mo ago
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 wh
13.
by soerxpso 2mo ago
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 becaus
14.
by soerxpso 2mo ago
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.
15.
by soerxpso 2mo ago
> 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
16.
by soerxpso 3mo ago
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
17.
by soerxpso 3mo ago
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 M
18.
by soerxpso 3mo ago
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
19.
by soerxpso 3mo ago
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 hi
20.
by soerxpso 3mo ago
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 differ
21.
by soerxpso 3mo ago
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 appoint
22.
by soerxpso 3mo ago
> 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?
23.
by soerxpso 4mo ago
You're giving a lot of credit to the human alternative, especially considering that the attacker only needs to find one lazy human.
24.
by soerxpso 4mo ago
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 mete
25.
by soerxpso 4mo ago
If you think you're owed a salary to do something that a simple machine can do, I have a field for you to plow by hand.
26.
by soerxpso 4mo ago
Bugs exist in human code too. The AI derangement crowd pounces on any small bug as evidence that AI is a trebuchet, and thinks that if only we didn't use AI there would never be any bugs (like five years ago when all software was perfe
27.
by soerxpso 4mo ago
Why do we need any tools at all? Software worked perfectly fine when people were editing code with `ed`, so I'm going to go open timewasting issues complaining about FOSS devs using an IDE.
28.
by soerxpso 4mo ago
"Science" can do as much science as it wants on its own dime then. Public funding should be guided by public oversight, not career bureaucrats.
29.
by soerxpso 4mo ago
My understanding of caching with most models/providers is that a prefix substring of the context has to be reused for a cache hit, but not necessarily the whole entire context window. So if you prune tool calls from the history, you&#x
30.
by soerxpso 4mo ago
> It’s like if I go to Golden Gate Park and pick one flower, I shouldn’t do that, but no one cares. But if I build a machine to automatically cut every flower in the park because I want to sell them, that’s different. It's not like

More ›