Мы всегда на каждом шаге берем предыдущее значение k
Каждый заход в цикл while (k>0…){…} уменьшает текущее значение k минимум на 1
Таким образом если на шаге i мы уменьшили k на d (d<k), то следующий шаг может выполнить максимум O(k-d) операций (и далее по индукции можно доказать, что оно сходится к амортизированной O(1)
Перехватывают ethernet фреймы с зашифрованным tcp стримом внутри, извлекают длины tcp пакета и с помощью нейросети подбирают текст под соответствующие длины
Там были рассуждения про то, что модели с роутингом (кажется switch transformer, но не помню) дают хороший результат, а значит можно достигать тех же результатов с меньшис числом параметров
Ну и так же писали, что увлечение числа параметров не даёт значительного превосходства
Сейчас возможно оно перестанет гуглиться из-за релиза, но общие тезисы тупике, что пытаются архитектуру поменять в первую очередь
А как можно построить сложное доказательство не перебирая решения? Или обычно заранее известен один верный путь к доказательству?
Через язык Lean
Какой ужас, вы серьезно написали целый пост о локальной стоимости прошлогоднего девайса?
RLVR
У телеграмма есть криптономера
Идеальный программист должен вайб-кодить, чтобы повышать свою эффективность, но при этом отвечать за качество кода, полученного с использованием ИИ
Для проверки подписи, не всегда проверка+создание подписей эквивалентно шифрованию+расшифровыванию
Пример - подпись через дерево Меркла, где никакого шифрования не происходит вовсе, а лишь доказывается, что «этот хеш - истина»
Тут каждый шаг амортизированный
Вот как это выглядит:
Мы всегда на каждом шаге берем предыдущее значение k
Каждый заход в цикл while (k>0…){…} уменьшает текущее значение k минимум на 1
Таким образом если на шаге i мы уменьшили k на d (d<k), то следующий шаг может выполнить максимум O(k-d) операций (и далее по индукции можно доказать, что оно сходится к амортизированной O(1)
Еще бывает, что фаервол работает на уровне dns, что позволяет поднять обычный впн по ip адресу и обойти это
Красота измерима эмбеддингом
Это работает буквально с любым алгоритмом
Очень похоже на CTR режим в aes, там тоже шифрование/дешифрование через xor работает
Низкая скорость связана с большим количеством вызовов iup
Перехватывают ethernet фреймы с зашифрованным tcp стримом внутри, извлекают длины tcp пакета и с помощью нейросети подбирают текст под соответствующие длины
Отличный инструмент, с помощью которого можно повысить качество нейросетей
Не знал, что в основе скам-империй лежит мелкое мошенничество через маленькие p2p обменники
По вашей логике предложение рождает спрос, но на самом деле все наоборот. Не было бы киберпанка - был бы неудовлетворенный спрос на него
Наш ответ Theranos, не иначе
Еще и какие-то 12 миллионов - значит в качестве «искусственного интеллекта» одна из открытых моделей
На самом деле, проще открыть в бинарном режиме 'rb' и читать не строки, а байты
Ну и конечно поиск сломается, если мы захотим найти первую строку
Вместо бин поиска тут больше подойдет алгоритм с золотыми сечениями, он как раз оптимизирует операции чтения
Я находил по запросу "GPT4"
Там были рассуждения про то, что модели с роутингом (кажется switch transformer, но не помню) дают хороший результат, а значит можно достигать тех же результатов с меньшис числом параметров
Ну и так же писали, что увлечение числа параметров не даёт значительного превосходства
Сейчас возможно оно перестанет гуглиться из-за релиза, но общие тезисы тупике, что пытаются архитектуру поменять в первую очередь