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

logo

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

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

Ход в игре «крестики-нолики» с помощью SAT-солвера +6

  • 10.11.2024 04:56
  • lapkin25
  • 1
  • Математика

Хаос внутри судоку +56

  • 08.01.2017 17:13
  • ibessonov
  • 26
  • Алгоритмы
  • Математика

Заметки о SQL и реляционной алгебре +32

  • 18.01.2016 09:32
  • varagian
  • 8
  • Математика
  • Алгоритмы
  • SQL

Открытая лекция: задача выполнимости булевых формул +7

  • 19.12.2015 07:11
  • alexanderskulikov
  • 3
  • Математика
  • Занимательные задачки
  • Алгоритмы
  • Блог компании СПБАУ
Страница 1 из 1
ЛУЧШЕЕ

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

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

13:01

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

13:00

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

06:00

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

06:00

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

13:36

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

09:01

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

07:00

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

10:51

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

07:18

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

08:00

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

09:00

Terraform уже не тот? Как Pulumi меняет правила игры в Infrastructure as Code +17

09:00

Terraform уже не тот? Как Pulumi меняет правила игры в Infrastructure as Code +17

15:01

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

08:07

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

13:16

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

08:05

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

07:03

Как мы внедряем ALD Pro: подробный обзор решения, кейсы и лайфхаки для крупных ИТ-инфраструктур +14

12:57

Хакатон SoC Design Challenge 2025: три дня «железа» и 245 студентов в Зеленограде +13

10:46

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

05:26

One-shot промптинг. Как я начал вайбкодить в 10? раз быстрее +91

08:05

Самодельная паяльная станция с цифровой индикацией температуры на жесткой логике +65

13:00

Массовые увольнения в российском IT: что на самом деле происходит в компаниях — взгляд CEO +50

08:34

Лабиринты текста как игровая механика, или как неэкранизируемая литература становится источником геймдизайна +46

08:00

Всё везде и сразу +46

13:01

Введение в RawTherapee +38

06:54

Picodata: вторая жизнь in-memory баз данных +34

05:15

Как я разработал расширение для браузера за 3 дня — и получил первого платного пользователя уже на следующий день +31

09:34

Криптография эпохи Ренессанса: классика не стареет +28

07:58

Я нашёл огромную дыру в дейтинг-приложении, а разработчики попытались её скрыть +28

14:45

Переходим от legacy к построению Feature Store +27

09:01

ЦОД 2050: три реалистичные концепции развития дата-центров +26

14:12

Как я сменил лопату на клавиатуру: мой путь в IT после 30 +22

10:57

Вселенная дистрибутивов Linux: От Ubuntu до Arch, от Mint до Fedora – подробный гид по выбору +20

09:18

Распродажа в издательстве «Питер» +20

07:01

Финансовый учет: всё и немного больше про проводки +19

07:00

LLM as a Judge: опыт оптимизации генератора описаний Pull Request +18

06:09

Left Shift Testing: как выстроить процесс, чтобы тесты реально помогали +18

11:41

Зрение и его коррекция — не то, чем кажется +16

14:40

Новая генеративная модель Kandinsky 3D для создания 3D-объектов. Как она работает и кому будет полезна +15

14:22

Ещё 10 ошибок авторов Хабра +147

14:15

Мое производство электрощитов приносит 40 млн в год. Спасибо нейросетям и СССР за конструкторскую школу +82

07:43

Больше нет входа в IT. Только выход +76

08:35

Распределённый инференс и шардирование LLM. Часть 1: настройка GPU, проброс в Proxmox и настройка Kubernetes +50

05:16

Дело о Транзитроне — или Ламповый тьюториал для любопытных +50

08:01

Трамплин в интернет: как мы ускорили запуск Яндекс Браузера +44

13:06

Введение в Angie: краткая история и отличия от Nginx +43

03:22

Как за один вечер создать репутацию вашего стартапа в поисковой выдаче: 20 бесплатных площадок для быстрого буста +40

07:00

DevOps без боли: 8 инструментов для мониторинга, автоматизации и стабильной работы команд +36

10:09

Как настраивать сети: готовые решения Selectel для максимальной отказоустойчивости +35

16:15

Как я написал эмулятор Nintendo Gameboy на C++ за две недели +34

06:53

Важное обновление BatteryTest 2 +34

13:01

Как создавались вокальные эффекты Daft Punk +33

12:00

Story Points не работают? И другие мифы про оценку задач, в которые мы почему-то верим +33

09:01

Почему из технологий делают культы +29

04:53

Баффет наконец накопил достаточно для выхода на пенсию, а в OpenAI выкатили новый хитрый план +28

10:26

От релиз-менеджера до разработчика: почему я ушел из QA и не жалею +26

15:16

Бирюзовые компании в РФ: как не посинеть в найме +25

12:08

Эффект душа: почему отдых и переключение на хобби помогают принимать крутые решения +24

08:57

Разбор полётов: что умеет отечественная СХД Аэродиск AQ440 +24

СЕРВИСЫ
  • logo

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

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

  • Больше нет входа в IT. Только выход +76

    • 587

    Массовые увольнения в российском IT: что на самом деле происходит в компаниях — взгляд CEO +50

    • 415

    Мое производство электрощитов приносит 40 млн в год. Спасибо нейросетям и СССР за конструкторскую школу +82

    • 216

    Ещё 10 ошибок авторов Хабра +147

    • 137

    Личный VPN: юзер ликует, VLESS смеётся, а РКН плачет -11

    • 108

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

    • 73

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

    • 73

    Самодельная паяльная станция с цифровой индикацией температуры на жесткой логике +65

    • 63

    Дело о Транзитроне — или Ламповый тьюториал для любопытных +50

    • 63

    Интервью про ИИ, которое меня выбесило +14

    • 61

    One-shot промптинг. Как я начал вайбкодить в 10? раз быстрее +91

    • 61

    Шесть лет на диване: мои выводы об удалённой работе +1

    • 55

    Бирюзовые компании в РФ: как не посинеть в найме +25

    • 50

    Трамплин в интернет: как мы ускорили запуск Яндекс Браузера +44

    • 48

    Быстрый алгоритм fulltext-поиска без токенизации +15

    • 42

Подписка


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