It's still a wild logical leap to me that we went from this observation, that maybe the bottom half of users never learn how the software works, to the idea that we should build software that is actively…
They say it's a modified version Source Sans, but then don't compare it with Source Sans to show the differences. The only comparison is with their previous, unrelated font (Whitney SSm). Why?
> unaware of the bun AI-rewrite-to-rust saga I seem to be mostly unaware, at least, it's not self-explanatory to me why a Rust rewrite would be that baffling. What's the verdict on the Bun rewrite, and how does that…
Thousands of words that boil down to "intmax_t isn't ABI-stable". Who knew? (Everybody.)
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. outside. Isabelle seems to use classical…
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 noise. On the contrary, IEEE floating…
It can be useful for pure translation tasks and stuff like that where you explicitly don't want creativity of any kind.
> 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 there is a "subjective experience" 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 implement, and other knobs that…
> 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 is to stop comparing every hobby…
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. But I think we're in agreement on the…
> 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 ARM and x86 can do it with a performance…
> 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 pointers and out-of-bounds access and…
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 a lot of people who go through life by…
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 unlike the US, it didn't have "a vast…
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, the existence or lack of a customer…
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 of whatever other project is considered…
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 the disk, then to just reboot. That's…
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" LLM shamans would have toppled the…
> 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, developer experience, domain, tech stack.…
>> 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 mathematical proof if you really into this. >…
> 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 internet access to unlock the HDMI port,…
It's still a wild logical leap to me that we went from this observation, that maybe the bottom half of users never learn how the software works, to the idea that we should build software that is actively…
They say it's a modified version Source Sans, but then don't compare it with Source Sans to show the differences. The only comparison is with their previous, unrelated font (Whitney SSm). Why?
> unaware of the bun AI-rewrite-to-rust saga I seem to be mostly unaware, at least, it's not self-explanatory to me why a Rust rewrite would be that baffling. What's the verdict on the Bun rewrite, and how does that…
Thousands of words that boil down to "intmax_t isn't ABI-stable". Who knew? (Everybody.)
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. outside. Isabelle seems to use classical…
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 noise. On the contrary, IEEE floating…
It can be useful for pure translation tasks and stuff like that where you explicitly don't want creativity of any kind.
> 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 there is a "subjective experience" 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 implement, and other knobs that…
> 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 is to stop comparing every hobby…
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. But I think we're in agreement on the…
> 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 ARM and x86 can do it with a performance…
> 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 pointers and out-of-bounds access and…
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 a lot of people who go through life by…
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 unlike the US, it didn't have "a vast…
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, the existence or lack of a customer…
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 of whatever other project is considered…
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 the disk, then to just reboot. That's…
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" LLM shamans would have toppled the…
> 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, developer experience, domain, tech stack.…
>> 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 mathematical proof if you really into this. >…
> 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 internet access to unlock the HDMI port,…