codeflo

7 ms·

1.
by codeflo 18d ago
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 learning-hostile. In the old er
2.
by codeflo 21d ago
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?
3.
by codeflo 21d ago
> 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 relate to p
4.
by codeflo 1mo ago
Thousands of words that boil down to "intmax_t isn't ABI-stable". Who knew? (Everybody.)
5.
by codeflo 1mo ago
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 logic and set theory
6.
by codeflo 1mo ago
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.
7.
by codeflo 2mo ago
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 point resu
8.
by codeflo 3mo ago
It can be useful for pure translation tasks and stuff like that where you explicitly don't want creativity of any kind.
9.
by codeflo 3mo ago
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 their own bullshit.
10.
by codeflo 4mo ago
> 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 re
11.
by codeflo 4mo ago
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 previously exi
12.
by codeflo 4mo ago
> 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 performance, whether it&
13.
by codeflo 4mo ago
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 sub
14.
by codeflo 4mo ago
> 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 penalty. It&
15.
by codeflo 4mo ago
> 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 integer overflow and
16.
by codeflo 5mo ago
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 vib
17.
by codeflo 5mo ago
Last I checked, one kidney might not even suffice to pay for 256GB anymore.
18.
by codeflo 5mo ago
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 ci
19.
by codeflo 5mo ago
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 base would in any
20.
by codeflo 5mo ago
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 politicall
21.
by codeflo 5mo ago
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).
22.
by codeflo 6mo ago
> 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 what I was expe
23.
by codeflo 6mo ago
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 economy
24.
by codeflo 6mo ago
> 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. There are many sty
25.
by codeflo 6mo ago
>> 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. > https:
26.
by codeflo 6mo ago
> 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, that's the way
27.
by codeflo 6mo ago
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
28.
by codeflo 7mo ago
All of the examples on the linked page seem to be "good" outputs. Attribution sounds most useful to me in cases where an LLM produces the typical kind of garbage response: wrong information in the training data, hallucinations, sy
29.
by codeflo 7mo ago
Then what precisely is the definition of complex? If "complex" just means "not designed", then the original quote that complex systems can't be designed is true but circular. If the definition of "complex"
30.
by codeflo 7mo ago
This is often quoted, but I wonder whether it's actually strictly true, at least if you keep to a reasonable definition of "works". It's certainly not true in mechanical engineering.

More ›