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

logo

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

Публикации с тегом формальное доказательство

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

  • 13.12.2022 12:06
  • IamreadyMotor
  • 0
  • Информационная безопасность
  • Децентрализованные сети
  • IT-компании
Страница 1 из 1
ЛУЧШЕЕ

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

FreeRTOS для самых маленьких на примере ESP-IDF +48

08:05

Чип, подёргай ножкой ¯\_(ツ)_/¯ +25

13:31

Германская танковая проблема: торжество статистики и один из первых примеров военного OSINT'a +19

08:00

WsprryPi: трансивер WSPR из обычной «малинки» +19

11:07

CobolCraft = Cobol и Minecraft: как древний язык программирования нашел применение в популярной игре +18

13:01

Почему во Вселенной материи больше, чем антиматерии? +17

06:08

Texas Instruments: от калькуляторов до мастеров распределения капитала +16

05:02

Книги, софт, сайты для изучения китайского языка +14

08:35

40 лучших ИИ-инструментов 2025 году (проверенные и протестированные) +12

13:10

Героические цивилизации — пишу гибрид двух легендарных игр +11

01:19

Процессор ЭВМ ЕС-1030. Особенности микропрограмм +10

06:15

Усилитель класса D на TPA3255 (PBTL) +9

10:00

Основы и продвинутые техники RAG +8

11:16

Неосознанный летающий объект (новогодний НФ-рассказ) +6

05:55

Электроника. От микросервисов к монолиту и обратно +6

07:55

Вышел релиз GitLab 17.7 с новой пользовательской ролью Planner +5

10:16

CryptoPro CSP на macOS +4

07:20

Самые примечательные научные открытия 2024 года +4

17:07

Я б в ИБшники пошёл, пусть меня научат +3

17:02

Часть 1: Как я создал идеальный REST API — микросервис инцидентов на Java и Spring +3

10:48

Приключения серотонина в бесконечном цикле боли, или опиатная ломка у неторчка — ч.1 +58

13:02

Как типы делают сложные задачи простыми +42

10:07

Более 14 лет ставлю цели на год: рассказываю, как и почему этот процесс работает у меня +40

09:11

Новогоднее чудо — кастомная электрогитара мечты +37

09:26

Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +30

19:04

Забытые технологии: PPP +28

14:00

Оптимизация запросов SQL Server V/S PostgreSQL: есть куда расти? +26

10:55

Два месяца и релиз языка программирования Ruby 3.4.0 готов +26

19:38

Обвиваем YouTube змеем, или как смотреть и скачивать видео с YouTube без VPN на чистом Python-е. Часть 2 +23

22:11

Стековая виртуальная машина на языке Си +20

21:50

STM32. CMSIS. Пять способов генерации (псевдо-)случайного сигнала на выводе микроконтроллера +14

15:25

Весь мир в файле .org: Как использовать Emacs для заметок +11

12:05

Использование Assembler'a. Фишка 1 +10

15:52

Искусственный интеллект в продукт-менеджменте: как ИИ облегчает жизнь продакта — обзор инструментов и личный опыт +9

13:19

RP2040. Асинхронный вывод в UART по прерываниям +9

11:00

1 января 1970 года. День создания индустрии программного обеспечения +9

08:00

Багровые тучи, симметриады и марсианский картофель: 10 научно-фантастических книг о космосе +9

04:01

Как улучшить влажность в квартире: проверяем на практике +8

15:10

Лучшие беспроводные наушники (TWS) 2024 — начала 2025. Сравнение звука топовых HIFI труваров +6

08:39

Ryanair: как ирландский лоукостер построил свой антибренд на ненависти со стороны своих клиентов +6

09:01

Стеклянные ёлочные игрушки своими руками. Техника fusing +106

17:50

Как сделать ёлку, если ты Unicode +51

07:31

«Сингулярностей не существует», — утверждает первооткрыватель чёрных дыр Рой Керр +49

11:14

Будущее микросервисов: уйдем ли мы к монолитам 2.0? +48

08:05

Технологии, которые мы потеряли и знаковые IT-события 2024 года +24

10:10

Как я WSPR маяк тестировал +22

14:55

Топ-20 лучших научных статей об ИИ-агентах в 2024 году +21

14:29

Почему ИИ не заменит программистов: взгляд инженера +21

13:29

Реализация шифра «Кузнечик» на языке RUST +16

08:21

Чего ждать от Python в 2025 году — и чем он радовал нас в этом +15

19:14

Стертый из американской лунной программы луноход VIPER +13

01:30

Структура FastAPI приложения +12

16:35

Система репутации в Telegram +9

18:17

Т-функция: подключаем логику к UI как к БД +7

12:22

Пошаговая Formula 1 — игра/задачка на программирование +7

06:04

SmartTherm: управляем котлом по OpenTherm удаленно с персональным облаком +7

11:45

Кто упал, а кто поднялся в 2024? Подборка лучших историй предпринимателей за год +6

09:59

Как данные передаются в системе и устройстве? Интерфейсы ARINC +6

09:11

Уроки истории: Первое в мире киберпреступление — червь Морриса +6

08:40

Мысли по поводу нового релиза Elixir +6

СЕРВИСЫ
  • logo

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

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

  • «Сингулярностей не существует», — утверждает первооткрыватель чёрных дыр Рой Керр +49

    • 123

    Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +30

    • 79

    Почему ИИ не заменит программистов: взгляд инженера +21

    • 75

    Как улучшить влажность в квартире: проверяем на практике +8

    • 71

    Будущее микросервисов: уйдем ли мы к монолитам 2.0? +48

    • 69

    Более 14 лет ставлю цели на год: рассказываю, как и почему этот процесс работает у меня +42

    • 61

    Приключения серотонина в бесконечном цикле боли, или опиатная ломка у неторчка — ч.1 +58

    • 42

    Стертый из американской лунной программы луноход VIPER +13

    • 38

    Забытые технологии: PPP +28

    • 37

    Стеклянные ёлочные игрушки своими руками. Техника fusing +106

    • 34

    FreeRTOS для самых маленьких на примере ESP-IDF +48

    • 32

    Безопасная авторизация в современных мобильных приложениях: миф или реальность? -3

    • 25

    Чем заменить Youtube: 15 вариантов для авторов и бизнеса -17

    • 21

    Как добавить или расширить диск в Linux +2

    • 20

    Багровые тучи, симметриады и марсианский картофель: 10 научно-фантастических книг о космосе +9

    • 20

Подписка


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