aSanchezStern

hace 9 mesesdiscuss

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 means to be able to "think" or how you would measure such a thing. The definition that these types of positions seem to rely upon is "a thing that only humans can do", which is obviously a circular one that isn't useful.

aSanchezStern

hace 10 mesesdiscuss

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, you would have to drive places, and then go walking recreationally after, which would clearly take much more time to get the same utility.

aSanchezStern

hace 2 añosdiscuss

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/24/a-ta... https://www.gao.gov/products/gao-24-106866 https://clsbluesky.law.columbia.edu/2024/06/14/chinas-debt-f...

aSanchezStern

hace 2 añosdiscuss

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 different names for eg typing.Any and then expect type checkers to complain if I mix them."

`MyType = NewType('MyType', Any)`

is how you do this.

At the end, they suggest a workflow: "I think my ideal type hint situation would be if I could create distinct but otherwise unconstrained types for things like function arguments and function returns, have mypy or other typing tools complain when I mixed them, and then later go back to fill in the concrete implementation details of each type hint"

That's just doing the above, but then changing the `NewType('MyType', Any)` to something like `NewType('MyType', list[dict[str, int]])` later when you want to fill in the concrete implementation.

comments