• Главная
  • Контакты
Подписаться:
  • 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
ЛУЧШЕЕ

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

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

04:40

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

06:06

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

09:01

Удобный софт для работы с файлами SQLite +26

13:01

От паровых шестерёнок к суперчипам: как машина Бэббиджа превратилась в FPGA +24

14:05

Гиковские «часики»: уникальный гаджет с MIPS-процессором и Android на борту +22

08:00

Конец эпохи DDR4: как уход стандарта меняет рынок оперативной памяти +21

08:48

Happy Mac и бомбочка: дизайнер Сьюзен Кэр и ее работы +19

13:08

Вышел заключительный отчёт об имплозии подводного аппарата «Титан» с критикой CEO компании OceanGate +17

11:15

Почтовиков «на мыло»: переходим на личный почтовый сервер +17

09:15

simstr — ещё одна строковая библиотека +17

10:42

Под капотом у ИИ +15

07:47

Stealth Mode: 10 Bash-трюков для скрытого хакинга +14

20:44

Протокол HTTP совсем не прост +11

17:48

Опыт пользования отечественным магазином приложений Рустор, существующим при поддержке Минцифры +11

12:27

GPT 5 сделал мне 100 игр, 13 даже не запустились +10

08:18

Невозможные проблемы, скрытые в простой игре «Тетрис» +8

02:39

Rust 1.89.0: явный вывод аргументов для константных обобщений, проверка синтаксиса времён жизни, i128 и u128 в extern C +8

07:32

Думай как компилятор: позиции и значения в Rust +7

04:08

Дизайн на салфетке · Логотомия «Пчелошеринга» — пошаговое руководство с картинками №1 +7

06:20

Отгадай слово дня: от ручного поиска к автоматизации +6

08:00

Вода, энергия, базы: зачем NASA делает ставку на Южный полюс Луны +5

08:05

Изучаем Go: руководство для JavaScript-разработчиков. Часть 2 +4

17:17

Уничтожение Америки отменяется +80

09:01

Самодельные французские радиолампы 1920-х годов. Часть 4. Вакуумный триод +57

15:36

Парадоксальные навыки в езде на велосипеде и  в пешей ходьбе +56

22:36

Хватит страдать: Выбросьте ООП и ECS. Есть путь проще +44

08:55

Новый приказ ФСТЭК: что нужно знать разработчикам Ai-сервисов для госсектора +34

14:29

Как выйти из IT?.. и пойти слесарем на завод. Моя попыточка дауншифтинга [5\5] +32

13:01

Сам себе нефтяная скважина: как добывать топливо из воздуха? +29

13:57

Мы научились переносить базу данных с Oracle на Postgres Pro со скоростью 41 ТБ/сутки +21

11:07

Искусство убивать процессы: как я сократил 17 ритуалов и вернул командам 900 ч/год +18

15:05

Как мы обучали модели для кода GigaCode +15

11:14

Portal: шедевр, который невозможно забыть +15

08:51

Процессоры с самой мощной встроенной графикой в 2025 году +15

09:57

Как гуманитарий создал сайт с нуля при помощи DeepSeek. Примеры рабочих промптов +14

08:11

APL: математика на стероидах, о которой никто не говорит +13

20:19

Создаем свой пакет на PHP +12

08:05

Выбираем лучший ультраширокий монитор летом 2025: история о том, как я заставил ИИ спорить с самим собой +12

15:05

Самый стильный фильм про виртуальную реальность: TRON +11

15:04

«Уэбб», возможно, обнаружил первую чёрную дыру, образовавшуюся в результате прямого коллапса +11

03:24

Цифровая картотека людей в Obsidian +11

12:58

ChatGPT 5 вышел! Что нового, бенчмарки и как получить доступ из России +10

СЕРВИСЫ
  • logo

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

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

  • Уничтожение Америки отменяется +80

    • 235

    Парадоксальные навыки в езде на велосипеде и  в пешей ходьбе +56

    • 198

    Хватит страдать: Выбросьте ООП и ECS. Есть путь проще +44

    • 71

    Сам себе нефтяная скважина: как добывать топливо из воздуха? +29

    • 64

    Как гуманитарий создал сайт с нуля при помощи DeepSeek. Примеры рабочих промптов +14

    • 60

    Поймай меня, если сможешь: как вычислить ИТ-волка, пока он не развалил вам прод +4

    • 56

    Java vs Kotlin: у кого больше преимуществ в 2025 году +9

    • 48

    GPT 5 сделал мне 100 игр, 13 даже не запустились +10

    • 46

    Почтовиков «на мыло»: переходим на личный почтовый сервер +17

    • 37

    Как выйти из IT?.. и пойти слесарем на завод. Моя попыточка дауншифтинга [5\5] +32

    • 32

    По следам GPT-5: как LLM все сильнее превращается в айфон +5

    • 31

    Вышел заключительный отчёт об имплозии подводного аппарата «Титан» с критикой CEO компании OceanGate +17

    • 30

    Самодельные французские радиолампы 1920-х годов. Часть 4. Вакуумный триод +57

    • 29

    Как я начал создавать медицинские изделия, ч.1 +9

    • 21

    Выбираем лучший ультраширокий монитор летом 2025: история о том, как я заставил ИИ спорить с самим собой +12

    • 21

Подписка


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