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

logo

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

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

Категории типов. Часть 1. Hom-типы +11

  • 19.07.2025 10:04
  • Underskyer1
  • 9
  • Функциональное программирование
  • Scala
  • Программирование

От Аристотеля до Тьюринга: что такое функциональное программирование и как оно облегчает жизнь +29

  • 11.07.2025 14:17
  • the_homeless_god
  • 72
  • Блог компании AvitoTech
  • Функциональное программирование
  • Ненормальное программирование
  • TypeScript
  • Программирование

Функциональное программирование в Android. Теория категорий и DI +3

  • 07.07.2025 14:10
  • realist-pessimist
  • 0
  • Блог компании Dodo Engineering
  • Функциональное программирование
  • Разработка мобильных приложений
  • Android

Теория категорий для самых маленьких. Введение +11

  • 19.01.2025 12:57
  • toppal
  • 11
  • Математика
  • Mathematics

Обобщённые типы. Часть 3/3. Применение контейнерных типов

  • 13.04.2024 11:08
  • Underskyer1
  • 1
  • Программирование
  • Scala
  • Функциональное программирование

Теория категорий в API для консистентности Apache Cassandra +2

  • 08.01.2023 17:05
  • neshkeev
  • 0
  • JAVA
  • Анализ и проектирование систем
  • API

Коллективное распознавание смысла +2

  • 25.05.2022 22:44
  • SergeyBPshenichnikov
  • 8
  • Поисковые технологии
  • Семантика
  • Алгоритмы
  • Natural Language Processing

Алгебра текста без формул +1

  • 25.05.2022 10:16
  • SergeyBPshenichnikov
  • 5
  • Поисковые технологии
  • Семантика
  • Алгоритмы
  • Natural Language Processing

Конкордантность смысла +5

  • 29.11.2021 21:09
  • SergeyBPshenichnikov
  • 5
  • Поисковые технологии
  • Семантика
  • Алгоритмы
  • Natural Language Processing

Категория контекста +4

  • 23.04.2021 10:01
  • SergeyBPshenichnikov
  • 1
  • Поисковые технологии
  • Семантика
  • Алгоритмы
  • Natural Language Processing

Category theory: начало -3

  • 01.04.2021 22:18
  • WildZes
  • 11
  • Из песочницы
  • Математика

Теория категорий для программистов. На пальцах +17

  • 29.09.2020 07:24
  • ph_piter
  • 129
  • Блог компании Издательский дом «Питер»
  • Программирование
  • Проектирование и рефакторинг
  • Scala
  • Математика

Тайны сознания и математика +19

  • 13.02.2019 16:43
  • ia_androsov
  • 17
  • Математика

Краткий справочник информатики -3

  • 15.12.2017 16:12
  • deb
  • 12
  • Совершенный код
  • Проектирование и рефакторинг
  • Программирование
  • ООП
  • Haskell

Типизируя техническое интервью +13

  • 03.05.2017 14:29
  • Jedi_PHP
  • 7
  • Функциональное программирование
  • Алгоритмы
  • Haskell
  • «
  • 1
  • 2
  • »
Страница 1 из 2
ЛУЧШЕЕ

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

Тайна замочной скважины — зачем ПК запирали на ключ +53

09:15

Как я поймал сетевика на передаче пароля в SSH и чем это закончилось +36

07:01

Не лезьте туда: 47 лет не оцифровывали, и нормально же работало +34

07:00

YRGB 2025: открылось голосование за лучшую игру для ZX Spectrum +23

12:07

Пикопроектор для радиосвязи: как превратить стену в SDR-дисплей и не пожалеть +17

10:16

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

09:01

Слишком рано для Switch 2, слишком много проблемных игр — во что сыграть, пока доводят до ума консоли и игры? +15

04:25

Ценообразование совместных поездок: справедливость, капитализм и теорема Брауэра в промышленных исследованиях +14

07:01

Контроллер стал расходным материалом? Модернизация ИТП административного здания +13

13:36

Маленькое эссе о техдолге +12

13:05

На рынке только 10% реальных вайбкодеров. Почему разработчики в России не освоили ИИ: мнение CEO +12

09:27

Пентест на автопилоте: что доверить роботам, а что — нет? +12

04:39

Добродетели, которые раньше считались пороками +12

09:01

Ботнеты растут, стратегия DDoS — меняется? Аналитический отчет за первое полугодие 2025 +11

11:52

Расширение известного трюка с XOR на миллиарды строк: введение в обратимые фильтры Блума +10

12:08

PostgreSQL без боли и костылей: обзор ключевых расширений +9

07:01

Что важно знать B2B-продактам: 9 практических инсайтов из реального опыта +9

08:22

Книга: «Создаем игры и изучаем C++» +8

06:19

Как исполнить Си-код из RAM памяти на MK +8

11:12

Почему мы до сих пор не понимаем протон? Как постепенно меняется представление о частице +7

09:01

Тирания приложений. Без смартфонов невозможно жить +64

11:11

История одного бага +60

13:01

Мифы и легенды о производительности Python +40

08:00

Metal Gear Solid 2, Deus Ex, The Sims и другие старые игры, предсказавшие наше время +38

14:15

Топ-5 алгоритмов из курса матана, которые реально пригодятся в работе +32

13:59

Я купил железо, построил капсулы и заработал 20 млн за год +31

05:04

У GPT-5 пока не получилось захватить мир, а также волчьи разборки в российском айти +22

06:00

Современный ReAct-агент: подробное руководство по созданию с помощью LangGraph +21

05:35

Как научиться программированию разрабатывая игры +19

15:02

Заходят как-то кардиолог, воспитатель и тренер в IT. Как non-tech бэкграунд помогает спецам сегодня +18

09:28

Подножка в карьере СТО +18

07:09

Agile в эпоху удалёнки: что делать, если митинги больше не работают? +17

12:00

Истоки ИТ: как почти полвека назад TRS-80 положил начало эре домашних ПК +15

11:05

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

06:58

TY — не thank you, а быстрый type checker для Python +15

11:18

Экскурсия по дата-центру «Медведково-2» +13

10:17

Балансировка нагрузки для HTTP(S) в Angie +12

07:16

Спасение от техдолга: как мы мигрировали на Vue 3 +12

07:03

Наивное введение в CRDT-типы +12

16:26

Белый карлик слился со звездой, образовав высокомассивный белый карлик +11

12:29

P2P-мессенджеры нового поколения. Связь без интернета +73

09:01

Хотите эффективнее программировать? Учитесь строить в уме пошаговые доказательства +57

13:01

Экстремальное испытание кальциевых аккумуляторов, часть 4: 70 дней глубокого разряда +53

06:06

История разработки P0D-ботов для Counter Strike +42

12:00

Пять свежих одноплатников августа 2025 года: от IoT до RISC-V +36

08:00

Когда «премиум» ломается быстрее бюджетки: мой опыт ремонта Razer Type Z +35

08:00

Эзотерический язык Whitespace: что это, зачем создан и как работает +31

13:52

Отрицательная селекция в управлении +30

04:40

Впадаю в детство с ZX Spectrum +25

00:22

Lock-free код и шахматы: где LLM показывают свою несостоятельность +23

15:41

Как порядок свойств убивает JavaScript? +22

12:26

Особенности разработки высокотемпературного источника питания +21

09:00

Хочу отдать игру в open source +18

19:37

Сбор и масштабирование метрик в PHP Symfony highload: 200k RPM, 50+ серверов и zero overhead с Telegraf UDP +17

16:05

Поиграл в бета-версию Battlefield 6. Это уже круче, чем Call of Duty Black Ops 6 как минимум +17

15:16

Что лучше для обучения – текст или аудио? Нейронаука отвечает на этот вопрос +15

08:24

Визитка в 2025? Светодиоды, микроконтроллер и руки из плеч +15

13:32

Telegram Web App. Всё о Mini Apps +9

11:34

Duyler — Событийно-ориентированный, неблокирующий PHP-фреймворк +8

11:40

Астрономы обнаружили самую раннюю подтверждённую чёрную дыру +7

СЕРВИСЫ
  • logo

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

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

  • P2P-мессенджеры нового поколения. Связь без интернета +73

    • 138

    Тирания приложений. Без смартфонов невозможно жить +64

    • 133

    Свобода и Кто: вскрытие мёртвой вселенной европейской философии +1

    • 107

    Тайна замочной скважины — зачем ПК запирали на ключ +53

    • 76

    Многоработничество: как способ выжить в России и Канаде? +3

    • 62

    Lock-free код и шахматы: где LLM показывают свою несостоятельность +23

    • 50

    Я купил железо, построил капсулы и заработал 20 млн за год +31

    • 44

    Мифы и легенды о производительности Python +40

    • 37

    Экстремальное испытание кальциевых аккумуляторов, часть 4: 70 дней глубокого разряда +53

    • 37

    Хочу отдать игру в open source +18

    • 37

    Как я поймал сетевика на передаче пароля в SSH и чем это закончилось +36

    • 33

    Отрицательная селекция в управлении +30

    • 33

    Когда «премиум» ломается быстрее бюджетки: мой опыт ремонта Razer Type Z +35

    • 32

    Топ-5 алгоритмов из курса матана, которые реально пригодятся в работе +32

    • 29

    Можно ли с помощью ChatGPT-5 забыть о команде и сделать продукт самостоятельно? +1

    • 28

Подписка


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