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

logo

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

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

COQ: верификация функций, содержащих fold_left +7

  • 20.07.2023 12:53
  • Natasha_Klaus
  • 7
  • Функциональное программирование
Страница 1 из 1
ЛУЧШЕЕ

  • Вчера
  • Позавчера
09:14

Старики будут править IT +74

12:00

Ретрокомпьютер моей мечты. Как я его собирал в 2025 году и что получилось в итоге +42

10:58

Маркировка DC/DC-преобразователей в корпусе SOT-23-5 и SOT-23-6 +41

07:00

Как перенести Linux Device Drivers на современные ядра +39

09:01

RustDesk: удалённый десктоп через свой сервер ретрансляции +32

14:18

Самый странный лексический синтаксис, который я обнаружила, исследовав 42 языка программирования +30

12:16

Почему игра «Сатурн» бесплатная, отчёты перед ИРИ и ждать ли мобильную версию. Интервью с пиар-директором игры +25

02:51

Вы не понимаете теорию калорийности +25

08:37

Как Kubernetes стал стандартом управления инфраструктурой +23

05:01

Istio для практиков: как упростить управление микросервисами +21

13:01

Станет ли ИИ катастрофой для сквозного шифрования? +20

10:20

Три паттерна в дизайне, которые ведут себя не так, как кажется +20

09:00

Японские суперкомпьютеры: 40 лет семейству NEC SX +18

13:46

«Не становитесь учеными!» — что с перепроизводством научных кадров спустя четверть века после публикации манифеста? +15

14:49

LangChain vs LlamaIndex: проектируем RAG и разбираемся, что выбрать для вашего проекта +14

13:50

Chaos Engineering и мониторинг: как готовиться к неожиданным сбоям +14

11:00

Понимание монолита: изделие и конструкция в программном обеспечении +14

10:21

Канареечные релизы на Camunda и Togglz +11

09:10

ИИ для веб-разработки +11

08:54

«Змеиная» дисциплина: как группировка DarkGaboon незаметно атаковала российские компании +11

07:00

Металлолом наносит ответный удар +173

09:36

Red Team против умного замка: взламываем биометрическую СКУД при помощи скрепки и магнита +84

16:02

Роберт, ты мне не дядюшка +71

13:01

Обзор BKHD N100 NAS — Лучшая материнская плата для домашнего NAS +54

09:01

Неизвестно полезный CSS. Часть 7 +41

09:18

Take control. Как мы забрали управление заводом у иностранцев +40

08:05

Аналого-цифровая автоматика и никаких микроконтроллеров на примере сушилки для рук +35

09:04

Насколько RTX 2080 Ti подходит для ML-задач? Изучаем бенчмарки +34

08:17

Самая трудная экспедиция XXI века: что не так с лунной программой США и почему Маск хочет ее переделать +30

05:15

3D-печатные подшипники — в массы +27

17:47

Рабочий компьютер «мини» из ТВ-приставки +22

13:41

Экология человеческих ресурсов против кадрового голода +22

08:00

Merger в YTsaurus: безболезненное укрупнение чанков в статических таблицах +22

11:47

Готовим слайсы в Go: подробно о динамических массивах, строчках и ускорении +21

10:55

Как купить или продать биткоин и заработать в 2025 году +20

10:35

Перенос Orca в расширение Postgres: цели и детали реализации +20

09:15

Мастер-класс по точечному переносу изменений между ветками в git +20

05:30

Простой и универсальный способ чтения логов в терминале +19

13:06

Умная лампа для улучшения качества сна своими руками +18

12:42

Большой гайд по Suno: делаем песню с нуля +17

СЕРВИСЫ
  • logo

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

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

  • Старики будут править IT +74

    • 143

    Металлолом наносит ответный удар +173

    • 85

    Обзор BKHD N100 NAS — Лучшая материнская плата для домашнего NAS +54

    • 67

    Роберт, ты мне не дядюшка +71

    • 66

    Red Team против умного замка: взламываем биометрическую СКУД при помощи скрепки и магнита +84

    • 64

    LightBurn всё. Купил? Хватай, а то убежит +8

    • 58

    Экология человеческих ресурсов против кадрового голода +22

    • 52

    Аналого-цифровая автоматика и никаких микроконтроллеров на примере сушилки для рук +35

    • 47

    Самая трудная экспедиция XXI века: что не так с лунной программой США и почему Маск хочет ее переделать +30

    • 39

    Вы не понимаете теорию калорийности +25

    • 35

    Рабочий компьютер «мини» из ТВ-приставки +22

    • 32

    Сделали свой обучающий курс для разработчиков. Выпускать или нет? +2

    • 24

    Для будущих программистов +10

    • 23

    Всех под одну гребенку: пошаговая инструкция отказа от демотивации сотрудников с помощью теста Герчикова -10

    • 23

    Пишем легаси с нуля на С++, не вызывая подозрение у санитаров. 03 — Начинаем разрабатывать фреймворк +14

    • 23

Подписка


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