aSanchezStern

5 ms·

1.
by aSanchezStern 1y ago
I agree that "proof of thought" is a misleading name, but this whole "computers can't think" thing is making LLM skepticism seem very unscientific. There is no universally agreed upon objective definition of what it
2.
by aSanchezStern 1y ago
Sure, but when you're walking all the time, none of that time is wasted, because you're helping your body and brain function better. When you use a car, you really are wasting all your transportation time. To get the same benefits
3.
by aSanchezStern 1y ago
Cite?
4.
by aSanchezStern 1y ago
I don't think that "arguing that something is against the rules" is in the CIA sabotage manual, because it's not generally considered sabotage. Maybe if you argue things are against the rules that you know aren't, t
5.
by aSanchezStern 1y ago
The answer it seems is, it depends on what kind of code you're looking at. The post showed that `for` loops cause a lot more variable-name-biased reasoning, while `ifs` and function defs/calls are more variable-name independent.
6.
by aSanchezStern 1y ago
Yeah that's linked a couple of times in the post
7.
by aSanchezStern 1y ago
Thanks for pointing that out, it's fixed now.
8.
by aSanchezStern 1y ago
If you're interested in a more scientific treatment of the topic, the post links to a technical report which reports the numbers in detail. This post is instead an attempt to explain the topics to a more general audience, so digging in
9.
by aSanchezStern 1y ago
This post actually mostly uses the subset of Python where nullability is checked. The point is not to introduce new LLM capabilities, but to understand more about how existing LLMs are reasoning about code.
10.
by aSanchezStern 1y ago
Many people don't think we have any good evidence that our brains aren't essentially the same thing: a stochastic statistical model that produces outputs based on inputs.
11.
by aSanchezStern 1y ago
Yeah the link title is overclaiming a bit, the actual post title doesn't make such a general claim, and the post itself examines several specific models and compares their understanding.
12.
by aSanchezStern 1y ago
The post includes this caveat. Depending on your philosophical position about sentience you might say that LLMs can't possibly "understand" anything, and the post isn't trying to have that argument. But to the extent tha
13.
by aSanchezStern 1y ago
Where would the "paper" part come in? Is that just based on the word "bench" in general?
14.
by aSanchezStern 1y ago
"Didn't even win the democratic primary" might be a bit of a misnomer if it's implying that winning the democratic primary should be much easier than winning the general. Bernie has positions that are popular outside of
15.
by aSanchezStern 2y ago
I mean, yeah, they are saying that you can commit a crime and they won't punish you. That's what "suspending enforcement" means. I think what you mean is that "law and order" is usually applied to poor criminal
16.
by aSanchezStern 2y ago
Yeah this was totally debunked, I believe the programs that were said to be "going to terrorists" were actually promoting women's literacy in Afghanistan.
17.
by aSanchezStern 2y ago
SpaceX is a government contractor, immediately presenting a conflict of interest.
18.
by aSanchezStern 2y ago
Yeah, if you're actually interested in government efficiency, Ro Khanna has been advocating for significant cuts to the federal budget in a way that actually improves efficiency.
19.
by aSanchezStern 2y ago
Actually exit polls say that most people who voted for Trump did so because they thought he would lower grocery prices, not because they thought he would make the government more efficient. So far grocery prices have risen significantly und
20.
by aSanchezStern 2y ago
Right, but we've already got limits on individual contributions, so even if you have a bunch of money, you can't have outsized influence through your individual contributions.
21.
by aSanchezStern 2y ago
Anybody have a link to a description of the "Lot system" mentioned near the end?
22.
by aSanchezStern 2y ago
The PHP in this refers to their product, and not the previously ubiquitous web programming language? This seems like a bad title.
23.
by aSanchezStern 2y ago
Well like any political descriptor, "far right" is a generalization that applies to several groups. In this case, Elon is part of the corporate-techno-authoritarian far right that supported trump, while figures like Loomer who wer
24.
by aSanchezStern 2y ago
Actually many people on the right believe they have been censored by Musk because of this: https://www.nytimes.com/2025/01/08/technology/elon-musk-far-...
25.
by aSanchezStern 2y ago
This post is about 20 years after WWII, so that timeline doesn't really line up.
26.
by aSanchezStern 2y ago
You're assuming that every for profit business is entirely devoid of morality. This was not true under the Keynesian compromise of the 20th century, and is not true of every business today. Just because people are sometimes selfish doe
27.
by aSanchezStern 2y ago
I was talking to a French trans academic at a conference recently, and apparently there is a large community of trans people that make their own hormones from cheap precursors you can buy online. All secondhand obviously so I don't kno
28.
by aSanchezStern 2y ago
Well, technically it only establishes that there exist Klingons that look like the discovery Klingons in an alternate universe, not that there aren't also Klingons that look like discovery Klingons in the prime universe. That episode a
29.
by aSanchezStern 2y ago
The infrastructure projects that China "gives" generally result in unsustainable debt burdens for the host countries that negatively impact their economies. https://bankruptcyroundtable.law.harvard.edu/2024/09
30.
by aSanchezStern 2y ago
The thing that the author says they would prefer is already in Python, it's called NewType ( https://docs.python.org/3/library/typing.html#typing.NewType ) They say "...so I can't create a bunch of di

More ›