I beleive you are wrong that "nobody has found a system of computation more powerful than Turing Machines". A turing machine can not perform indeterminacy, however, the actor model can.

This is a misconception.

The actor model is a way to describe that a program exists, not if it’s possible to ‘compute’ that program.

You’re right that it can describe more things than a Turing machine, but doesn’t provide a constructive way to compute them.

Non-deterministic Turing machines [1] are the standard way to define Non-deterministic complexity classes like NP or NEXP, so there are definitely Turing machines with indeterminacy.

[1] https://en.wikipedia.org/wiki/Nondeterministic_Turing_machin...

I read that sentiment here a few years ago but couldn't get anything more out of it than actors can race, but a turing machine is determistic. I could very well have it wrong.

If you were computing with actors, and you also had a sufficiently-detailed spec about the actor model, is there some particular algorithm you could not compute by just executing a TLA+ spec of your actor algorithm using Turing-ish software?

I agree, they are the same! regex is an example of an eDSL that most general-purpose languages support. The king of eDSL:s is of course Haskell. I recommend looking up parser combinators for anyone who has ever struggled with an understanding way to complex regex expressions.

Europe is in for a very long decline. There is no consumer generation (35-45 y/o) left in Europe, and the US is about to block Europe from exporting their excess production to the last standing consumer generation on the planet.

Which one?

The US is threatened by the rise of both China and India. India seems to be quite capable of sabotaging itself however.

No, I also live in an European country and I've heard about several companies around starting to freeze the hiring and doing some lay offs.

What? The European economic outlook is substantially more dire than in the US. The knock-on effects of EUR depreciation alone will be massive.

Big advantage of the EUR depreciation is that hiring talent in Europe is now cheaper for US companies.

Given the rise of remote work, cultural proximity, excellent English skills in Europe (I even heard that there's a country that's full of native speakers although they do have a slight accent and an obsession with tea) this might not work out so badly for _some_ developers.

Not likely if the comments elsewhere are true as there seems to be quite a shortage of tech workers in the UK.

I live in Sweden and I've seen several big names in tech lay people off this year. Klarna, Boozt, Kry, Storytel, Voi.

Seconded, actually we just got a 2 digit raise this month on our base salary, and on top of a massive hiring target for 2022.

Salaries won't go down but they will be inflated away.

It's why Fed/ECB targets 2% inflation, to keep the treadmill moving.

India doesn't have the power to use a block explorer. It is to advanced.

>AEs have the political power to control the crypto companies. The recent instance >where the US recovered bitcoins from the hackers of the oil pipeline in US, is an >example that notwithstanding claims of non-traceability of cryptocurrencies, AE >Governments wield enough power to access the records. India or most other > countries would lack such advantages.

> claims of non-traceability of cryptocurrencies

Uh, who's claiming that? Cryptocurrency transactions are _super_ traceable.

The same speaker claims it earlier, for one. The speech seems mostly well informed but that stuck out.

They are referring to

> AEs have the political power to control the crypto companies.

You won't find scammer's name on block explorer.

What? Why?

I think it's a sarcastic comment, saying a "block explorer" is all it takes to trace these and implying that the document is dumb for saying otherwise.

I don't know the details of the case well enough, but this is a usual type of comment on HN, and my a priori assumption would be it's probably oversimplifying reality and ignoring context as is also usual.

Often centralization is chosen specifically because it is easier to monetize. I love FOSS just as much as the next guy but it has it downsides too... Just look at the log4j bug and all the crap those developers get for work they've done on their free time. Sorry, but I get triggered any time anyone says they want software without paying for it.

Some things are products. Some things are bits of infrastructure and agreed standards that products can run on top of, that can't necessarily be directly monetized and may be relatively open. The world is better for having both.

Something like a gossip protocol is definitely more like one of those infrastructure pieces in today's world.