simiones

7 ms·

91.
by simiones 3mo ago
> Android Auto does try to distract me with attempts of engagement like "Is the construction site still there?" and other shit. That's not Android Auto, it's Waze doing that (and it would do it on Apple too). And it&#
92.
by simiones 3mo ago
Oops, I confused some history, thank you for the corrections!
93.
by simiones 3mo ago
Well, it's not exactly engineering, but physics often uses quite informal math. For a pretty modern example, the Dirac delta "function" was used long before it was formally described; and I have heard it said that even today
94.
by simiones 3mo ago
This is a bit reductive about what "proof" actually means in mathematics. Even in math, the kind of formal proofs that tools like Coq can automatically verify are an extreme, and lots of accepted and practiced math is not doing th
95.
by simiones 3mo ago
> How is the government supposed to be able to regulate them impartially when they're literally invested in them. That is exactly the point of this move, especially during the Trump administration.
96.
by simiones 3mo ago
2500 kcal is waaaayyy above the TDEE of most people (especially most women - who hover around 1200-1500 TDEE; but even for men, 2000 TDEE is quite common for a regular office worker lifestyle). So most people would get quite fat quite rapid
97.
by simiones 3mo ago
That's why Skittles-based diets tend to perform so well!
98.
by simiones 3mo ago
> a group who who broke a policewoman's back with a sledgehammer? This was tried in court, and the conclusion was that this was an accident during a fight, not an intentional act [0] (after violence was initiated by security forces
99.
by simiones 3mo ago
Maybe his views are more heterodox and he was counting Puerto Rico as 51st! (sarcasm, in case this isn't clear)
100.
by simiones 3mo ago
That's not the problem, and this is not just pedantry. It's just not correct to say that n/0 = inf, nor even to say that positive_n / 0 = inf, in any normal math context. For example, if you accepted that n/0 = inf
101.
by simiones 3mo ago
There are more layers to this problem, if we want to get into the details. The LLM is defined in terms of floating point operations, and those are not actually fully deterministic, on most hardware and in most performant implementations. IE
102.
by simiones 3mo ago
This sub-thread was about cloud environments, where different requests may be served by different hardware. And it's in fact very likely that there will be a mix of different hardware from different vendors, in any particular LLM cloud
103.
by simiones 3mo ago
In almost all forms of math, the value n/0 is undefined. It's definitely not infinity, for two reasons - depending on the value of n, it can be negative; and neither info nor -inf are numbers, so they can't be the result of
104.
by simiones 3mo ago
The very concept is quite culturally contingent - both in how much buyers would care about getting such a service, and in how much celebrities would be willing to engage in this type of fan service. Going global would also require a huge am
105.
by simiones 3mo ago
There's a huge difference between purely intellectual subjects, like organic chemistry and integrals, and the mix of emotional and intellectual depth of a novel. A lot of the meaning of literary works is built on top of shared human ex
106.
by simiones 3mo ago
I would say that Checkhov is mostly known for his plays, not for short fun stories.
107.
by simiones 3mo ago
I don't think it's conceptually difficult, it's just hard (for some of us, at least) to remember the names of a culture you haven't been exposed to. I speak a language with slavonic influence, so I didn't have this
108.
by simiones 4mo ago
You mean GNU Hurd, I guess.
109.
by simiones 4mo ago
There are many crappy design decisions in Unix, Posix, Linux, MacOS, that have been known and worked around for decades (see the Unix Hater's Handbook). One example would be async IO, which has been famously bad in Unix, and Linux alon
110.
by simiones 4mo ago
I think the exclamation point at the end of GP's message is intended to indicate sarcasm - GP also doesn't take these claims seriously.
111.
by simiones 4mo ago
I'm still not getting how the funding of trials that don't succeed is supposed to happen. Individual researchers don't have the money to fund a serious drug trial on their own. So even if someone put a prize of 100 trillion d
112.
by simiones 4mo ago
My point is this: assume a world where free market maximalists win and patents (for drugs) get abolished, in the hope of reduced prices from increased competition. Since the reasoning is free market maximalism, this society will almost cert
113.
by simiones 4mo ago
> Since the people with the money don't understand the science, these possibilities must then be assessed by bureaucrats, and this causes our best to spend half of their time writing proposals instead of working and researching. A c
114.
by simiones 4mo ago
The recipe for Coca Cola, the most popular soft drink in the world by far, has been a trade secret for over 100 years. And I'd wager a guess that it's slightly simpler to make then most medicines. So I don't see any reason wh
115.
by simiones 4mo ago
I'm not really happy with the current system either - I tend to think that the state should just mandate that all medical research be fully published, and either have companies compete on research and manufacturing, or pay for it direc
116.
by simiones 4mo ago
> If the US was maximally capitalist it would be a free for all with no patent protection. The much more likely alternative in a maximally capitalist / free market maximalist society would be keeping all drug formulas as trade secre
117.
by simiones 4mo ago
The maximum libertarian alternative to patents isn't free-for-all copying, it's trade secret formulas - e.g. Coca Cola. Drug patents actually exist as a compromise given the clear need for the state to force companies to publish t
118.
by simiones 4mo ago
If you are running Emacs, either in the terminal or in graphical mode, pressing Ctrl+C does not generate any interrupt signal, it simply passes the C-c key to Emacs, which is just a general key bind. Now, C-c in particular is the key stroke
119.
by simiones 4mo ago
Ctrl-C in Emacs is not "terminate program", it is "start of user command", in most modes. Similarly, even in vi/vim, Ctrl-C does something completely different. So this has nothing to do with the terminal whatsoever
120.
by simiones 4mo ago
Most proponents of the existence of qualia regard them as fundamental to what they call the hard problem of consciousness. People like Chalmers and Searle assume that all of the externally observable behaviors of people could be (at least

More ›