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

logo

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

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

Темное искусство функциональной верификации цифровых микросхем +11

  • 26.02.2022 11:26
  • YuriPanchul
  • 7
  • Алгоритмы
  • Анализ и проектирование систем
  • Математика
  • FPGA
  • Производство и разработка электроники
Страница 1 из 1
ЛУЧШЕЕ

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

Долой оверхед: как мы избавились от зависимостей в интеграционном тестировании микросервисов +28

06:16

Долой оверхед: как мы избавились от зависимостей в интеграционном тестировании микросервисов +28

08:35

Зачем запускать облачную СУБД на выделенном сервере +25

05:00

Как мы устанавливали community-чарт Sentry в Kubernetes +16

08:31

Мини-ПК Intel W5 Pro: разборка и попытка ремонта +14

09:01

Меня собирались уволить, но я их переиграл. Как я победил дедлайны, переработки и хаос с помощью этих 6 правил +13

09:01

Сборка проектов Си и Си++: от простого к сложному. Часть II. Сборщики +11

08:26

Сам себе «ИБшник»: как понять информационную безопасность с помощью Threagile +11

07:51

Программирование SDF-анимаций Рика и Морти +11

08:05

Оживляем раритетное этажное табло от лифта +10

09:00

Забытая история о том, как IBM изобрела автоматизированное производство микросхем +7

08:25

Закат VMware: как технологический гигант утратил лидерство +6

07:59

История Хендрика Шёна, чьи открытия были революцией в физике полупроводников (но все оказались фальшивками) +6

05:45

Ещё одна статья про собеседования +6

08:30

Как уронить Minecraft своим модом +5

09:12

Современные подходы к управлению UI: low-сode & Backend-Driven UI +4

08:15

Запускаем DeepSeek-R1 на обычном сервере с 768Гб ОЗУ в LM-Studio +4

07:16

Построение инфраструктуры для работы с языковыми моделями: опыт X5 Tech +4

08:39

FissionGo: как запускать Go-функции в Kubernetes +3

08:30

Почему IT-аудит полезен разработчику, а не только бизнесу +3

14:19

Отчёт о запуске DeepSeek-R1 на Xeon 6132 c 768 ГБ памяти +153

13:05

UX-ошибка стоимостью 900 миллионов: как сгорел Собор Парижской Богоматери +55

13:11

Проводим идеальное собеседование разработчика. Советы от практика с тысячей собеседований за спиной +51

19:20

Создание светящегося чокера +38

13:01

Как амбиции и маркетинг Nokia уничтожили N-Gage +33

14:21

Дайджест космических новостей за прошедшую неделю +14

17:15

Переход на Symfony в заскорузлом Yii2 монолите: подробный разбор +13

16:59

Маленькая страна и большие проблемы: как нам в последний момент не удалось разместить серверы в Андорре +11

14:05

Как создавалась 3D-панорама Обороны Тулы (1941 г.): от архивов до immersive-шоу +9

14:01

Performance matter +9

13:43

OAM и основы сетевой телеметрии +9

19:59

Памятка для дизайнера или 12 пунктов о том, как спроектировать ужасно красивую переговорную комнату для ВКС +7

12:45

o3-mini — лучшая модель для программирования на данный момент (лучше, чем DeepSeek R1) +7

12:41

ИИ без хайпа: что реально работает уже сегодня, а что пока просто красиво звучит? (февраль 2025) +7

15:43

Сравнение визуала графических нейросетей +5

15:23

LLM в науке, тюнинг и регулирование систем ИИ +5

14:02

Игровые премьеры начала года: на что стоит обратить внимание +5

12:20

Self service в действии: как Luxms BI помогает ускорить аналитику +5

17:11

Let the Skyforge, let the sky fall +4

16:16

Когда обучение становится ловушкой: почему некоторые так и не начинают действовать +4

13:01

Все знают, где ты находишься +147

10:52

Как Генри Форд каучук выращивал +77

11:40

Почему Nix и NixOS становятся популярнее? Золото в мире конфигурационного менеджмента +49

09:01

Как изменилось качество аккумуляторов АКОМ Reactor за три с половиной года +41

07:00

Ускорение LLM: универсальные методы для популярных архитектур +40

09:38

Клон ChatGPT в 3000 байтах на C, основанный на GPT-2 +39

08:05

Сложно о простом. Как работает интернет. Часть 2. Что такое сеть, маска подсети, сегментация сети с помощью VLAN и маски +38

14:45

Конструктор «Улёт» +29

10:27

Как отслеживать состояние сетевых интерфейсов на Linux +27

12:00

Как я выучила хинди без репетитора и курсов и зачем мне это понадобилось +25

13:17

Spring Security: разберём по полочкам токены, фильтры и авторизацию (с диаграммами!) +23

08:30

«Перебросить код через стену из юристов — еще не значит сделать его открытым», — Константин Осипов, основатель Picodata +23

07:02

Обработка ошибок REST API: лучшие практики +20

17:56

Range-v3 в C++ +19

09:00

Общение с умными устройствами силами PHP +19

14:22

От комиксов до нейросетей: 5 книг, которые помогут начинающему Data Scientist'у +18

09:07

DeepSeek штурмует рейтинги, OpenAI запускает первого автономного агента: главные события января в сфере ИИ +18

16:17

Умер Стефан Пикк, композитор, музыкант и программист, создатель саундтреков ко многим видеоиграм +15

16:19

Как с помощью ML-модели мы помогли исполнителям получать больше заказов на Авито +14

12:26

Python как дзен: Пелевин и разработка +12

СЕРВИСЫ
  • logo

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

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

  • Программист за $4000 против ChatGPT за $20: кто победит в 2025? -21

    • 145

    Проводим идеальное собеседование разработчика. Советы от практика с тысячей собеседований за спиной +51

    • 106

    Все знают, где ты находишься +147

    • 96

    Отчёт о запуске DeepSeek-R1 на Xeon 6132 c 768 ГБ памяти +153

    • 78

    Создание светящегося чокера +38

    • 50

    Мысли вслух. Сколько потребляет памяти один запрос PostgreSQL? +4

    • 49

    Сложно о простом. Как работает интернет. Часть 2. Что такое сеть, маска подсети, сегментация сети с помощью VLAN и маски +38

    • 46

    Два 2-минутных правила, чтобы победить прокрастинацию -19

    • 36

    UX-ошибка стоимостью 900 миллионов: как сгорел Собор Парижской Богоматери +55

    • 35

    Обзор конструкции конденсатора К15-5 -20

    • 33

    Почему Nix и NixOS становятся популярнее? Золото в мире конфигурационного менеджмента +49

    • 30

    Конструктор «Улёт» +29

    • 27

    Тест 12 HDD 15k SAS в RAID0 и актуальность использования +9

    • 27

    Windsurf vs Cursor IDE: кто лучший AI-редактор кода? +7

    • 24

    o3-mini — лучшая модель для программирования на данный момент (лучше, чем DeepSeek R1) +7

    • 22

Подписка


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