but now they claim buzzword points by using. But nothing wrong in using them. Proteins are so a complex that machine learning model is the best approach, since the actual physics is just too hard to actually handle numerical in a stable and trustworthy way.

Tje idea behind a proof is that it can be verified. Even automatically. I.e. the hallucinations can be removed. This makes this application a safe one, opposite generating text, which can't be verified easily.

But that has to be solved in GUI, not the OS. Script writers and coders shall get the case right. We all know bad Windows C where filenames in includes doesn't match on disk names - use \ instead of/. It isn't the job of the OS to be compatible with that.

The "requirement for case insensitive file lookup" is wrong: 1) when writing software and scripts, it is not too much to require the correct case, and 2) end users using a GUI most likely do the searching for files in user space. Maybe Linus should simply delete all that unicorn crap from the kernel and say that file lookup in the kernel from now on is case sensitive. If someone needs case insensitive lookup (due to existinf programs and scripts) they can remount any filesystem with fuse, pushing the case stuff to user space.

When there is an English dialogue, I watch with English subtitles as I otherwise miss some of the dialogue. Would be nice to only have the dialogue, not the hearing impaired stuff.

Honestly, wouldn't it be better for Tesla to get rid Elon? A huge percentage of potential Tesla customera will go length to avoid buying anything from Elon from last summer to eternity.

In software development the trend have been to just use many open source depencies and frowning at you if you write your own instead. But at the last job I suddenly saw the opposit trend: people acknowledged the downsides of depending on foreign dependencies.

With open source you are 1) allowed to continue using the version you got, 2) fix - or hire someone to - bugs and 3) make a fork and continue the work. You are therefore not at the mercy of anyone.

Instead of long, slow and expensive trials, where the assumed monopolistic out-lawyers the government in the end anyway, split all 100+ billion USD companies up per default. Or rather: As soon as a the evaluation reaches 100 billion USD, the company must start to pay dividends to the stock holders. They don't loose their investments, but are forced to spread it over more companies, each having less power. It could be that for each day, for each billion over 100 billion USD at end of trading market cap, the commany have to pay 1 million USD in dividends. Depending on how strong a business (monopoly) the company holds, the market value should settle just above the 100 billion mark, with no room for mega expansion into new business areas we have seen with the large tech companies. If there is no monopoly at all, the earnings would be modest, and the value will soon drop below.

Battery driven vehicles are stupid: The energy density is way too low, and it takes a lot of extra energy to move that extra mass. It is much more effective to use the O2 in the atmosphere and burn small molecules. Think of rockets vs. jet engines. Batteries are even far less efficient than rockets.

Hardly a solved problem: In Denmark we had lot of investment in "power to X" to work with our huge investment in wind power. All those power to X projects have almost stopped.

No problem: We no longer travel to Trumpistan.

Here in Denmark we have two ways to admitted to a pre-high school education (think US college, just much more specialised): Qouta 1 takes the applicants with the highest high-school marks. Qouta 2 takes those with "relavant experience", like jobs and e travelling. The left wing always press for more qouta 2 because they think it helps students with lower income parents, but all experience shows that students with parents having an academic education take most qouta 2 spots. Soft requirements are much harder to navigate for students without resourceful parents than simple marks.

This is basically what we have here in Denmark: the employers report your salary - and have already paid an approximate income tax for you - the banks reports your finances to the tax authority. Etc. You can go in and claim further deductions, such as workdays travelling. I also think you should report Bitcoins and holdings in certain foreign banks, but for most of us there is nothing to do. And you do it on a normal web page logging in with MitID (mostly via a phone app, but you can also get a key generator), which is also used for logging into banks, and public services in general.

or offends liberals and socialists. Those are also censoring. Free speech means that you are allowed to offend. Public libraries should also contain offensive materials.