Habr📅 18.08.2026 10:12⏱️ 1 мин
Стоит компьютеру начать притормаживать, как многие первым делом идут ставить какой-нибудь оптимизатор. Подход в целом понятен. Нажал кнопочку, и программа сама очистила память, прибила все лишнее, и система полетела как новенькая. Ведь все же знают, что за годы работы любая ОС, а не только Windows, обрастает мусором, а мусор этот тормозит, и надо е...
Читать полностью →Habr📅 18.08.2026 10:11⏱️ 1 мин
В некотором царстве, в некотором государстве… Историю расскажу, как сказочку, из тех соображений, что в сказочника камней не кидают, аллергия на камни :) Ибо, ну что с него взять? Он же сказочник!Так вот. Жила была компания, давненько это было, домен AD, w2k3 сервера, филиалы по области штук 15-20, в каждом по контроллеру домена для надежности, и о...
Читать полностью →Habr📅 18.08.2026 09:52⏱️ 1 мин
Настройка telemetry.telemetryLevel=off отключает телеметрию платформы, но не обновления, Git, синхронизацию, расширения и запросы к AI-провайдеру. Разбираю, какие данные могут уходить по каждому каналу, что реально видно в сети и почему сам факт TLS-соединения еще не доказывает утечку кода. В практической части - аудит Xynapse IDE: три 60-секундных...
Читать полностью →Habr📅 18.08.2026 09:51⏱️ 1 мин
Постоянно меняющиеся требования со стороны Центробанка и Росфинмониторинга заставляют финансовые организации уделять пристальное внимание своим клиентам с точки зрения их благонадежности. Каждый день производится ряд проверок, позволяющих оценить риски обслуживания организаций и физических лиц. В связи с этим появилась необходимость не просто автом...
Читать полностью →Habr📅 18.08.2026 09:51⏱️ 1 мин
О когнитивных способностях человека есть много исследований. Одно из самых известных это исследование за авторством Элизабет Спелке. Оно о том как у человека появляется самое первое, базовое понимание мира и физических законов. Её работа ставит под сомнение традиционные взгляды на то, что всё человеческое знание приобретается исключительно через оп...
Читать полностью →Habr📅 18.08.2026 09:46⏱️ 1 мин
Здесь мы разберём ∙ элементы математической логики, связывающие её с языками программирования; ∙ ключевой аспект логического программирования — автоматизация вывода искомого результата (конструктивного доказательства); ∙ базовые принципы языка Пролог; ∙ связь теории типов с математической логикой; ∙ связь механизмов «неявности» в разных языках с ло...
Читать полностью →Habr📅 18.08.2026 09:43⏱️ 1 мин
Здравствуйте! Сегодня мы рассмотрим древний ламповый осциллограф французской компании Metrologie Annecy — Métrix 222. Не знаю, какие ассоциации вызовет у вас, внешний вид этого аппарата, а мне почудился «Наутилус» капитана Немо. К тому же, эти образы объединяет общее — Франция.Ориентировочный год производства — 1955. Чем интересен этот аппарат? В н...
Читать полностью →Habr📅 18.08.2026 09:38⏱️ 1 мин
Набор тестов, который всегда зелёный, содержит непроверяемое допущение: он может ловить ошибки, а может не смотреть вообще — по цвету это неразличимо.Я писал реализацию Raft на TypeScript и построил вокруг неё музей багов: семь экспонатов, каждый выключает ровно одно правило алгоритма и требует, чтобы харнесс поймал это — с сидом и с именем нарушен...
Читать полностью →Selectel📅 18.08.2026 09:35⏱️ 1 мин
GitLab внепланово пропатчила две уязвимости, позволявшие менять и удалять чужие данные без аккаунта. Разбираем механику атак и что делать администраторам. Сообщение GitLab экстренно закрыла две критические уязвимости в GraphQL API появились сначала на Академия Selectel....
Читать полностью →Habr📅 18.08.2026 09:34⏱️ 1 мин
Я делаю сервис, который разворачивает проекты юзеров на их серверах. Разбираю на своём примере три вещи, которые нужны любому, кто просит доступ к секретам пользователя. Что просить, как хранить и что делать, когда сузить права нельзя в принципе.Дальше практика с кодом. Почему в ключе стоит метка, почему сам ключ встречается в команде ровно один ра...
Читать полностью →