Smith

Ребят немного глупый вопрос, но я правильно понимаю что неполнота по геделю означает наличие парадокса?

Я не понимаю, как тогда вообше заниматься математикой, если можно в любой момент выйти на такую невыводимую формулу, и что с ней делать? Как вообще понять если мы такое получи...

Никаких гарантий, это как? Что ещё может быть кроме найти и не найти

Помойму, вся суть разрешимости в том чтобы разрезать класс задач а не в том чтобы сказать что это принципиально невозможно. Или я не прав? Есть решенные неразрешимые проблемы?

Правильно ли я понимаю разрешимость, что она утверждает, что проблему нельзя решить за конечное время, но за бесконечное пожалуйста?

А разве нельзя тогда вывести все что можно вывести? А что нельзя, то и неизвестно?

Ребят такой вопрос, какой стандартный способ сейчас сделать глобальную переменную, static mut COUNTERS: Mutex<HashMap<String, Counter>> = Mutex::new(HashMap::new()); Я пробую...

А смысл от объёма, если что-то не понятно?

Такие рассуждения валидны?

Встретил в rust analyzer примерно такой конструкт ConstBlockPat = 'const' BlockExpr для паттернов, кто понимает о каком синтаксисе идет речь?

https://hastebin.skyra.pw/akawacatov.rust кто понимает что ему не нравится, какой ассемблер под капотом использует rust?

Такой вопрос, гомоморфные вичисления это вычисления над зашифрованными данными, но получается если написать интерпритатор и скомпилировать его у нас получится зашифрованные вы...

Ребзи, чего не так с резюме уже месяца 4 работу ищу. Как на собес не приду очень странные типы https://docs.google.com/document/d/1Cpb8K7teiBcAWAWaqDObL6C6etrvjaGPL72MeFRxbHY/...

IdentifierPattern наверное как рутовую ноду с полями name has_mut has_ref и связями has_attr но меня беспокоит то как загнать (@ PatternNoTopAlt ) ?

Кстати есть кто понимает stack graphs?

Кто понимает третью проекцию Футамуры-Турчина?

Тоесть я добавляю скоуп ноду а на выходе получаю ноду пути если она есть?

Не понял как это решится боксом/арком?