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

logo

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

Публикации с тегом semiformal notation

NIST рекомендует: строительные блоки для описания IoT +10

  • 11.11.2016 18:11
  • Vladimir_Sklyar
  • 3
  • IT-стандарты
  • Разработка для интернета вещей
Страница 1 из 1
ЛУЧШЕЕ

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

Толкаем байты, или Простейший эмулятор своими руками +26

09:02

Новогодний DIY: В лесу крутилась ёлочка +22

05:23

Scrum is dead или почему Kanban намного эффективнее Scrum +21

09:30

Как мы построили SIEM для Холдинга «Газпром-Медиа» и научились подключать новые активы к SOC за сутки +18

07:52

Специализированные репозитории для Debian своими руками. Самый полный мануал +17

06:00

Как мигрировать данные между разными StorageClass в Kubernetes и зачем это делать +16

07:00

Как имперский тревел-блогер делал первые RGB-фотографии +14

07:09

Миграция CDN с nginx на Angie: кейс RUTUBE +11

07:00

Мониторинг vs расчеты: где взять недостающую электрическую мощность и попутно решить проблемы +11

08:10

Автогенерация тестов для Java/Kotlin в IntelliJ IDEA: сравнение AI-инструментов +10

08:00

Как выстроить работу команды продуктовых дизайнеров, не привлекая внимания санитаров +9

06:40

Синхронизация событий в видеотрансляциях +9

07:01

Российская виртуализация – обозначаем реальные потребности заказчика и классифицируем решения на рынке +8

05:15

Барьеры и модели памяти – explained +8

08:50

Fullstack v2: учимся писать UI на Go +7

08:33

Развитые цивилизации могут быть неотличимы от природы +7

08:03

Портативные медицинские приборы из микроконтроллера, датчиков и смартфона +7

08:00

Как хастлер Гарри, хакер Гермиона и хипстер Рон создали «стартап волшебников» +7

08:57

Расследование: Spotify заказывает треки у артистов и выкладывает их под выдуманными именами +6

06:36

Python: неочевидное и вероятное +6

04:52

Пионеры разработки: внедрение АСУ 38 лет назад +148

11:07

Технотекст 7: конкурс авторов Хабра стартует +76

12:02

Электроника в вопросах и ответах +53

08:03

Зарядное устройство для свинцово-кислотных аккумуляторов 4В +53

07:42

Программа, которая падала на первой команде +44

14:00

Я ушел с маркетплейсов, закрыл производство, продаю на 25 млн в год, и живу в 6-местном хостеле. А как прошел ваш год? +38

08:16

Разбор одного вируса с ТГ канала peekbot +35

13:01

Спасите меня из ада данных +33

09:01

Второе пришествие мейнфреймов. Всё больше компаний хотят запускать ИИ у себя в офисе +30

12:32

WireGuard и QUIC +28

05:38

Центробанк решил быть няшным, а Google выпустил чатбот, который матерится на русском душевнее всех +27

10:40

От спецификации до производства: как устроена магистратура, где студенты разрабатывают чипы +21

05:30

Автоматизация мониторинга в НЛМК: от агрегации данных и ML до инцидент-менеджмента +20

05:30

Автоматизация мониторинга в НЛМК: от агрегации данных и ML до инцидент-менеджмента +20

10:43

Хуже потопа, страшнее пожара: как подготовить свои бэкапы к визиту вируса-шифровальщика +19

09:02

Один за всех: как мы упростили сдачу крови и придумали систему онлайн-дозаказа анализа +19

16:14

Пишем свой PyTorch на NumPy. Часть 1 +18

12:07

Процессоры, видеокарты, оперативка — топовое железо 2024 года +18

10:59

Разбор и стандартизация имен, адресов и других типов пользовательских данных в миллионных базах +17

09:00

Как и зачем мы замеряли знания культурного кода у YandexGPT +17

13:39

Не радуйтесь офферу из СБЕРа +255

08:32

Как мы раскрыли внутреннюю архитектуру Flutter и затащили его на собственную платформу +59

09:17

20-летие Linux для десктопных систем (Часть 1) +56

07:05

Ностальгические игры: Command & Conquer – Generals +37

13:26

AI, который всё за нас решит +34

08:03

Лучшие одноплатные компьютеры: топ-5 моделей для разработки и хобби +26

19:01

Парольная защита статичной HTML-страницы на JS +23

15:54

Кроме шуток — шмели тоже обучаются и не знают всё по «инстинктам» +23

09:01

Натрий-ионные батареи станут массовыми? Новости из Китая +20

13:37

34 клавиши — это много или мало? Мой опыт использования сплит клавиатуры +14

11:02

Lazarus IDE для аналитика. Приемы работы в современном Free Pascal — 2 +14

16:37

Skip List в Golang +10

09:02

Миф о RAM +10

10:10

Управление проектами: дайджест публикаций #23 +9

08:11

Как наладить работу в Scrum? +9

23:26

JavaScript: Удобство или Угроза? Размышления о Приватности и Вебе +8

14:19

Как нейросети, RL и байесовскую оптимизацию стали использовать на ускорителях заряженных частиц +7

13:42

Мэтчинг персонажей. Level Hard +7

08:43

Таинственные быстрые радиовсплески могут вызывать астероиды, врезающиеся в мёртвые звёзды +7

06:23

Как LLM меняют архитектуру систем: от простых дата-пайплайнов к интеллектуальным автономным агентам +5

СЕРВИСЫ
  • logo

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

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

  • Не радуйтесь офферу из СБЕРа +255

    • 502

    Натрий-ионные батареи станут массовыми? Новости из Китая +20

    • 79

    Центробанк решил быть няшным, а Google выпустил чатбот, который матерится на русском душевнее всех +27

    • 69

    AI, который всё за нас решит +34

    • 63

    Утренняя история: праздничный виммельбух для уставших, но не сдавшихся +24

    • 53

    Я ушел с маркетплейсов, закрыл производство, продаю на 25 млн в год, и живу в 6-местном хостеле. А как прошел ваш год? +38

    • 49

    Электроника в вопросах и ответах +53

    • 47

    34 клавиши — это много или мало? Мой опыт использования сплит клавиатуры +14

    • 47

    20-летие Linux для десктопных систем (Часть 1) +56

    • 32

    Этот год в open source +9

    • 29

    Кузов Атома готов к предсерийным испытаниям +6

    • 28

    Пионеры разработки: внедрение АСУ 38 лет назад +152

    • 28

    WireGuard и QUIC +28

    • 26

    JavaScript: Удобство или Угроза? Размышления о Приватности и Вебе +8

    • 26

    Зачем нужна диспетчеризация, или как «приготовить» SCADA на Linux -3

    • 23

Подписка


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