Телеграм канал «CodeCamp»

⚡️ В России начали жестко глушить ChatGPT

Сайт и приложение отваливаются ещё до серверов OpenAI — соединение режут прямо на этапе TLS-рукопожатия:
— Смена DNS больше не спасает;
— Официальный софт тоже прилег;
— Служебные адреса и API пока живы.

Выходные продлеваются 😭

Ночное-полезное для девопсеров: нашел репу с десятками практических проектов для прокачки навыков и резюме!

Внутри 54 проекта разной сложности по Terraform, Kubernetes, Docker, CI/CD, DevSecOps, AWS, Azure, безопасности и мониторингу. Есть полноценные лабораторные с кодом и конфигами и также пошаговые гайды — так что можно разобраться, повторить всё своими руками и положить результат в портфолио.

Практически школа девопса 😎

В России заблокировали VirusTotal — один из самых популярных сервисов для проверки подозрительных файлов и ссылок.

С 1 сентября пользователи из РФ начали жаловаться, что сервис перестал нормально работать. Причём проблемы наблюдаются не только с сайтом, но и с API.

За шо 🥲

Чтоб не зазнавался 😁

Claude полностью формализовал Великую теорему Ферма — и сделал это автономно всего за 11 дней 😳

Anthropic утверждает, что это первое полное доказательство теоремы, которое целиком проверено компьютером. Доказательство Великой теоремы Ферма было найдено ещё в 1995 году математиком Эндрю Уайлсом, но проверить его на компьютере до сих пор не удавалось до… этого дня.

Десятки агентов Claude переписали доказательство на языке Lean, создав 13 млн строк кода и потратив 6 млрд токенов за 11 дней. Причём люди вмешивались лишь изредка и давали агентам общие указания. Кевин Баззард, который сам с 2024 года руководит многолетней формализацией теоремы Ферма, назвал результат Claude «экстраординарным достижением».

Доказательство уже выложили на GitHub. 🤯

Ночное-полезное: разраб запустил удобный конструктор интерфейсов для приложений и сайтов.

Внутри M3E Canvas вы перетаскиваете кнопки, карточки, списки и связываете переходы. Когда все готово, сервис превращает весь макет в готовый промпт для Claude Code, Codex, Gemini CLI или Cursor.

Есть мобильные и десктопные экраны, темы, анимации, превью переходов и экспорт в PNG. Сам проект работает прямо в браузере.

Такое нам пригодится 👍

Теперь они пришли за хвостатыми — в Китае роботы заменяют дефицитных собак-поводырей 👍

У рисовых братьев назрел масштабный кризис доступной среды: на более чем 17 миллионов слабовидящих людей приходится всего около 400 обученных собак на весь Китай. Подготовка одного четвероногого компаньона занимает свыше года, обходится в 200 000 юаней (~$30 000), а вот роботов они клепают быстро и качествено:

— Колеса для бесшумной езды и 4 лапы для лестниц;
— Видит ветки деревьев, строительные балки и нависающие вывески над головой (о которых собаки часто умалчивают 😁) и обходит 99% препятствий;
— Сантиметровая точность навигации и кнопка SOS для связи с волонтерами;
— Робот нативно подключен к базам ассоциаций инвалидов, цифровым картам доступной среды и платформе дистанционной волонтерской поддержки;
— Систему уже начали обкатывать на практике — пилотные зоны развернуты в метрополитене Ханчжоу и в крупных моллах.

🔥 — Таких роботов мы одобряем 😊