Ничего необычного, просто грузины делятся зажигательными историями о том, как ссут и гадят туристам из России во все что только можно. И ведь и подумать никто не мог.
До тех пор пока у нас разрешались игровые автоматы, у нас было одно питейное заведение в нулевых, и там алкаши собирались, у них реально была своя стратегия, как выиграть денежку на стопку
Фотография нажмите — покажем
Внутренняя модель OpenAI Astra решила 10 открытых математических задач. Некоторым из них было по 40-50 лет.
OpenAI только что сделали про это большой пост, выложили все доказательства в Lean и ход рассуждений модели. Суммарно на поиск решений ушло токенов примерно на $2000 по ценам Sol.
Пост | Доказательства
Среди результатов, в том числе, доказательство существования несофических групп и sphere packing в высоких размерностях.
Существование несофических групп на протяжении 20 лет было центральным вопросов теории групп и операторных алгебр. А упаковка сфер – это одна из самых знаменитых задач дискретной геометрии. До сих пор точное решение было известно только в некоторых размерностях, а за 8-мерный и 24-мерный случай Марина Вязовская получила Филдсовскую медаль.
Кроме того, в списке решение задачи Эрдеша №183 про мультицветные числа Рамсея, опровержение гипотезы жесткости Конна, гипотеза Эрхарта об объеме и др.
Про саму модель деталей мало. Вероятно, это крупная модель из семейства GPT-6 (или GPT-5.7), та самая, которая взломала HuggingFace. Судя по всему, именно ее Альтман презентовал в Белом Доме на этой неделе.
Женщины это абсолютная угроза нашей цивилизации. Каждый раз, когда женщина баллотируется на пост президента США, лидером свободного мира становится Дональд Трамп
(c) Джимми Карр, британский стендап
Фотография нажмите — покажем
А ты Иван-дурак, не такой уж и Иван! Ozon в срочном порядке перевозит товары со складов на ПВЗ. В первую очередь перевозят дорогостоящие товары. Такие уведомления начали получать клиенты. Быть добру!
❌ Головной удостоверяющий центр нарушает 63-ФЗ и 796 приказ ФСБ России
Согласно пункту 29.5 Приложения 2 - Требований к средствам удостоверяющего центра, утвержденным 796 приказом ФСБ России, средства для УЦ самого минимального класса КС1 (на практике КС1 не встречается, но данное требование наследуется вышестоящими классами) в отношении владельца сертификата ключа проверки ЭП должны быть реализованы механизмы проверки уникальности ключа проверки ЭП и обладания соответствующим ключом ЭП.
Что это обозначает на практике - с помощью средств УЦ должно быть невозможно создать новый квалифицированный сертификат с использованием ключа проверки ЭП, для которого ранее выдавался квалифицированный сертификат, такой открытый ключ не должен проходить обязательную проверку на уникальность.
Более того, пункты 5 и 6 статьи 2 63-ФЗ определяют ключ электронной подписи и ключ проверки (открытый ключ) как "уникальную последовательность символов". На уровне 63-ФЗ говорится, что два разных сертификата не могут иметь одну и ту же уникальную последовательность - ни открытый, от закрытый ключи. Помните историю с "ковидными сертификатами" и почему она не сработала?
Лет 10 назад с коллегой из 8 Центра обсуждали данную норму, как АУЦ вообще понять, что по направленному запросу не был выдан сертификат другим АУЦ, ведь реестра значений открытых ключей нет, к которому было бы возможно обратиться, например, в рамках проверок СМЭВ (АУЦ предварительно должны эти сведения в СМЭВ направить). Получен ответ - открытый ключ из запроса на сертификат уникальный, сертификат выдаётся, ответ - открытый ключ уже присутствует в другом сертификате - отказ. В общем пришли к мнению, что на практике эта реализация возможна только в рамках одного конкретного АУЦ.
Теперь к теме заголовка, Головной удостоверяющий центр в очередной раз продемонстрировал, что на него не распространяется действующая нормативная правовая система в области электронной подписи. 19 февраля и 16 марта на основании одного и того же файла
Незыгарю* рассказали сказку про «открытый Android», а он и поверил 🤨
Гайз, имеем пост, где аноним специалист по ИТ рассказал Незыгарю, дескать Google технически не может заблокировать установку RuStore и APK-файлов на Android, потому что ОС «остаётся открытой», а для полной блокировки пришлось бы «радикально менять архитектуру» 🤦♂️
Только вот проблема в том, что механизм, который делает именно это, Google анонсировал ещё в августе 2025-го и уже работает по, так сказать, объявленому графику.
Называется сие чудо Android Developer Verification. Благодаря данному нововведению, на сертифицированных Google-девайсах устанавливаться будут только приложения от верифицированных, соответственно, разработчиков.
Что касается вообще любого способа установки, включая сайдлоадинг и сторонние сторы.
Соответственно, разработчик сам решает, где разрешать установку своего приложения. Можно указать: ставьте меня из Play Store, но не из RuStore. И это ударит по магазинам, которые подтягивают чужие APK без согласования с разработчиком (а RuStore именно так и работает, если что).
Доступ разработчикам к системе верификации открыли в октябре 2025-го, для пилотных стран требование стартует 30 сентября 2026-го, глобально — с 2027-го.
Так что от этой меры может пострадать именно RuStore и российские банки под санкциями, потому что верификация разработчиков делает Android больше iOS в плане закрытости.
Обходные манёвры останутся, но они и на iOS есть.
Кстати, «специалист» Незыгаря не соврал лишь в одном месте, что полную блокировку Android действительно вряд ли устроит, код открытый и не все устройства вообще под GMS.
Но про то, может ли Google заблокировать конкретно RuStore ответ вполне известный. И мне интересно, это Незыгарь не проверил или проверять не хотелось, потому что вывод не совпадал с нужным нарративом? 😉
*является иноагентом
#МнениеПотамана #RuStore #Android #Незыгарь
За последнюю неделю резко вырос спрос на специалистов по воинскому и мобилизационному учету. На рекрутинговых сайтах сейчас размещено более 2,5 тыс. соответствующих вакансий и около 1,3 тыс. из них появились за последнюю неделю. Мне кажется это какой-то намек.
❌ В Москве и Подмосковье запретили майнинг до 2032 года
Правительство России включило Москву, Подмосковье и часть Курской области в перечень регионов с запретом на майнинг. Ограничение будет действовать с 15 августа 2026 по 31 декабря 2032 года. В Курской области под него попали восемь муниципальных районов и город Льгов.
👉 Полную подборку коротких новостей публикуем в отдельном канале ForkLog FEED и в разделе OneLiners на сайте.
Новости | AI | YouTube
