Формальная верификация смарт-контрактов Solidity: SMTChecker
Все публикации
Новинки процессоров в 2025 году: что представили Intel, Nvidia, AMD, Samsung и MediaTek +12
Как компании пытаются создать звезду на Земле +9
Рассказ о том, как rclone в 4 раза быстрее rsync синхронизирует файлы по сети +16
Почему все смартфоны стали одинаковыми: история потерянного разнообразия +67
CI/CD под прицелом: реальные сценарии атак и методы противодействия +11
Как монетизировать мобильное приложение в 2025 году и достигать бизнес-целей +2
MAC: путешествие в мир агентов +1
От баблоцентричности к клиентоцентричности: неизбежный разворот приоритетов на зрелых рынках -3
Claude vs ChatGPT + Codex: Кто лучше решит комплексную задачу? Тестируем 6 моделей +23
Сравнение SBOM-генераторов +4
Написал скрипт для gThumb (менеджер и простой редактор фото) для загрузки фотографий в Wikimedia Commons, доволен +1
Автоматизация управления ключами и квантовые сети — неприступная крепость для конфиденциальной информации
Лаконичный макрос defer для C++17 +27
Заметки о портировании UNIX Classic с помощью Cosmopolitan +8
