Для формальной верификации нужна машиночитаемая спецификация.
Но если сначала описываем требования на формальном языке, а потом доказываем, что реализация им соответствует, то зачем вообще нужна реализация на другом языке? Можно сразу компилировать/транслировать созданную спецификацию.
И главное: формальная верификация никак не защищает от ошибок в самой спецификации.
А "." это багофича гугла, когда почтовый ящик это имя без точек, но аккаунт с точкой и без это совершенно разные аккаунты с внезапно общим почтовым ящиком
В учебнике написано: вставка в связный список — O(1), в массив — O(n). Вывод как будто очевиден: вставляем часто — берём список.
О-нотация описывает сложность алгоритма - зависимость потребления ресурсов (время работы, потребляемая память) от размера данных: константа, линейная, квадратичная, экспоненциальная.
Она позволяет грубо оценить скорость работы на большом объеме данных по скорости на небольшом тестовом объеме.
В общем случае их нельзя сравнивать, конкретные числа неизвестны: O(1) может быть сутки, O(n) секунда/элемент или час/элемент.
Есть движки, которые сразу начали с четвертой стадии, что продиктовано спецификой жанра: кастомный DSL для визуальных новелл упрощает создание игры, поскольку предметная область узкая и хорошо изучена, а сценарий удобнее писать как текстовый скрипт. Но когда на таких движках делают ВН с геймплеем, начинаются страдания и боль - инструментов для отладки/профилирования нет, заточенность под ВН мешает в разработке сложного UI и геймплейных механик.
Это все тот же коммунизм/социализм/прогрессивизм/социал-демократия/левые и так далее. Как тогда люди понимают что им продают тоже дерьмо, но в новой обертке, то политики просто меняют название. Сейчас это продают как либерализм, который изначально полная противоположность.
В Калифорнии и новые пистолеты (и не только) запрещено продавать - местные депутаты насмотрелись судьи Дреда и приняли закон, чтобы при выстреле на гильзе печатались марка, модель и серийный номер пистолета.
В Линуксе примерно то же самое делается Открыть терминал, и в файле /etc/blablabla расскомментировать пару строчек. Это намного быстрее, но для этого надо не падать в ужас от слова Терминал и уметь запустить текстовый редактор на файле.
Быстрее в теории, на практике нет.
Настройки в файле: сперва ищешь в документации в где именно хранятся настройки, потом есть ли вообще нужная опция и как называется, потом ищешь настройку в файле, и добавляешь или меняешь её. Казалось бы всё, но нет, теперь надо сообщить программе, что настройки поменялись - опять в документацию, или смена настроек только через перезапуск в лучшем случае программы, в худшем системы. Опечатка или ошибка в настройках и всё сломалось? Сам виноват, настоящие специалисты НИКОГДА не ошибаются.
В GUI нельзя выбрать несовместимые опции, есть защита от дурака - некорректные варианты недопустимы. Настройки или применяются сразу или прямо говорят, что нужен перезапуск. Не буду утверждать, что настройки через GUI полностью безопасные, но сломать гораздо сложнее, чем через файл.
Из личного опыта: использую mpv, отличный видеоплеер, но горячие клавиши это кошмар - работают по символам, а не scancode - нужно дублировать настройки для каждой раскладки, и избегать одинаковых символов на разных клавишах. И это стандарт в Линуксе, для одного приложения ещё терпимо, но настраивать так каждое я не готов.
К тому же, Ирак не подписывал и не ратифицировал эту конвенцию, с чего они должны были выполнять эти требования, даже если бы это произошло не на 10 лет раньше?
По итогам войны 1991 года была принята резолюция ООН №687 по которой Ирак обязан уничтожить всё своё химическое оружие. Ирак её принял 6 апреля 1991 года.
Despite the apparent certainty of both governments prior to the war that Iraq possessed such weapons, no such illegal weapons or programmes were found by the Iraq Survey Group.
Iraq submitted its initial declaration on 12 March 2009, and has declared two bunkers with filled and unfilled chemical weapons munitions, some precursors, as well as five former chemical weapons production facilities (CWPFs)
Ирак задекларировал 8500 литров антракса, по непроверенным оценкам мог произвести 25 000 литров. Садам Хусейм не предоставил проверяемых доказательств [о ликвидации] хотя бы капли.
Для формальной верификации нужна машиночитаемая спецификация.
Но если сначала описываем требования на формальном языке, а потом доказываем, что реализация им соответствует, то зачем вообще нужна реализация на другом языке? Можно сразу компилировать/транслировать созданную спецификацию.
И главное: формальная верификация никак не защищает от ошибок в самой спецификации.
"+" это RFC5233 для подадресации.
А "." это багофича гугла, когда почтовый ящик это имя без точек, но аккаунт с точкой и без это совершенно разные аккаунты с внезапно общим почтовым ящиком
О-нотация описывает сложность алгоритма - зависимость потребления ресурсов (время работы, потребляемая память) от размера данных: константа, линейная, квадратичная, экспоненциальная.
Она позволяет грубо оценить скорость работы на большом объеме данных по скорости на небольшом тестовом объеме.
В общем случае их нельзя сравнивать, конкретные числа неизвестны: O(1) может быть сутки, O(n) секунда/элемент или час/элемент.
Есть движки, которые сразу начали с четвертой стадии, что продиктовано спецификой жанра: кастомный DSL для визуальных новелл упрощает создание игры, поскольку предметная область узкая и хорошо изучена, а сценарий удобнее писать как текстовый скрипт.
Но когда на таких движках делают ВН с геймплеем, начинаются страдания и боль - инструментов для отладки/профилирования нет, заточенность под ВН мешает в разработке сложного UI и геймплейных механик.
hashtext() может давать коллизии (как любой хеш) и это внутренняя не задокументированная функция, поведение которой может поменяться при обновлении.
Лучше использовать в таком виде
pg_advisory_lock(group_id, task_id)где group_id и task_id это int константы или заведомо уникальные значения.
Это все тот же коммунизм/социализм/прогрессивизм/социал-демократия/левые и так далее.
Как тогда люди понимают что им продают тоже дерьмо, но в новой обертке, то политики просто меняют название. Сейчас это продают как либерализм, который изначально полная противоположность.
Не удивительно, учитывая что с 1962 по 1977 (15 лет) у американских ядерных ракет код запуска был 00000000 (восемь нулей).
звучит как "уволим ещё больше"
этой войне 47 лет, она началась в 1979 году
тот самый ООН, сотрудники которого участвовали в атаке, похищение и пытках израильтян, а судьями назначает рабовладельцев.
там как минимум еще четыре пункта с Gemini Nano, их тоже надо отключать
Потому что в реальности получается так (на примере Канады):
Мужчине, страдающему от одиночества одиноки, одобрили эвтаназию (29 января 2026)
Пожилая женщина передумала, но её вас все равно убили (6 марта 2026)
Депрессия? зачем лечить, когда можно убить (17 февраля 2026)
Женщине нужна операция, но врачей нет - убийство лечит все (8 декабря 2025)
Женщине (ветеран, параолимпиец, парализованная после несчастного случая на армейской тренировке) нужен дома подъемник для инвалидной коляски, все него ей предложили самоубийство (декабрь 2022)
По датам видно, что это не редкие "недоработки" за всё время, а распространённая практика и действующая уже давно.
Apache с mod_include умеет в Server Side Includes:
<!--#include file="header.html"-->В Калифорнии и новые пистолеты (и не только) запрещено продавать - местные депутаты насмотрелись судьи Дреда и приняли закон, чтобы при выстреле на гильзе печатались марка, модель и серийный номер пистолета.
Быстрее в теории, на практике нет.
Настройки в файле: сперва ищешь в документации в где именно хранятся настройки, потом есть ли вообще нужная опция и как называется, потом ищешь настройку в файле, и добавляешь или меняешь её. Казалось бы всё, но нет, теперь надо сообщить программе, что настройки поменялись - опять в документацию, или смена настроек только через перезапуск в лучшем случае программы, в худшем системы. Опечатка или ошибка в настройках и всё сломалось? Сам виноват, настоящие специалисты НИКОГДА не ошибаются.
В GUI нельзя выбрать несовместимые опции, есть защита от дурака - некорректные варианты недопустимы. Настройки или применяются сразу или прямо говорят, что нужен перезапуск. Не буду утверждать, что настройки через GUI полностью безопасные, но сломать гораздо сложнее, чем через файл.
Из личного опыта: использую mpv, отличный видеоплеер, но горячие клавиши это кошмар - работают по символам, а не scancode - нужно дублировать настройки для каждой раскладки, и избегать одинаковых символов на разных клавишах. И это стандарт в Линуксе, для одного приложения ещё терпимо, но настраивать так каждое я не готов.
Третий вариант - серверный SSD (обычно название начинается с PM), TBW сильно выше при цене чуть дороже потребительского (пару лет назад).
Magician на Windows работает только с потребительскими SSD самсунга (EVO, PRO, 9x0).
Для серверных SSD есть Magician DC, но только под Linux.
Сравниваем:
Stargate $500 млрд за пять лет.
В пересчете на год получаем $71 млрд и $100 млрд. Вполне сравнимые суммы, и близко нет "на порядок скромнее и разумнее".
Пока еще частные, но OpenAI планируют IPO на триллион
По итогам войны 1991 года была принята резолюция ООН №687 по которой Ирак обязан уничтожить всё своё химическое оружие. Ирак её принял 6 апреля 1991 года.
Пять лет спустя:
Разведка была права, но кто-то очень плохо искал.
Выступление Паэула: