tsimionescu

6 ms·

1.
by tsimionescu 6d ago
Car infrastructure is typically a huge part of the costs of any city. Roads and parking spots and so on don't maintain themselves. If most people used public transport, you'd need far less road infra to maintain every year. Anyway
2.
by tsimionescu 7d ago
Note that every time a company comes up with a choice between a smaller phone and a larger phone (up to some limit when you get into phablet territory), the larger phone sells in much, much higher numbers. Apple themselves tried the Mini, i
3.
by tsimionescu 7d ago
The point is this: if you live in a city with bad/no public transport, then a car is necessary for going about everyday life. If you live in a city with good public transport, it's really not. Given the fact that car infrastructur
4.
by tsimionescu 7d ago
The point is that good public transport makes cars unnecessary for the vast majority of everyday life in an urban setting. And, in particular, it means that taking away someone's license, even for a long period of time, doesn't ha
5.
by tsimionescu 7d ago
> So what should the disabled people do until that amazing public transport infrastructure materializes, if it ever even does for them at all? Sit at home and wait? No, the point was that instead of cities waiting until self-driving cars
6.
by tsimionescu 8d ago
How do you confirm that you did enough pre-train and post-train to remove the relevant bias/backdoor? Note that I'm not singling out Chinese models here. The same question and concern should apply to any model you use - in securit
7.
by tsimionescu 9d ago
> any open-weight self-hosted chinese model might as well have been made by Von der Leyen herself. This is simply wrong. Plenty of security-sensitive companies and agencies disallow the use of any Chinese model out of hand. Given the bla
8.
by tsimionescu 9d ago
What's the difference in how many people apply?
9.
by tsimionescu 10d ago
Apart from a gamma-ray burst, what do you imagine could happen to the Earth to make it as inhospitable as Mars? Asteroid hits wouldn't come even close. The worse disease imaginable would not make the air as permanently dangerous to lif
10.
by tsimionescu 10d ago
> The avoidance of having children is almost entirely shaped by the cultural environment and not economic environment. Cultural factors are certainly a part of it, but probably mostly in the sense that we are (rightfully, I believe) far
11.
by tsimionescu 10d ago
People aren't making more children because they largely can't afford to, either in actual resources, or in time spent. And, unlike in a rural community, children don't have any "return on investment" - plus, you gen
12.
by tsimionescu 10d ago
The company owners have one set of standards for those that work for them, and a completely different set of standards for themselves and for the company itself. If you are using AI and it causes some damage to them, then it's your fau
13.
by tsimionescu 10d ago
We still have a good few thousand years until we make the Earth anywhere close to as inhospitable as the second best planet in the Solar System - and probably much more than that before we run out of space on Earth. It makes far more sens
14.
by tsimionescu 10d ago
> P.S: the biggest success, from their leftist point of view, of french intellectuals is managing to present national-socialists as "far right" (as if they were fascists) I wander how "national-socialist" sounds in ot
15.
by tsimionescu 11d ago
This being 13M lines of entirely agent-generated code, we can't be certain it's written in good faith and doesn't actually exploit some weird metaprogramming trick. The agents' goal was to write a proof that Lean prints
16.
by tsimionescu 11d ago
> No matter what standard of care you receive, senescence will gradually kill you even with therapies or treatments to slow it. That doesn't mean that it can't be entirely reversed. We already know that senescence is not a comp
17.
by tsimionescu 11d ago
The point is that the kind of horrendous diseases you see affecting babies are also, many of them, natural parts of the human experience, just as much as aging. And yet we all like the fact that pediatric hospitals exist to cure these natur
18.
by tsimionescu 11d ago
That's a completely different matter than what this thread was about. This thread was about whether mistakes in the 13M lines of Lean code could mean that this proof could be wrong despite Lean saying it's right.
19.
by tsimionescu 11d ago
It's important to remember that most mathematics is not science - large parts of it are mostly esthetic pursuits that bring joy to certain mathematicians, and sometimes happen to have unexpected benefits to science or engineering (like
20.
by tsimionescu 12d ago
If IP were entirely abolished tomorrow with no other change to our economic system, you would still not have universal Healthcare (maybe drug prices would be lower, though), Elon Musk could still donate however much he wants to get his pref
21.
by tsimionescu 14d ago
I'm guessing you're alluding to Goedel's incompleteness theorem, but that really doesn't apply to physics. It's a statement about certain properties of formal systems - basically it tells us that for any formal syst
22.
by tsimionescu 15d ago
Inflation kills your wage much more reliably than wealth. If anything, the exact opposite of what you're saying happens: wealth has much lower risk from inflation, because the nominal price of the actual assets that your wealth is comp
23.
by tsimionescu 16d ago
> Yeah, but to the extent that the server is useful, it needs to be exposed to the internet. Not if it's a private server, like the poster above was describing. For example, if I want to maintain a NAS to store my photos and view th
24.
by tsimionescu 16d ago
Having actual unique stable IPv6 addresses for every device is the dream of every Ad vendor - no need to bother with the huge array of tracking techniques and the chicken and mouse game of fighting various tracking protection solutions, jus
25.
by tsimionescu 16d ago
> But if I see a user that exposes a server without a dedicated IP address, and they use tailscale for this, the way I would describe it is that they are adding a third party node that routes traffic for them (just to provide multiplexin
26.
by tsimionescu 16d ago
What consumer routers implement DPI in their default firmware? What type of traffic are you claiming they are dropping? I've never heard of a claim like this, so I'm really curious. Note that I'm not talking about the huge DP
27.
by tsimionescu 16d ago
If one person can spend 2 days fighting to prevent 1h of useless work for all of the people running curl, that person has saved the software industry millions of dollars worth of developer time. So it's very much worth it, and I, for o
28.
by tsimionescu 16d ago
The problem of CVE inflation is not just that you might be forced to patch a CVE that is not applicable to your product. Even investigating to understand whether a CVE is applicable or not takes time, and is simply not worth it for obscure
29.
by tsimionescu 17d ago
Perhaps worth noting, perhaps not, but "floci" is a vulgar word in Romanian, perhaps not the best branding one could choose (seeing as there are quite a few Romanians in software development).
30.
by tsimionescu 17d ago
I was responding to someone who said Tylenol was more dangerous than "most illegal drugs". Since the only danger of Tylenol is death from overdose, I searched for some data on deaths from Tylenol overdose and deaths from illegal

More ›