Как-то я упустил момент, но почему всё-таки в рунете последние годы постоянно используется слово «банить» в значении «игнорировать»? И как в таком случае называть процесс исключения пользователя с сайта?
Получение вектора с указанной в типе длиной из сети только звучит фантастично на первый взгляд. Но тот же подход мы видиим в более обыденных ситуациях, как например, получение числа с плавающей запятой из строки. Всего лишь парсинг и конструирование значения нужного типа, никакой магии.
Парадокс достигается подменой понятий. Вместо рассмотрения движения на протяжении какого-то отрезка времени рассматривается специальным образом сконструированная цепочка рассуждений, которая бесспорно бесконечна по построению, и в рамках которой действительно Ахиллес не догонит черепаху, опять же по построению этой цепочки. До бесконечности будет продолжаться не процесс того, как Ахиллес догоняет черепаху в реальности, а процесс рассуждений с уменьшающимися интервалами времени.
Вместо соды с уксусом можно использовать сухую смесь лимонной кислоты с содой. Активируется автоматически при протечке, даже если вся электроника уже вырубилась.
Если есть бот-болванчик и бот-уберборец, то сделать промежуточного обычно достаточно просто: варьировать вероятность, с которой следующее решение будет принимать болванчик или уберборец. Ещё можно вводить задержки с принятием решения, если речь о реалтайме, а не пошаговой игре.
Гигиеничный способ выйти из туалета я раз подсмотрел в Турции у работника отеля, с тех пор всегда делаю так же: моешь руки, вытираешь бумажным полотенцем, потом им же открываешь дверь, выбрасываешь его. Дверь закрыть за собой можно локтём или ногой аккуратно.
Нужно подключить услугу «Просто роуминг». Новая фишка, вместо подключения услуги меняют условия, а для обычных условий нужно наоборот подключать услугу. Привыкшие к лишним услугам абоненты ищут, чего отключить, и не находят — профит!..
В Qt легко добиться одинакового внешнего вида на всех платформах как при использовании стандартных виджетов (CSS/кастомная тема), так и при использовании Qt Quick. Добиться дизайна по гайдам платформы опять же в Qt легче, чем в браузере.
В приложениях на электроне больше всего огорчает не использование памяти, а низкий fps, даже в достаточно простых приложениях.
В плане сравнения любопытны 31 и 63, у них совпадение идёт уже с седьмого члена последовательности: 31,47,71,107,161,121,91,… и 63,95,143,215,323,485,91,…
Это утверждение касается только количества единиц в двоичной записи, нулей может быть намного больше (но не слишком много, иначе количество единиц будет радикально увеличиваться при последующих умножениях на 3) и порядок, соответственно, намного выше. В качестве примера: для стартового числа 31 в последовательности встречается число 3077.
Но у меня есть более слабая гипотеза: количество единиц в двоичной записи чисел в последовательности всегда меньше либо равно удвоенному двоичному логарифму начального числа. Для первых ста миллионов чисел условие выполняется, а следствие то же самое: уходящих в бесконечность последовательностей не бывает.
Поглядел на последовательности разных чисел, и у меня появилось такое предположение: количество единиц в двоичной записи чисел в последовательности всегда меньше либо равно двоичному логарифму начального числа. Если это верно, то довольно очевидно, что искать имеет смысл только циклы, а уходящих в бесконечность последовательностей не бывает.
Нет необходимости запоминать все числа последовательности, чтобы выявить в ней циклы, достаточно идти по ней двумя итераторами, но на одном из них делать шаг в два раза реже. При наличии цикла значения итераторов в какой-то момент времени обязательно совпадут.
В приложениях на электроне больше всего огорчает не использование памяти, а низкий fps, даже в достаточно простых приложениях.
Edit: это не так, нашёл опровержение.