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

logo

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

Публикации с тегом rule-based model checking

Спецификация IDS в BIM: сценарии, ограничения, перспективы развития +5

  • 10.05.2025 07:00
  • azemlyanskaya
  • 0
  • CAD/CAM
  • Софт
Страница 1 из 1
ЛУЧШЕЕ

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

«Кем Вы видите себя через 5 лет», или русско-HRский разговорник +94

09:01

Самодельная газоразрядная Хабралампа V 1.1 +40

08:00

Апрельские обновления в продуктах и услугах Selectel +30

08:05

Запускаем раритетные платы фискальной памяти +29

09:00

Личная эффективность СТО: как не сгореть, быть полезным и не терять фокус +25

08:28

Что же такое HDR? +23

07:13

Videoton TVC: непростой венгерский компьютер советской эпохи +22

08:54

Как работают антиботы +18

13:01

Не вместо облака, а вместе с ним: зачем компаниям Edge Computing +17

12:55

Что происходит с собеседованиями QA в 2025 году? Взгляд с обеих сторон баррикад +15

10:58

Siemens A52, Nokia Lumia 800 и другие телефоны, которые были у сотрудников Selectel в детстве +15

08:11

Программный генератор случайных числовых последовательностей на RISC-V с использованием PUF в DRAM +14

12:41

ТОП-5 нейросетей для транскрибации аудио в текст (часть 1) +13

12:26

Где бесплатно хостить пет-проект с собственным доменным именем +12

11:28

История о свершениях одного QA: о Quality Gates и оптимизации релизных процессов в ОК +12

10:20

Devboard для К1921ВГ015 +12

08:00

Распределённый инференс и шардирование LLM. Часть 3: настройка авторизации и интеграция с Open WebUI +12

07:26

ACHI IR6500: как поменять чипы на плате ноутбука Sony SVE15 +11

06:45

Как использовать WebUI для Nginx +11

14:05

Галлюцинации моделей текстовых ИИ, и как с ними бороться +10

09:01

От инженеров до барыг, или откуда растут переработки и прочая корпоративная шиза. Часть 2 +91

10:27

Скам на $700,000 в Solana: как токен с ростом в 4 млрд% обнуляется за секунды +78

10:11

Как найти и потерять бэкдор в ESP32 +55

05:29

Откуда у Xiaomi так много разных устройств? +55

12:11

Есть ли у AMD перспективы в AI/ML/DL. Часть 1 +48

09:01

Всё про Generic Math в C# +48

06:37

Курсы по тестированию — развод, маркетинг и пустышки +46

09:05

Проект «Мультиключ». Эмулятор ключей от домофона на ESP8266 +44

01:28

Самоорганизация неприятностей +43

13:39

Процессор на коленке ч.1 +40

13:01

Электроэнергия из подошв ботинок? Решение: микроканальный генератор +40

09:20

Как использовать японские подходы в IT. Часть 5: в плену процесса +37

09:01

Оптимизация Spark-приложений: шаг за шагом от базовых техник до продвинутых приёмов +32

09:01

Оптимизация Spark-приложений: шаг за шагом от базовых техник до продвинутых приёмов +32

13:46

Radio Data System, SI4735 и Flipper Zero +24

09:52

Как мы в Точке сделали свой дизайн-линтер +23

16:12

Linux для начинающих: WSL — это читерство. Как Microsoft дал нам Linux без головной боли +22

10:18

Do as I do: алгоритм размещения сервисов внешних поставщиков в Маркетплейсе VK Cloud +22

10:18

Do as I do: алгоритм размещения сервисов внешних поставщиков в Маркетплейсе VK Cloud +22

04:41

Генератор синусоиды из LC-контура и отрицательного сопротивления +22

21:18

Любителям x86-64 assembler посвящается: DIY волокна в C++ +127

13:00

Как мы под Новый Год загрузили в PostgreSQL петабайт данных и что из этого вышло +100

10:51

За полчаса установил DeepSeek 1.5B, пока вы искали GPT подешевле +69

13:01

Веб-разработка на ванильном HTML, CSS и JavaScript +68

15:01

Как отстроить гитару — акустическую или электро +59

13:31

Add-on pack из 90-х: Microsoft 95 Plus! для Windows +48

08:23

MLечный путь 2025 — знания, опыт, коммьюнити. Как это было? +40

06:00

Альтернативы свинцовому аккумулятору ИБП +35

09:01

Jellyfin Web на своём сервере. Фронтенд для медиастриминга +33

06:00

Сделали copilot-сервис для техподдержки и делимся секретами RAG c глубоким пониманием контекста +32

13:16

Как декомпозиция повышает точность распознавания текста: опыт с фотографиями СТС +31

07:18

Этот крошечный винт отвечает за будущее гуманоидных роботов +29

07:00

Как быстро проверить скилы Go-разработчика: пул задач для собеседований и одна фаворитка +28

13:36

Разбираем древо ArangoDB «по веточкам». Подробный гайд по графовой БД +23

07:00

Автоматизация трехуровневой квартиры: хочу лучше, чем в Дубае +23

09:33

GPT-4.1: Новый уровень промптинга. Гайд от OpenAI для максимальной отдачи +22

08:07

IQ — во многом псевдонаучный обман +22

10:46

Ортодоксальный косплеер решает задачу Перельмана про демографию, проезжая мимо Вудстока +21

08:05

Объяснение графических процессоров для тех, кто привык работать с ЦП +21

08:00

Распределённый инференс и шардирование LLM. Часть 2: скрипт vLLM, Ray Serve для вывода API и настройка KubeRay Cluster +21

СЕРВИСЫ
  • logo

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

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

  • Почему найм в ИТ теперь выглядит именно так +9

    • 228

    HEX раздражает женщин +15

    • 183

    Linux для начинающих: WSL — это читерство. Как Microsoft дал нам Linux без головной боли +22

    • 159

    За полчаса установил DeepSeek 1.5B, пока вы искали GPT подешевле +69

    • 124

    ООП или не ООП — вот в чём ревью +4

    • 121

    Альтернативы свинцовому аккумулятору ИБП +35

    • 94

    От инженеров до барыг, или откуда растут переработки и прочая корпоративная шиза. Часть 2 +91

    • 85

    Windows против Linux: кто кого, или почему пингвин не боится окна -10

    • 68

    Этот крошечный винт отвечает за будущее гуманоидных роботов +29

    • 65

    Электроэнергия из подошв ботинок? Решение: микроканальный генератор +40

    • 63

    Как упростить себе освоение Rust +20

    • 62

    IQ — во многом псевдонаучный обман +22

    • 48

    Как отстроить гитару — акустическую или электро +59

    • 46

    Скам на $700,000 в Solana: как токен с ростом в 4 млрд% обнуляется за секунды +78

    • 42

    Откуда у Xiaomi так много разных устройств? +55

    • 39

Подписка


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