Добрый день! Меня зовут Кирилл Зиборов, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье я продолжу рассказывать о том, как мы используем инструменты формальной верификации для предотвращения уязвимостей в различных компонентах блокчейна. Речь пойдет о верификации смарт-контракта BaseToken в Hyperledger Fabric с помощью метода проверки моделей. Читать далее
Вы подписали договор с коммерческим SOC и думаете, что теперь можете выдохнуть? Не спешите. Многие компании покупают мониторинг безопасности как сервис — в надежде, что он решит все их проблемы. А получают долгие созвоны, неожиданные проблемы с инфраструктурой и звонки…
У LLM есть устойчивый стиль ответов даже без системного промпта. Я построил инструмент, который измеряет этот «характер» через проекции скрытых состояний на 7 контрастных осей (тёплый/холодный, многословный/лаконичный и др.) и протестировал его на 6 open-weight моделях 7–9B. Главный…
Привет, Хабр! Как часто вы встречаете термин «Agile»? Лично я — с завидной регулярностью: в заголовках статей, на конференциях и в повседневных разговорах. Особенно активно это понятие используется в сфере ИТ. Несмотря на большое количество информации, многие всё…
Оригинал заметкиПрогнозам о вымирании профессии программиста чуть меньше лет, чем самой профессии. Первые смелые предположения появились еще в конце 1950-х, вместе с распространением Кобола и Фортрана. Программисты в машинных кодах постепенно стали программистами на языках высокого уровня. Новый стандарт Фортран-2023 (ISO/IEC 1539-1:2023) был принят сообществом в прошлом году. Читать далее
Если вы тот самый человек, который «на минутку» подключается ко всем вопросам, тушит «пожары» по вечерам и в итоге не успевает сделать свою основную работу – это не про слабый тайм-менеджмент. В статье – разбор того, почему в техкомандах так сложно выстраивать границы, и как делать это без конфликтов и репутационных потерь: через приоритеты, понятные правила и конкретные рабочие формулировки, а не абстрактное «умение говорить нет». Читать далее
А вы когда-нибудь думали, что у вас дома есть место, которое идеально подходит для охлаждения компьютера? Оно есть в каждом доме, хорошо для этого подходит, стоит меньше хорошей водянки, но при этом эффективно справляется со своими задачами. Я про холодильник. Если вы думаете, что…
В конце января компания OpenAI порадовала статьёй про то, как у них устроен backend, вот её перевод на русский. Хороший материал для размышлений о system design и, в частности, для поиска ответов на два вопроса: стоит ли идти таким путём начинающему стартапу? стоило ли OpenAI так делать? Читать далее
Есть множество нюансов в индустрии разработки и продвижения игр. Из этих нюансов и других особенностей со временем сформировалась собственная терминология. Например, в новостях часто упоминают различные ремейки, ремастеры или просто переиздания старых игр. А иногда говорят о каких‑то «портах». Понимают разницу между ними далеко не все. В этой статье мы подробно разберемся в вопросе. Читать далее
Привет, Хабр! Меня зовут Никита Шехов, я руковожу командой разработки «Единой цифровой платформы» (ЕЦП) в РСХБ.Цифра. В этой статье хочу рассказать, как мы создавали платформу для автоматизации бизнес-процессов банка, с какими вызовами столкнулись и какие решения оказались…