Search
Write a publication
Pull to refresh
11
0
middle @middle

Пользователь

Send message

Сложность SAT -- не линейная.

SAT -- NP-полная задача, соответственно, если вы утверждаете, что с удвоением сложности формулы сложность растёт пусть даже не линейно, а полиномиально, то можете утверждать, что решили P=NP и претендовать на все Нобелевки сразу.

Если не ошибаюсь, автор текста -- Аркадий Арканов. Я его видел в напечатанном виде в каком-то журнале в доинтернетную эру.

Где тэг "импортозамещение"?

... и не имеющей аппаратной реализации сложения с переносом?

Тогда это задача ради задачи.

Крипта -- это не только про переводы. NFT -- это тоже крипта в широком смысле этого слова.

Как будто с криптой было по-другому.

Строго говоря, документ (как и оригинальный RFC) такой случай не описывает. Кроме того, `cargo fix --edition` этот код не меняет.

Обсуждение:
https://github.com/rust-lang/rust/issues/111376

Мы вообще-то и так налоги платим! Какой ещё взнос!

Для этого они могли бы не добавлять загрузку из raw image вместо образов Mach-O, а почему-то добавили в 2021 году...

obese -- страдающий ожирением.

Откуда там 30 набралось? "Рога и Копыта" включили?

График этой функции является фракталом, т.к. обладает нецелой хаусдорфовой размерностью (конкретное значение зависит от её параметров, но всегда строго между 1 и 2). Но доказали точную формулу размерности лишь в 2018 году.

Вы задаёте провокационный вопрос, который подразумевает политические выкладки на ресурсе, где политический дискурс не приветствуется.

"планируете" -- очень смешное слово для первой половины 2020-х годов.

Даже при безлимитном отпуске не обязательно уходить на месяц.

Но в статье не упомянут ещё один важный минус безлимитного отпуска: при увольнении тебе не святят деньги за неиспользованный отпуск.

Специальная порода кур. Жидкость не выливается -- достаточно герметично. А то что газы проходят -- ну так пусть проходят.

1
23 ...

Information

Rating
4,048-th
Location
Barcelona, Barcelona, Испания
Date of birth
Registered
Activity

Specialization

Backend Developer
Senior