> It tells Usa based org got grant to research Coronaviruses.

Yes, because coronaviruses are one of the largest and most common family of viruses, that cause everything from the common cold to SARS and MERS. Researching coronaviruses was important long before COVID-19.

Educating yourself is a good antidote to irrational conspiracy theories.

I pay premium sub 200usd for gemini(which gives premium YouTube too) and share it with family. Would google make me free from ads too?

What's your alternative in case they will not make you free of ads?

GDP per Capita is average which is also misleading.

"All Charity computations terminate" - Turing decidable it was.

I think it would imply that it is a Turing incomplete language. So, it would not be able to express certain programs, but all the computation you can represent is mathematically shown to reduce to a termination point.

IIRC they do some stuff with f co algebras. Which if I understand it is effectively doing things like "hey here's a generator that produces an infinite number of the number 1, but the only way to evaluate it is via a take with a finite number".

I know with idris there is also a progress evaluator for otherwise general recursion that proves that your input is always "getting smaller". Not sure if charity has the same deal or not.

Regardless, it isn't turning complete, but the interesting part is how far you can get in a sub turing environment.

Afaik there was Turing limited kind of language which had Turing decidable fragments https://www.microsoft.com/en-us/research/wp-content/uploads/...

afaik it is still in relatively active development

Rust macro compiling function to NPU kernel likely is Turing decidable "fragment".

- https://github.com/contextgeneric/cgp

- a lot of code now uses mix of witness types and const generics

- with new borrow checker release they will do new iterators 2.0

Seems like coding on 5 year old Rust is like C++ 98.

I have never even heard of the linked repo, and it does not appear to be overly popular. Nor have I ever heard of "witness types" or seen code that attempts to make use of them. And no, any new borrow checker would not require some new approach to iterators. This entire comment reads like a non sequitur. Where on Earth did you get any of this from?

The project you've linked warns you that it is in its very early stage and that you should only use it as an early adopter.

C++98 (and older) is still widely used in embedded systems.

Why differential fuzzing did not catch these bugs?

https://github.com/uutils/coreutils/tree/main/fuzz/uufuzz

Looks like it doesn't really fuzz much.

https://github.com/uutils/coreutils/tree/main/fuzz/fuzz_targ...

Maybe these tests aren't even fuzz tests?

https://github.com/uutils/coreutils/blob/main/fuzz/fuzz_targ...

Even the tests that look ok are not that good in my opinion because there is no structure to it:

https://github.com/uutils/coreutils/blob/main/fuzz/fuzz_targ...

It should also try to generate mostly correct but slightly wrong things instead of just dumping random data into it.

Seems to also not expect some fuzz tests to even pass in the CI:

https://github.com/uutils/coreutils/blob/a07879b8ab2bb8fe5e0...

dictatorship is anticompetitive practice(slaves work is cheap) and relying on its produce to produce essentials is national security issue.

There's no doubt that it's a dictatorship, but Belarusian citizens are not slaves.

Furthermore, when have sanctions achieved anything other than suffering for the people?

Plus, I'm pretty sure that some sanctions are very convenient for some parties on this side of the game.

> Belarusian citizens are not slaves.

These laws de facto prevent most of Belorussians leave country long term and force them to work (even if they do not need to):

- Decree No. 3 “О содействии занятости населения”(including redaction from 2018)

- Decree №278 and Decree №294

There is more laws added overtime, reality on the ground even more harsher of laws - North Korea style. I doubt anybody would argue that there is no slavery in NK.

> sanctions achieved anything other than suffering for the people?

I feel that some sanctions indeed `achieved anything other than suffering for the people`, but I did not research.

Why it needs documents? From video of liveness check it clearly visible that 35 years old bearded man is over 18.