HABR FEED + OPENNET
2.73K subscribers
7 photos
329K links
Посты с Хабра + бонусом opennet

Бот на гитхабе: https://github.com/shpaker/feedforbot

Подписывайтесь на меня чтоб мне было радостней: @g33ks

Советы/предложения/камни в спину ловит: @shpaker
Download Telegram
1Password представил функцию авторизации для ИИ‑агентов #habr
https://habr.com/ru/news/1098194/
Tags: 1password, менеджер паролей, облачные сервисы, искусственный интеллект, ии-агенты, учетные данные, автоматизация, защита данных, авторизация
Teenage Engineering представила компактный комбоусилитель с эффектами для электрогитары #habr
https://habr.com/ru/news/1098204/
Tags: Teenage Engineering, EP-35, EP-35 K.O. AMP, усилитель, комбоусилители, звук, колонка, гитара, музыкальные инструменты, музыка
Аnthropic развивает технику для формальной верификации существующего ПО при помощи AI #opennet
https://www.opennet.ru/opennews/art.shtml?num=66528

Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, проверяемых в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью.