xjm

They can pay with shares into a state fund and the state could even return the voting power. It can be done if we want it. That was in a proposal in French legislation for example, so it's not 100% crazy and to me it seems completely natural.

How is that not the obvious comeback to the argument "wealth is stocks so we can't tax it"? Is there an obvious downside?

But ... if they were sentient, sentience would just happen for the time of a session, and only when tokens are being generated.

I don't think people here are arguing that sentience would happen when the model is not running, or that sentient experience spans several sessions that do not share some kind of state?

Also, a definition of consciousness is anyway hard to imagine :)

Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)

It is not so obvious, some countries have a wealth tax in addition to the income tax.

Only if you pay it off with taxable income.

If you have a lot of assets you can just refinance your loan with more debt.

We used a low number _and_ it was a while ago (it would be different if we used the same number spread out on the same time span)

I find it much easier to see what is going on when selecting λ-calculus instead of Δ-Nets. E.g. for the mandatory Y Combinator,

λf.(λx.f (x x)) (λx.f (x x))

for which the difference with

λf.(λx.f (x x)) (λx.f (x x) f)

is very clear, whereas with Δ-nets the difference is more subtle. I guess it is because the visualization has more information than with the λ-calculus.

First sentence:

> All of modern mathematics is built on the foundation of set theory

That's ignoring most of formalized mathematics, which is progressing rapidly and definitely modern. Lean and Rocq for example are founded on type theory, not set theory.

> Thatcher told us, “There is no alternative.” In 1982, Bill Gibson refuted her thus: “The street finds its own uses for things.” > I know which prophet I’m gonna follow.

> Thanks to a free AI model that ran on my modest laptop, in the background while I was doing other work, I was able to write [an accurate quote]

He's right, but it sure sounds like a long fight made of small actions.

> fixing the climate

I would be happy to be convinced that climate is an intelligence problem.

One could argue it could be solved with "abundant energy" but if this abundant energy comes from some new intelligence then we are probably several decades away from having it running commercially. I would also be happy to be convinced that we do have this kind of time to act for climate.