Viewing profile — codeflo

I think in the background of article's premises is an argument about classical vs. intuitionistic logic, rather than only about the merits of putting stuff in the kernel vs. outsid…

A light switch not working for 30 seconds, or a door not opening for 30 seconds, even if only sporadically, is a significant loss of life quality, no qualifiers needed.

There's a widespread misconception (not shared by the article author) that floating point arithmetic is "imprecise" in the sense that the result is off by some amount of random noi…

It can be useful for pure translation tasks and stuff like that where you explicitly don't want creativity of any kind.

Regardless of what? Programming is solved, I hear, with all the 100x productivity PhD-level automated coding loops they have going. Don't make excuses for them when they disprove t…

> These theories are flawed in the sense that they cannot account for subjective experience and agency, amongst other things. On the contrary, it's precisely this assumption, that …

It's clear that YouTube doesn't want you to have much influence over your feed. You can't even ban specific channels from being shown to you, which would be the simplest thing to i…

> If AI music allows someone with less formal musical skills to feel like they are joining in and making something, then maybe it has its value. An emphatic no. What we need to do …

It seems like I simply misunderstood the point of the "game of telephone" metaphor. To be honest, even with your added explanation, I don't fully get why you express it that way. B…

> You can't load an integer from an unaligned address. You can, and the results are machine specific, clearly defined and well-documented. Ancient ARM raises an exception, modern A…

> The compiler, and really the underlying hardware too, is playing a game of telephone with your UB intentions. The part about hardware is wrong BTW. In all the cases about null po…

I don't get that impression at all. LLMs would have avoided the stylistic repetition of "live". Asking an LLM to reformulate the sentences you quoted yields this slop: > There are …

Last I checked, one kidney might not even suffice to pay for 256GB anymore.

I don't disagree with that, but that's not what was discussed. The person I was replying to was asserting that the Soviet union couldn't have developed semiconductors because unlik…

Of course in any economy, there are scarce resources, and skilled labor is certainly one of them. What I'm specifically arguing against is the assertion that in a planned economy, …

Cost can't be the true reason. In a planned economy, the customer base doesn't matter. If the state wants to allocate X number of engineers to do Y, it simply does, at the expense …

Nothing recent made me feel quite as old and out of the loop more as the slowness with which I realized that this is about x.com (Twitter), not x.org (the windowing system).

> My solution was to kexec into a new kernel+initramfs which has a DHCP client and cURL in it - that effectively stops any filesystem access while the image is being written over t…

I know the argument I'm going to make is not original, but with every passing week, it's becoming more obvious that if the productivity claims were even half true, those "1000x" LL…

> Also, lines of code is not completely meaningless metric. Comparing lines of code can be meaningful, mostly if you can keep a lot of other things constant, like coding style, dev…

>> the architect → developer → reviewer pipeline actually produces better results than just... talking to one strong model in one session? > There's a 63 page paper with mathematic…

> Or am I reduced to buying an Apple TV device and unplugging the TV from the internet entirely ? At least until TV makers wise up to that strategy and build a TV that requires int…

It's likely that "knows" has no separate definition, but is used in some definition of "operator". If so, then "operator" should probably connect to "know", and "knows" shouldn't a…