• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с тегом формальная верификация криптовалют

Формальная верификация смарт-контрактов во фреймворке ConCert

  • 03.04.2024 15:32
  • krlzi
  • 0
  • Программирование
  • Информационная безопасность
  • Блог компании Positive Technologies
  • Криптовалюты
  • Solidity

Формальные методы проверки смарт-контрактов

  • 17.01.2024 08:03
  • white_coon
  • 2
  • Программирование
  • Блог компании Positive Technologies
  • Криптовалюты
  • Децентрализованные сети
  • Solidity

Формальная верификация кода на Coq: тактики +4

  • 18.07.2023 10:00
  • Natasha_Klaus
  • 4
  • Функциональное программирование
Страница 1 из 1
ЛУЧШЕЕ

  • Сегодня
  • Вчера
  • Позавчера
07:00

Как перенести Linux Device Drivers на современные ядра +33

09:01

RustDesk: удалённый десктоп через свой сервер ретрансляции +29

12:00

Ретрокомпьютер моей мечты. Как я его собирал в 2025 году и что получилось в итоге +28

10:58

Маркировка DC/DC-преобразователей в корпусе SOT-23-5 и SOT-23-6 +25

12:16

Почему игра «Сатурн» бесплатная, отчёты перед ИРИ и ждать ли мобильную версию. Интервью с пиар-директором игры +24

08:37

Как Kubernetes стал стандартом управления инфраструктурой +23

02:51

Вы не понимаете теорию калорийности +20

05:01

Istio для практиков: как упростить управление микросервисами +19

09:14

Старики будут править IT +18

09:00

Японские суперкомпьютеры: 40 лет семейству NEC SX +18

14:18

Самый странный лексический синтаксис, который я обнаружила, исследовав 42 языка программирования +16

10:20

Три паттерна в дизайне, которые ведут себя не так, как кажется +15

13:01

Станет ли ИИ катастрофой для сквозного шифрования? +14

14:49

LangChain vs LlamaIndex: проектируем RAG и разбираемся, что выбрать для вашего проекта +10

13:50

Chaos Engineering и мониторинг: как готовиться к неожиданным сбоям +10

09:10

ИИ для веб-разработки +10

08:55

Мониторинг систем хранения данных в Docker Compose: из чего состоит и как его повторить +10

08:54

«Змеиная» дисциплина: как группировка DarkGaboon незаметно атаковала российские компании +10

07:50

SQL HowTo: волновой алгоритм и подсчет границ (Advent of Code 2024, Day 12: Garden Groups) +9

10:21

Канареечные релизы на Camunda и Togglz +8

07:00

Металлолом наносит ответный удар +170

09:36

Red Team против умного замка: взламываем биометрическую СКУД при помощи скрепки и магнита +84

16:02

Роберт, ты мне не дядюшка +66

13:01

Обзор BKHD N100 NAS — Лучшая материнская плата для домашнего NAS +52

09:18

Take control. Как мы забрали управление заводом у иностранцев +39

09:01

Неизвестно полезный CSS. Часть 7 +36

09:04

Насколько RTX 2080 Ti подходит для ML-задач? Изучаем бенчмарки +33

08:05

Аналого-цифровая автоматика и никаких микроконтроллеров на примере сушилки для рук +33

08:17

Самая трудная экспедиция XXI века: что не так с лунной программой США и почему Маск хочет ее переделать +29

05:15

3D-печатные подшипники — в массы +27

08:00

Merger в YTsaurus: безболезненное укрупнение чанков в статических таблицах +22

13:41

Экология человеческих ресурсов против кадрового голода +20

11:47

Готовим слайсы в Go: подробно о динамических массивах, строчках и ускорении +20

10:55

Как купить или продать биткоин и заработать в 2025 году +20

10:35

Перенос Orca в расширение Postgres: цели и детали реализации +20

09:15

Мастер-класс по точечному переносу изменений между ветками в git +19

05:30

Простой и универсальный способ чтения логов в терминале +19

13:06

Умная лампа для улучшения качества сна своими руками +18

17:47

Рабочий компьютер «мини» из ТВ-приставки +17

12:42

Большой гайд по Suno: делаем песню с нуля +17

09:18

tuple в CPython – мутабельный! И другие шокирующие детали из C-шной реализации +74

13:01

Почему нам всем стоит отказаться от соцсетей в пользу RSS +66

06:11

Я сделал фото за 200 000 рублей. А вам слабо? +66

14:15

Как я открыл и продал самую крупную сеть настольных игр в России +60

12:05

DEC. История в лицах. Часть 1 +60

09:20

С++ — это настоящий кайфǃ +54

20:47

Как учить язык быстро и самостоятельно +44

07:01

Разбор рендеринга в Unity, часть вторая: посмотрим на Genshin Impact +41

05:00

Трамп выпустил щиткоин на $75 млрд из воздуха, а также геймерский скандал вокруг Илона Маска +41

09:01

Чем заняться после программирования +35

07:11

Неожиданные последствия стихийных бедствий: как я пытался робот-пылесос iRobot отремонтировать +34

18:26

Про способности к изучению языков +29

08:01

Регистрация доменов, NVIDIA A100 на 80 ГБ и не только: дайджест за декабрь +29

09:45

Рецензия на книгу “React 19. Разработка веб-приложений на JavaScript” +21

07:40

Использование оверлейных сетей для обхода NAT +20

13:22

Этика представления данных в примерах: как нами манипулируют +19

19:15

Исследуем «вредоносную» флешку RJ45 +18

15:20

Обработка каталога и товаров на LLM +18

06:16

Я попробовал написать Dota 2 и Plants Vs Zombies в качестве мода для GTA San Andreas на Lua и вот что из этого вышло +17

09:00

Абсолютно потрясающее, но определенно не всеобъемлющее руководство по тестированию пуш-уведомлений +16

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • Забудьте про зарплаты в 500 тысяч: сколько будут получать разработчики в 2025 году +3

    • 286

    С++ — это настоящий кайфǃ +54

    • 185

    Как ChatGPT может помочь джуну: практический гайд -14

    • 123

    Пишем резюме так, чтобы вас не игнорили или как я исправила 1000 резюме на hh.ru +1

    • 87

    Металлолом наносит ответный удар +170

    • 75

    Как я открыл и продал самую крупную сеть настольных игр в России +61

    • 72

    Роберт, ты мне не дядюшка +66

    • 66

    Старики будут править IT +18

    • 65

    Обзор BKHD N100 NAS — Лучшая материнская плата для домашнего NAS +50

    • 64

    Red Team против умного замка: взламываем биометрическую СКУД при помощи скрепки и магнита +84

    • 62

    Почему нам всем стоит отказаться от соцсетей в пользу RSS +66

    • 55

    Чем заняться после программирования +35

    • 53

    Экология человеческих ресурсов против кадрового голода +20

    • 51

    LightBurn всё. Купил? Хватай, а то убежит +8

    • 48

    Как учить язык быстро и самостоятельно +45

    • 47

Подписка


  • Главная
  • Контакты
© 2025. Все публикации принадлежат авторам.