simiones

4 ms·

31.
by simiones 1mo ago
It is actually a very relevant real-world definition - even though I agree with you on the intangible value of time. The reason why it is very relevant is that, in the way we have unfortunately structured our economy, the amount of work you
32.
by simiones 1mo ago
> My machine 20 years ago was not an SOC and didn't have an SSD either. It was fast as lightning to open a window. I never understand what people exactly mean by claims like this. I very vividly remember double clicking some executa
33.
by simiones 1mo ago
In the sense measured in economics, only if the product at the end of the day is sold for the same nominal amount of dollars as before. It doesn't matter how many features or lines of code or bugs or anything like this you produced - i
34.
by simiones 1mo ago
Becoming and then staying homeless for a significant time is often almost irreversible. The key is to prevent people from ever getting there, as much as you can - and that is the point the poster above was making. The fall from house + job
35.
by simiones 1mo ago
Per that link, this runs a Linux kernel as a VM on top of an L4-based hypervisor.
36.
by simiones 1mo ago
> but they need a native seL4/Linux if they want to honestly claim they are improving systems' security with their capability model. Are you using "seL4/Linux" in the style of "GNU/Linux"? Because
37.
by simiones 1mo ago
I don't think it needs to be so dramatic. You could have a proof that the algorithms don't contain data-dependent logic, and perhaps ensure that no data-dependent instructions are generated; and that all branches have the same num
38.
by simiones 2mo ago
> If not, then what would be the result of the multiplication of 3 with "m"? The answer is not, and the result of 3 multiplied by m is 3m. Just like 3 multiplied by pi is 3pi; or, perhaps more accurately, you can view m as a ki
39.
by simiones 2mo ago
The naming is irrelevant here. The point is that sin(x) ~ x for small x, whereas sinrev(x) ~ rev * x for small x, which is much uglier. And similar things happen to the derivative of sinrev() vs regular sin() and so on. So switching to pref
40.
by simiones 2mo ago
Dimensions and units are separate things, though. For example, 1 minute and 1 second are different units of the same time dimension. Similarly, 1 rad and 1 degree are both dimensionless, but they are both different units.
41.
by simiones 2mo ago
This is precisely why (programming language) types are poor model of physics units, despite often being touted for this exact use case. 3m is not the same thing as "the value 3 of type meter". It is the multiplication of the dimen
42.
by simiones 2mo ago
An important nitpick: Wikipedia requires reputable secondary sources, not primary sources. You can't cite a politician's personal social media, for example, you have to cite reporting on those statements. This is part of Wikip
43.
by simiones 2mo ago
It has been happening since people have existed. It used to be called propaganda before these, and rumor spreading since before the written word even existed.
44.
by simiones 2mo ago
> All those methods are applied with the specific goal of improving output quality and are applied to the extent that they do this Yes, that's the goal that was used, but they are quite simplistic and crude methods, not some specifi
45.
by simiones 2mo ago
My main point is that sampling with a modified distribution compared to the one produced by the model is already being done, and it is generally found to increase quality, not decrease it. So there is no reason a priori to assume that the w
46.
by simiones 2mo ago
No one uses a pure random function over the whole probability distribution described by the LLM's output. For example, there is exactly 0 probability that the chosen next token by any common API or even local LLM runner would be a toke
47.
by simiones 2mo ago
An arena is a type of allocator that allocates efficiently and never deallocates (`arena.free(ptr)` is a no-op). That is basically what defines it. Since there is no free(), doing allocation via a simple pointer bump is the most natural imp
48.
by simiones 2mo ago
Not sure if they tried to do this in the UK, which I believe has very different standards to the USA for what it means for something to be a legitimate religious practice. In the USA I believe they actually succeeded in obtaining various re
49.
by simiones 2mo ago
I'm personally atheistic, and thus have no religious practices whatsoever. However, just like it's legal to build churches, to ring church bells, to wear visible religious imagery, it's also legal and highly protected to talk
50.
by simiones 2mo ago
Even this is too simplistic. While C compilers normally use the OS ABI, there is nothing that requires them to do this, and other languages don't. Of course, when you need to call functions provided by the OS, you have to do so followi
51.
by simiones 2mo ago
I'm pretty sure that would fall under freedom of religion rights, and it couldn't be banned. Especially as proselytizing is a well known and well established religious practice.
52.
by simiones 2mo ago
I think they meant "unknown numbers" as "numbers that are not saved in my phone", not hidden numbers.
53.
by simiones 2mo ago
"Solution" seems rather euphemistic for making people literal slaves of AI.
54.
by simiones 2mo ago
A change can introduce regressions in any large project even if 100% of unit tests pass. Unit tests test individual units, regressions can happen at many levels. Especially if we treat performance degradations as regressions.
55.
by simiones 2mo ago
It is a well known fact that projects with unit tests never have regressions.
56.
by simiones 3mo ago
Well, even that doesn't really work, because optimized allocators typicallly don't allocate exactly the amount that you ask for, they allocate some larger chunk to help with both alignment and fragmentation. So, most likely, there
57.
by simiones 3mo ago
> The US can win the opening military phase pretty decisively. Can they? Iran seems to have destroyed them pretty decisively, after the literal first day of casualties (which were happening while Iran thought it had just reached an agree
58.
by simiones 3mo ago
But the point of the conjecture is not that "some equilibrium price exists and can be reached". The whole point is that even monopolists will actually sell this type of good directly at the marginal cost, at the fix point. That
59.
by simiones 3mo ago
People generally hate to see scams stealing money from naive marks. Both SpaceX and Tesla are obvious scams at anything close to their current valuations (despite having real, functional businesses in there! ), that Elon keeps pumping up wi
60.
by simiones 3mo ago
Why 50,000 years of technological development and not 50 billion?

More ›