Ребят немного глупый вопрос, но я правильно понимаю что неполнота по геделю означает наличие парадокса?
Я не понимаю, как тогда вообше заниматься математикой, если можно в любой момент выйти на такую невыводимую формулу, и что с ней делать? Как вообще понять если мы такое получи...
Никаких гарантий, это как? Что ещё может быть кроме найти и не найти
Помойму, вся суть разрешимости в том чтобы разрезать класс задач а не в том чтобы сказать что это принципиально невозможно. Или я не прав? Есть решенные неразрешимые проблемы?
Правильно ли я понимаю разрешимость, что она утверждает, что проблему нельзя решить за конечное время, но за бесконечное пожалуйста?
Ребят такой вопрос, какой стандартный способ сейчас сделать глобальную переменную, 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?
Кто понимает третью проекцию Футамуры-Турчина?
Тоесть я добавляю скоуп ноду а на выходе получаю ноду пути если она есть?
Не понял как это решится боксом/арком?