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

logo

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

Публикации с тегом proof-checker

identity functions являются описаниями типов

  • 08.08.2024 11:02
  • gonzazoid
  • 4
  • Ненормальное программирование
Страница 1 из 1
ЛУЧШЕЕ

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

Зачем Яндекс.Браузеру эти данные? +49

08:09

Liberux NEXX: Linux-смартфон с 32 ГБ ОЗУ и аппаратными переключателями +21

07:04

Оптимизация 3D-текстурирования для мобильных игр при помощи градиентов +17

08:12

Самая важная компания китайского автопрома (и это не BYD) +16

08:06

Осторожно, подделка: чудесное превращение iPhone 11 в «iPhone 14 Pro» +12

08:05

Полезные паровозики часть 1: введение в железнодорожный моделизм +12

08:11

Жизнь за столом +11

06:15

Касса для хранения мелких деталей на основе стойки для оптических дисков +9

11:34

Персоналки от Epson — удивительные компьютеры из прошлого +8

06:30

SQL HowTo: находим «елочку» с помощью центра масс (Advent of Code 2024, Day 14: Restroom Redoubt) +8

07:10

Несколько историй про компьютерную музыку: от первого «пения» до партитуры мультика «Король лев» +6

07:03

Продуктовый дизайн во власти карго-культа: как перестать бесконечно исследовать и начать делать +5

07:00

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

06:57

Что такое DeepSeek и на что способна китайская нейросеть, из-за которой OpenAI снизил цену на ChatGPT +5

08:09

Особенности написания эксплоитов под х64 +4

05:35

Сальваторе Санфилиппо возвращается в Redis +3

08:28

Считаем по головам: как проверить пассажиропотоки с помощью искусственного интеллекта +2

08:00

12 + 8 шагов к мониторингу аномальной активности в ОС Нейтрино +2

07:18

Как идёт строительство дата-центра Cloud4Y +2

07:02

Как работает HTTP/2 и как использовать его в Go +2

07:04

Болезнь «ООП головного мозга» +216

08:00

Perforator: новая система непрерывного профилирования теперь в опенсорсе +107

10:16

Миссия невыполнима: как «похитить» радиатор ДГУ +62

09:01

Простые способы изготовить микроскоп и изучать простейших, читать маркировку деталей и не только +58

13:01

IBM PalmTop PC 110: легендарный карманный ноутбук, опередивший время +50

22:47

Слишком уж «Быстрый вход» в приложение Т-Банк на Android +48

07:10

Такие разные паяльники: что и для чего я использую в своей работе +32

08:00

Как настраивать сети: облачные роутеры и публичные IP +28

17:46

Game++. Dancing with allocators +27

13:38

Q&A с врачами: что следует знать о простатите и аденоме простаты +25

13:37

Как «обмануть» драйвер Linux в QEMU: создаем виртуального двойника Intel NTB Gen3 +22

05:00

Неиспользуемые остатки образов в Docker: как удалить зомби-слои и защитить секреты +22

16:01

Маленький bool Дума +21

10:58

Менеджер данных: как новая роль изменила подход к работе с ML +20

07:03

Разработка интеграции для Home Assistan на примере управления кондиционером +18

21:38

Стандартная библиотека С не потокобезопасна: проблему не решает даже Rust +15

12:45

«База» по метрикам в Prometheus +15

05:54

День 4-й проекта объёмом «закончу до обеда» +14

16:02

Сравнение кода от DeepSeek и ChatGPT +13

11:59

Подарок на новый год: как я отражал атаку 1 января 2025 года +13

09:12

Как мошенники разводят подписчиков Телеграм-каналов на деньги, и что с этим можно сделать +85

09:01

DIY герконовый поворотный переключатель +79

11:14

Интервью с DeepSeek: в чем смысл жизни и свиных крылышек +47

08:05

Cтажировки в IT за процент от будущей зарплаты стоимостью более миллиона рублей +47

13:01

Компилятор WebAssembly, который помещается в один твит +37

11:17

Что может описывать модель песчаной кучи +31

21:40

Deepseek v3: Как скачать китайскую нейросеть Дипсик AI, все способы +29

10:59

Ошибки и подозрительные места в исходниках .NET 9 +24

09:08

О механизмах безопасности OpenSSH: разбираем уязвимости 2024 года +23

07:39

Как составить тест-кейсы на собеседовании? Разбираем задачу с техсобеса для начинающих QA +23

10:31

Сутки, пара моторов и немножко отчаяния: зачем инженерам хакатоны +21

08:20

Радиоуправление игрушками в диапазоне 27 МГц: двухкомандные системы +21

08:18

Серия «Под капотом»: LVM +20

06:15

Победить прокрастинацию на самом деле просто +20

17:28

Про «лайфхаки» в изучении языков +18

11:25

Звон в голове: размышления об отношениях сотрудника и компании +17

11:39

Как мы адаптируем Agile в Ozon? +15

11:00

Что нового в Postgres Pro Enterprise 17: от Proxima до интеллектуального управления данными +15

14:35

Настройка ToolChain-нa для Разработки на Микроконтроллерах YTM32x +14

07:00

Введение в фикстуры Playwright +14

СЕРВИСЫ
  • logo

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

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

  • Болезнь «ООП головного мозга» +216

    • 203

    Как мошенники разводят подписчиков Телеграм-каналов на деньги, и что с этим можно сделать +85

    • 137

    Массовые увольнения в IT — конец золотой эпохи? -8

    • 118

    Русский космос, как дела? -8

    • 112

    Как я вкатился в айти с зп 150к, когда это уже не мейнстрим и джуны не нужны -21

    • 83

    Cтажировки в IT за процент от будущей зарплаты стоимостью более миллиона рублей +47

    • 83

    DIY герконовый поворотный переключатель +79

    • 74

    Про «лайфхаки» в изучении языков +18

    • 71

    Слишком уж «Быстрый вход» в приложение Т-Банк на Android +48

    • 66

    Хакеры собеседований: как взламывают систему найма в IT и что с этим делать? +10

    • 61

    Deepseek v3: Как скачать китайскую нейросеть Дипсик AI, все способы +29

    • 54

    Современные языки программирования: как мода убила гениальность -8

    • 53

    Мануал по запуску полной модели DeepSeek-R1 локально (бюджет ~6k$) +7

    • 52

    Такие разные паяльники: что и для чего я использую в своей работе +32

    • 49

    Победить прокрастинацию на самом деле просто +20

    • 40

Подписка


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