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

logo

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

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

Когда всё решает «да» или «нет»: SAT-солверы и оптимизация в PySAT +2

  • 18.06.2026 07:06
  • Lozkins
  • 2
  • Математика
  • Алгоритмы
  • Python
  • Машинное обучение
Страница 1 из 1
ЛУЧШЕЕ

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

Я обнаружил крупномасштабное распространение вирусов в GitHub +42

10:25

Vibecode по дешевке — домашний сервер с Qwen Code за 25к, который не отключит Anthropic +36

08:00

Сказ о том, как нейросеть занялась reward hacking прямо у меня на кухне +32

13:40

Как я нашел новую панграмму (разнобуквицу) +28

09:01

Безымянный китайский телекастер +22

07:05

Позвонить бесплатно: история взлома аналоговой телефонии. Часть 1 +20

13:02

Про то, как из 0°C получить мороз в десятки градусов и не только +18

07:57

КД по ГОСТ за один клик +16

08:05

Как мы построили централизованную CMDB для управления Zabbix с RFC, аудитом и откатом изменений +15

10:50

Делаем науку на ровном месте +14

09:03

«РБПО для бедных»: собираем CI/CD-конвейер безопасной разработки +14

08:05

Transfer 2.0, или Как я перестал бояться и полюбил миграции облачных серверов +14

07:00

Когда нашим дорогим инженерам сильно надоело 5 раз проверять документацию за подрядчиками +14

12:45

SI/PI в разработке электронных устройств: анализ, который сэкономит вам время, деньги и нервы +13

07:46

Как я перешёл с React на Angular и не пожалел +13

11:14

Внешняя память для LLM: как RAG дает моделям доступ к новым знаниям +12

09:53

Заглядываем внутрь ESE: от B+ деревьев до артефактов Windows +12

15:13

ROP Level 1 в GD32F4: «А метлой дверь подпёр?» Или как нежно слить защищенную прошивку через программатор +11

07:01

Телеметрия для сети ресторанов: как в «Жар Пицце» контролируют холодильники и инженерные системы +11

12:59

Фреймворк для «красных» процессоров и модель «издатель — подписчик». Работаем с флотом ИИ-агентов на своей машине +10

11:00

Новые правила Хабра. Версия от 2026 +201

14:05

Почему мы до сих пор неправильно пишем физические движки и 3D-графику +78

07:01

Звуки музыки советских ПЭВМ +69

12:01

Интервью автора легендарной Elite Йена Белла (Эксклюзив для Хабра) +53

07:52

YaFF в опенсорсе: как и зачем мы сделали zero‑copy представление для Protobuf +52

13:01

Docker Fundamentals: теория и базовая эксплуатация +44

14:17

Как «Союз» считал орбиту шестерёнками: внутри навигационного компьютера «Глобус» +36

08:00

История виртуализации от chroot и jails до современных гипервизоров +36

07:12

Почему советы «как улучшить резюме» в IT в 2026 — это издевательство (и что делать вместо этого) +34

22:46

Адаптация в команде есть? А если найду? +28

14:38

Условная агрегация в SQL: ускоряем отчеты, избавляясь от лишних JOIN-ов и подзапросов +22

09:01

Как выбрать самый безопасный мессенджер +22

12:39

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

18:07

PaintCAD Mobile 3.0.24 — графический редактор для Android 2.3+ и J2ME +16

13:17

Как незаметная indirect-зависимость в Go дописала ручку в ваш HTTP-сервер +16

21:28

Clean Architecture и AI: как я перестроил проект на 200К строк, чтобы агенты не ломали код +15

12:37

Лонсдейлитовая кромка. Перспективы искусственного расширения шкалы Мооса. Guest Post +15

11:29

Серьёзная ретро-консоль за адекватные деньги: разбираем по винтикам DVTech And-001 +15

08:00

Код в эпоху AI: как перестать бороться за качество и начать контролировать деградацию +15

07:05

Zynq 7000. Переносим I²C Master Controller.  Linux + buildroot + kernel driver +15

13:01

Как я написал «Обратную змейку» на чистом Canvas +66

12:06

Реальные профессии будущего, а не «промпт-инженер» и про то, как мировой средний класс исчезает +59

07:50

Claude Code убрал из моей работы рутину и почему я этому не долго радовался +59

09:01

Вы не знаете HTML. Мои вопросы об HTML с ответами +57

07:00

Рояль на даче: использую ПЛК на Linux как real-time-синтезатор фортепиано +38

12:00

Железный дайджест за май: тесты B300, GPU от Alibaba и PCIe 8.0 +37

07:05

1 Вольт, как эталон: как, когда, каким образом +35

13:06

Как работает передача данных в радиоэфире: прогоняем картинки с котиками через ресурсную сетку +34

07:02

О конференции OpenTalks.AI 2026: мои впечатления и 5 полезных докладов +33

08:00

Как я пытался создать шедевр в Qwen, Luma и Pika, и что из этого вышло +30

07:01

MCP vs CLI + Skill: что выгоднее для ИИ‑агента при работе с внутренними API +29

15:53

ID, token, UUID и slug: в чём разница и почему их нельзя мешать +28

14:27

Banned Book Library +25

08:10

Время нанимать overqualified +24

12:51

OpenVEX в CI/CD: как перестать бороться с ложными CVE и научить Trivy понимать контекст +22

11:14

QA на уровне платформы: как мы строили систему качества +22

09:43

Человек, укравший бесконечность: подлинная история Георга Кантора +17

08:26

IP подов кончились, а обычные решения не подошли: как мы расширили сеть на проде, не пересоздавая кластер (кейс + гайд) +17

07:59

К1921ВГ015: Как инженеры компании “Чистое небо” реализуют авионику БПЛА на российских RISC-V микроконтроллерах +16

07:00

Как я проектировал космический ковчег, который не ломает физику +16

СЕРВИСЫ
  • logo

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

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

  • Новые правила Хабра. Версия от 2026 +201

    • 338

    Реальные профессии будущего, а не «промпт-инженер» и про то, как мировой средний класс исчезает +59

    • 222

    Цена одного канала видеонаблюдения на нейронных сетях +3

    • 86

    Claude Code убрал из моей работы рутину и почему я этому не долго радовался +59

    • 71

    Vibecode по дешевке — домашний сервер с Qwen Code за 25к, который не отключит Anthropic +36

    • 69

    Почему советы «как улучшить резюме» в IT в 2026 — это издевательство (и что делать вместо этого) +34

    • 68

    Generic Repository обещал три вещи — не сдержал ни одной и забрал доменную модель +5

    • 49

    Как я проектировал космический ковчег, который не ломает физику +16

    • 45

    Парадокс Open-Source: Единственный способ победить корпорации — раздать свой код бесплатно +9

    • 40

    OS Personium: инженерный подход к психологии +5

    • 39

    Звуки музыки советских ПЭВМ +69

    • 37

    ЦОДам в Москве отказывают в сети, они вынуждены строить электростанции +4

    • 33

    Я год не писал код руками. Но я не вайбкодер — и это две разные профессии +11

    • 31

    Время нанимать overqualified +24

    • 31

    Интервью автора легендарной Elite Йена Белла (Эксклюзив для Хабра) +53

    • 30

Подписка


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