skywalqer

Recently, I often think about this TNG episode.

macOS as Unix is not dead – the compatibility with developer and unix infrastructure it has is an important reason why the company I work for uses MacBooks (at least I believe so).

Well, I believe the incompleteness theorems speak about provability, not about how the proofs themselves are expressed.

We know as a consequence of Goedel theorems (at least I believe so), that there is no algorithm that would take a statement and output a proof if it is provable or a counterexample if it is not. However, AI provers never give anything for sure, so I think there is no contradiction here.

Why aren't the keys stored encrypted?

Why didn't they place it in .well-known? Also, I couldn't find a website that has it.

But the widespread adoption and cheap client devices are a product of the market economy.

It is dead because everybody is asking LLMs now.

You can do that with any open source license.

I believe a power law acts differently from an exponential distribution. I think wealth distribution is commonly approximated by a Pareto distribution.

In your model, the exponential distribution is caused by the fact that you cannot go below zero; otherwise, it would be a normal distribution.

I don't agree with your opinion about laws against power laws, but that is another matter.

Well, if the price would be incorrectly set, then bots like this one would make money, which would in sufficient time cause the market to adapt and the average price would change so the bot doesn't work.

Well, the device tiers could be an intentional joke also

Yeah, because killing murderous dictators is helpful, and it doesn't matter that much who does it. In Europe, states aren't sacred – it is the freedom of people, and when people are freed, Europeans are happy even if it includes breaking the sovereignty of some terror state. I'm not saying I like Trump, but when he kills evil dictators, I can't complain. (There was 10k+ protesters killed in Iran recently)

There is huge potential hidden in Iran; it has always had a huge influence over the region and possibly the whole world.

You also believe that AI will replace mathematicians?

Best comment here

You know that tax money is taken from people who could buy art with it? Or, maybe buy food and other things that they need even more than art at the moment.

What about SimpleX? Is it good? Did somebody try it?

Nice post, but the flashy thing on the side is pretty distracting. I liked the tuples and maybes.

At my university (Charles University in Prague), we had oral exams for 200+ people (spread over many different sessions).

However, ads are also the reason why many services on the Internet are free. So maybe they are not completely bad.

I don't think it is as clear with the Russian word for market (торг) being derived from the name of the Finnish city, because related words (trh in Czech, targ in Polish...) (https://en.wiktionary.org/wiki/Reconstruction:Proto-Slavic/t...) are used in most Slavic languages, so this origin explanation feels a bit strange.

Wikipedia:

> Elbakyan was in conflict with the liberal, pro-Western wing of the Russian scientific community.[8] According to her interview, she was attacked on the Internet by 'science popularizers' who supported liberal views that led to the shutdown of Sci-Hub in Russia in 2017 for a few days.[59] In particular, Elbakyan was strongly critical of the former Dynasty Foundation (shut down in 2015) and its associated figures. She believes that the foundation was politicized, tied to Russia's liberal opposition, and fit the legal definition of a "foreign agent".

> She has also done work on religion,[57] and has argued that Stalin was a god of science, and an incarnation both of the god Thoth and the Christian God.[58]

Idk but this sounds so sus that I don't believe her with anything. Arguing that Stalin was good is very similar to arguing that Hitler was.

Yeah, but maybe it is a powerful country because it has a lot of hard-working people with improving conditions, not because it has a communist government. I mostly think that the Chinese government harmed Chinese development in the future with their shortsighted policies, like the one-child policy.

Also, does the government really work for its citizens if they are doing a genocide of one nation in the country?

Yeah, I agree that the Trump situation is frustrating and idiotic, however, we should not resort to shifting towards totalitarians. That's problematic thinking.

Yeah, more efficient in making suboptimal decisions for everyone in the country.

With freedom of thought and markets, you get competition of ideas, which ultimately selects a better solution than any central planner can plan.

Yeah, Palestinians are indeed Semites, however, the word antisemitism (for historic reasons) is used to refer specifically to hatred of Jews. It makes historical sense that Germans are afraid to criticize the Jews.

I probably disagree with your opinions, but the debate would likely be useless.

Nah, Gorbachev and Yeltsin were good. The people who took it after them (the one guy) led the country to this state.

Yeah, great, give programming a high entry barrier for new people. One of the worst ideas I've heard today.

You can't build a good house with bad foundations.