chowells

6 ms·

1.
by chowells 4d ago
People still believe this? Google pays their ISP. I pay my ISP. Google does not pay my ISP. Why is my ISP's response to the amount of traffic I use demanding to bill someone other than me? To be clear, Google was doing this out of self
2.
by chowells 6d ago
It's not difficult to communicate the difference between losing all future rights and settling a dispute over an incident that has already happened. I don't know why you'd act like it's a huge challenge to understand the
3.
by chowells 12d ago
No. C is a language with a specification independent of implementation. If you write correct C code (according to the specification, which no one does), it does not depend on any of those factors. C is almost uniquely bad in terms of accept
4.
by chowells 13d ago
It's nothing at all how like C runs on top of assembly. C has semantics. Code means something without ever being run. You can check in your source code and (assuming it actually follows the C standard and your compiler's documente
5.
by chowells 23d ago
Eh. A quick scan of steam reviews shows a clear pattern - the game has been in decline ever since Yegge took over, well before LLMs were a product. It seems he started upsetting people with a capitalist-brain insistence on extracting value,
6.
by chowells 25d ago
Yes, I know they're orthogonal. But every example of using macros I see in lisp is either some horrendous non-local logic, or something that can be done better using simpler tools. Where's the killer use case that clearly is good
7.
by chowells 25d ago
That's not at all what local reasoning means. Local reasoning is the property that a piece of code contains (when including the call graph) everything that can affect what it does. All mutation of a value is kept within some scope of o
8.
by chowells 25d ago
Yes, you're describing cosmology. We can't create separate test universes, so all we can do is argue over which model is the best way to explain our observations. The difference from ad-hoc reasoning is the exact same as any other
9.
by chowells 25d ago
This doesn't strike me as better than the alternatives. In Haskell, it's just a few different functions to handle the different use cases. That strikes me as far better than one "function" that magically does different
10.
by chowells 25d ago
What makes this a desirable feature? From the perspective where local reasoning is the most desirable property a language can have, how does homoiconicity support that? I honestly am curious. I've seen a few examples presented for it,
11.
by chowells 29d ago
The ideal would be to go into swap without becoming unresponsive, so that the user can quit a program of their choice to free memory. If you really want to make an issue out of it, do something like pre-X macOS, where it would provide a w
12.
by chowells 1mo ago
Following this argument to its natural conclusion, we should tell LLMs to generate the binary directly. It's still an abstraction, but it's the lowest level we can go to on current consumer hardware. I don't think raw machine
13.
by chowells 1mo ago
Good lord, the damage LLM use has done to deep thinking is amazing for such a short time. Maybe if it stayed hard to find your phone, you would have put some time into considering the root cause of the problem: you put an employer MDM on yo
14.
by chowells 1mo ago
The expressed (not implied) alternative in the post is for those people to stop pretending they care, and start actually caring. Stop trying to save the world. The world doesn't need an invention to save it. Just put that energy into c
15.
by chowells 2mo ago
Yeah, there's actually been a lot of research on that. 100ms is generally considered to be the threshold between perceiving a delay or not. But even that needs some additional context. That's the threshold for feeling like you&#x2
16.
by chowells 2mo ago
The underlying issue here is that addresses created by the tool at fault can have their private key derived from public data. If you send it back, it'll just get stolen again. Furthermore, the typical way that someone proves ownership
17.
by chowells 2mo ago
That's not what it says. It says that as long as the logic is rich enough (first-order isn't enough) and consistent there are statements where neither the statement nor its negation is provable. You may choose to create a new logi
18.
by chowells 2mo ago
It might damage Google's reputation with advertisers in the long term. I'm not convinced Google would even care about it, given their other behavior.
19.
by chowells 2mo ago
Double dash -> emdash is a default autoreplacement in OSX. That's why a lot of people think it's the default everywhere.
20.
by chowells 2mo ago
This is a description of one portion of math... one that's very easy to get tunnel vision towards when undertaking a very formal undergraduate mathematical education. And that's especially true if it was alongside a computer scien
21.
by chowells 2mo ago
You have a weird definition of "smuggling". I say it outright. Because I follow it up with a description of the actual practice of math: it's the study of abstraction. That's not a frame. That's just what math is.
22.
by chowells 2mo ago
It's elegant if all you're concerned with is whether a conjecture is true or false. Answered, move along! But mathematics is not a collection of facts. Mathematics is the study of abstraction. And what do you learn from a single d
23.
by chowells 2mo ago
The slowest multiplications are always when the two numbers are about the same size... That is to say, the case you're talking about doesn't happen.
24.
by chowells 2mo ago
Bluesky has a data store, handles account authorization, and runs a web app that provides a UI to access the backend services. That's an instance, whether they call it one or not. Refusal to admit this is obfuscation for reasons I cann
25.
by chowells 2mo ago
As Led Zeppelin once said, "you know sometimes words have two meanings". That definition of wealth is all well and good for books about how markets are magical fix-everything pixie dust. But it's not the definition of wealth
26.
by chowells 2mo ago
It is literally impossible for everyone to obtain wealth. Wealth isn't a number or physical circumstances. Wealth is having economic power over the people around you. Success is a little more nebulous, but when thought of as a relative
27.
by chowells 2mo ago
Yeah... I've got a whole lot of experience with "you can't do this thing the obvious easy way because iOS is too important." This isn't about fantasies of Apple being your savior. This is about HTML and CSS that App
28.
by chowells 2mo ago
The article is about how Apple is underdelivering in browser features and compatibility while pretending they aren't. It's about Apple. Apple. The ones responsible for a great many features not being supported in all browsers. Wha
29.
by chowells 2mo ago
You can not-quite-trivially download all versions of a game that have been uploaded to steam, as long as you own the game. And that's a download like as an installers you can run, not just overwriting your current active steam install.
30.
by chowells 2mo ago
Is that actually true? Just because English treats scents as only describable by analogy doesnt mean all languages do. There are a number of languages with scent descriptions for aspects of a smell that are transferrable. [1] That suggests

More ›