#AI #opensource Чтобы вам не пришлось искать - вот ссылки на cmux и supacode

#git #macapps Если у вас в браузере нет такого охуенного плагина как Refined GitHub, то самое время его поставить - он кардинально улучшает UX гитхаба, что им становится удобно паользоваться.

#macapps Полезный в хозяйстве стафф, который можно купить за вменяемые деньги.
1 - figma - несмотря на то, что написано, что продают подписку на 6 месяцев за 600 рублей, но по факту они делают на 2 года
2 - miro - пожизненная edu-лицензия на 100 пользователей

#fun Министерство Войны США по указу Дональда Трампа начало рассекречивание материалов об НЛО. Данные опубликованы в соответствующем разделе сайта министерства.

#macapps rcmd - интересная бесплатная утилита, которая позволяет использовать правую кнопку cmd для быстрого доступа к запущенным приложениям

Еще из полезного стаффа - подписка на YouTube Premium на год за 1400. Выходит дешевле, чем покупать подписку в Индии за 149 рупий (около 170р в месяц, на год выходит чуть больше 2000р).

#google #AI На хабре выложили разбор анонсов от гугла, сделанных на конференции Google I/O, проходящей с 19 по 20 мая

#AI Пока все обсуждают, заменит ли AI программистов, нормальные люди решают более приземлённую проблему: как не слить к черту все production secrets, когда у тебя Codex уже ходит по инфраструктуре.

1Password и OpenAI выкатили “trusted access layer” для Codex.

Суть:
— AI-агенту больше не нужно пихать токены, SSH-ключи и API secrets в .env, prompts или репы
— доступ выдается точечно и только под конкретное действие
— секреты не попадают в context модели
— каждый sensitive request подтверждается человеком
— всё крутится через локальный MCP Server

Фактически индустрия начинает признавать очевидное: AI-агенты уже не игрушка “напиши функцию”, а почти полноценный участник production workflow.

А значит дальше будет только веселее:
— identity layer для AI
— permission management для агентов
— audit trails для действий модели
— AI zero-trust инфраструктура

Потому что “дать LLM root-доступ и надеяться на лучшее” — стратегия короткой и очень насыщенной жизни.

https://1password.com/blog/1password-trusted-access-layer-for-openai-codex

Либо/Либо выпустили очень крутой мини-подкаст про инфоцыган - раз, два. Хороший разбор того, как индустрия “успешного успеха” годами продавала людям не знания, а надежду на социальный лифт в обмен на подписку, курс и очередного “наставника”.
Особенно интересно не само мошенничество — оно старо как мир. Интересно другое:
— почему рациональные люди продолжают в это заходить;
— как работает экономика цифровой веры;
— почему алгоритмы платформ идеально монетизируют человеческую неуверенность;
— и как вся эта машина превращает человеческие комплексы и тревоги в стабильный источник дохода.

Без истерики. Без морализаторства. Просто хорошее напоминание о том, что критическое мышление — это не “опция для умных”, а базовое средство цифровой самообороны.

Квантовая паранойя или разумная предосторожность? Apple открыла исходники постквантовой криптографии

Apple опубликовала на платформе GitHub исходный код библиотеки corecrypto и подробное техническое описание работы над постквантовой криптографией — методами шифрования, устойчивыми к взлому будущими квантовыми компьютерами — для айфонов, Маков и других устройств. Это продолжение проекта, стартовавшего в 2024 году с протокола PQ3 для мессенджера iMessage. Новый репозиторий включает низкоуровневую криптографическую библиотеку, используемую фреймворками Security, CryptoKit и CommonCrypto для шифрования, хеширования, генерации случайных чисел и цифровых подписей.

В опубликованном коде содержатся реализации двух постквантовых алгоритмов — ML-KEM и ML-DSA, выбранных Apple для corecrypto. Первый помогает устанавливать безопасные ключи шифрования, второй отвечает за цифровые подписи. Оба соответствуют стандартам FIPS 203 и FIPS 204, разработанным Национальным институтом стандартов и технологий США для защиты от известных угроз со стороны квантовых вычислений. В репозитории также есть тесты, инструменты для измерения производительности и специальная папка с формальной верификацией — математическими доказательствами корректности кода.

Apple разработала собственный подход к проверке, поскольку существующие инструменты не отвечали всем требованиям компании. Библиотека corecrypto работает на разных устройствах с различными процессорами Apple Silicon, а реализации включают как переносимый код на языке C, так и оптимизированный ассемблер ARM64 под собственные чипы. Формальная верификация помогла обнаружить проблемы, которые обычное тестирование пропустило бы — например, пропущенный шаг в ранней версии ML-DSA, способный в редких случаях приводить к некорректным результатам вычислений. В худшем сценарии такая ошибка могла бы незаметно повредить криптографические операции без каких-либо предупреждений от существующих тестов.

Компания также опубликовала научную работу «Формальная верификация для Apple corecrypto», инструмент Cryptol-to-Isabelle для преобразования проверочных данных в формат, сопоставимый с официальными стандартами, и теории Isabelle с доказательственными материалами для исследователей безопасности. Все это выложено открыто, чтобы стимулировать более широкое применение подобных методов, получить независимую оценку работы и помочь развитию технологий верификации критически важного программного обеспечения. Судя по масштабу усилий, в Apple действительно верят, что квантовые компьютеры когда-нибудь станут реальной угрозой — или просто любят перестраховываться на пару десятилетий вперед.

@FixedOneNews

#никогдатакогонебылоивотопять ОВД Инфо анонсировали хакатон для разработчиков, небезразличных к правозащитным проектам. Доступны 3 трека - коммуникация, AI и медиа. Формат - оффлайн в Берлине.

#ruby #rails Если вы хотели использовать классический инструментарий rails, но вам очень не хватало чего-то типа shadcn, то вот вам подходящий гем https://github.com/alec-c4/view_primitives

#macapps В копилку полезностей для macOS - клиент для работы с различными базами данных TablePro. Технически бесплатная и платна версии мало чем отличаются, но если вы хотите поддержать разработчика, то $59 как единоразовые платёж - не так уж и много для такого инструмента.