afiori

8 ms·

151.
by afiori 10mo ago
For almost all purposes and users this is the same as saying "just close your eyes"/"just stay offline".
152.
by afiori 10mo ago
It depends if Google ranks all users' watch time the same or less profitable users are weighted less in the "algorithm" If all users' are ranked the same then loyal adblocking users can still help a lot
153.
by afiori 10mo ago
> product types A & B, sum types A | B those are intersection types and union types and are much more unique and rare in type systems eg all typed functional languages have product/sum types but typescript is the only mainstream
154.
by afiori 10mo ago
If rust skipped async features I think it would not have damaged it much
155.
by afiori 10mo ago
I agree, I think they should have delayed it. In a different universe rust still does not have async and in 5 years it might get an ocaml-style effect system.
156.
by afiori 10mo ago
AI embeddings can be seen as a very advanced form of lossy compression
157.
by afiori 10mo ago
It they had not messed up async it would be much better
158.
by afiori 10mo ago
https://www.ralfj.de/blog/2025/07/24/memory-safety.html Go is by default not thread safe. Here the author shows that by looping for { globalVar = &Ptr { val: &myval } global
159.
by afiori 11mo ago
I might be wrong but that list is mostly libraries I think? I agree that it is easy to implement a recent version in your own code, what I meant is that a lot of the tools/software you might want to use JSON Schema with (eg mongodb val
160.
by afiori 11mo ago
JSON schema is nice overall* but every software only supports ancient versions like draft 4 *even if I would prefer more transformation/conversion features that would bring it to more more a parser rather than only a validator
161.
by afiori 11mo ago
I still do not get what this has to do with whether judges act as a secondary legislature
162.
by afiori 11mo ago
Lean/mathlib seems a fantastic system, but in my brief experience it fails in a way that is very common between academically oriented software which is the handling of scopes and names; For example some imports introduce definitions i
163.
by afiori 11mo ago
Anyway this is a matter of judicial discretion to decide whether personhood and rights would apply to an alien visitor. The only difference between precedent laws and codes is that the judges act as a secondary less stable legislature. You
164.
by afiori 11mo ago
I am pretty sure that hunting laws would apply
165.
by afiori 11mo ago
The discourse is not valve good others bad, rather it is consumer/product focused good and next-quarter/short-term-profit focused bad. With the context that a lot of modern enshittification, outsourcing, layoffs, anti-consumer pra
166.
by afiori 11mo ago
Many CEOs are either paid by mythical "shareholder value" or beholden to it in the shape of a board, if they tried to go the valve route they would likely get replaced too soon for the benefits to materialize
167.
by afiori 11mo ago
> In most function vector spaces you encounter in mathematics, you can not say what the value of a function at a point is. They are not defined that way. That is because they are not vector spaces of function but a quotient of one
168.
by afiori 11mo ago
also people expect smaller cars to cost far less so they have far lower per-unit profits
169.
by afiori 11mo ago
Unless the maintainers are incompetent or uncooperative this does not feel like a good strategy. It is a good strategy on Google's side because it is easier for them to manage
170.
by afiori 11mo ago
This is a fantastic argument for the universe where Google does not disclose vulnerability until the maintainers had had reasonable time to fix it. In this world the user is left vulnerable because attackers can use published vulnerabilitie
171.
by afiori 11mo ago
> This is the same pattern as versioning I guess we disagree on the reasonable interpretations of this sentence
172.
by afiori 11mo ago
Happy to have set my television to less than half saturation
173.
by afiori 11mo ago
:( Things can have similarities without being the same. Also not being unique is not a moral failure. I think I am failing to understand your stance.
174.
by afiori 11mo ago
That is a very reductionist view and not particularly useful either. It shares elements with versioning and you could likely implement this using explicit versioning, but it is completely independent of it. The main difference I see is that
175.
by afiori 11mo ago
I believe that current publicly available Ais are more intelligent than a non trivial fraction of adults.
176.
by afiori 11mo ago
It is funny to me how fractally perverse systems gets when a centralised authority refuses to directly solve a problem but rather decide have it solved by third party uncooperative players by creating an endless stream of byzantine rules to
177.
by afiori 11mo ago
Germany still does this, to a good fraction of incoming long distance busses (but not trains IIUC)
178.
by afiori 1y ago
I guess they use something like sessionStorage to hold tab specific ids. But something that can bite you with these solutions if that browsers allow you to duplicate tabs, so you also need some inter-tab mechanisms (like the broadcast API o
179.
by afiori 1y ago
You can see it another way: everyone wants to be the one that controls access to services; it is what search and news aggregators have in common. Even if pizza hut wanted people to order pizza the most efficiently with no time wasted it wou
180.
by afiori 1y ago
Citing sources is not a magic that makes what you say true, it just makes statement more easily falsifiable. LLMs can cite sources as well as any human, that is with a non-trivial error rate. LLMs are shit for a lot of things but the proble

More ›