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

logo

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

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

Категории типов. Часть 2. Функторы +5

  • 17.08.2025 12:06
  • Underskyer1
  • 4
  • Функциональное программирование
  • Программирование
  • Scala

Категории типов. Часть 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
  • «
  • 1
  • 2
  • »
Страница 1 из 2
ЛУЧШЕЕ

  • Вчера
  • Позавчера
08:19

Как победить CMake: отладка CMake-скриптов +38

07:00

Быстрый старт в CI на примере Flutter (под банальный Android и интересную «Аврору») +36

09:01

Кустарные вакуумные триоды Клода Пайяра. Часть 1. Знакомство, общие положения +30

11:05

Почему Фараон остается лучшей игрой в серии +28

14:23

Как часто вы думаете о Римской империи… (cтатическом анализе кода) +27

07:05

Бобина, VHS и стример. История одной из опорных технологий XX века. Часть 3 +26

11:22

Чистовики патриарха. О трёх последних книгах Олега Цилюрика +24

11:00

Краткая история комплексных чисел +23

08:05

Северный «Визит». Самый красивый домофон советской эпохи +21

13:01

Используйте простейшие рабочие решения +18

04:12

Как убрать жёлтый оттенок у картинок, сгенерированных в ChatGPT +17

13:00

React предпочитают по умолчанию — и это убивает инновации во фронтенде +16

14:46

Как мы собрали ML-платформу в Купере +15

04:14

NGC 6503 — Межгалактический страж Млечного пути +14

16:58

Собственный RISC-V процессор: от RTL до симуляции и синтеза под FPGA +13

15:41

CloudBear BI-672 – самое производительное процессорное ядро, разработанное в России +12

09:42

Ювелирная работа, или Как мы разрабатывали Умное кольцо Sber (часть 2) +12

09:16

Как насчет улучшить хранение резервных копий, BRO? +12

15:54

SMB over QUIC на всех платформах: «VPN-less» файловые шары в 2025 (Windows Server 2025 + Samba 4.23) +11

07:29

T-ECD — синтетический кросс-доменный датасет для исследований в области рекомендательных систем +11

19:42

Вспышка Новой Звезды в созвездии Центавра. 22 сентября 2025 +59

07:05

Древние способы охлаждения +57

07:01

235 м² DIY-умного дома: автополив, климат, котельная и соседи в шоке +57

09:01

Собственные бренды торговых сетей — зло +54

15:01

Откуда всё взялось и чем всё закончится? +49

07:00

Вложили 700 млн. Работали сутками, нас сдувал ураган, материалы носили на плечах. А люди топчут нашу работу +45

06:21

Транзакционная работа с топиками: архитектура и сравнение решений в Apache Kafka и YDB Topics +42

06:21

Транзакционная работа с топиками: архитектура и сравнение решений в Apache Kafka и YDB Topics +42

13:01

Прорывная идея для существенного улучшения жизни незрячих: предложение запустить в массы новый интерфейс +40

15:15

Ювелирная работа, или Как мы разрабатывали Умное кольцо Sber (часть 1) +39

11:00

Ценообразование как инструмент продакт-менеджера на примере облачных продуктов +37

05:06

[Личный опыт] Поиск работы в Германии в середине 2025 +37

07:01

Игры, которые заставят вас полюбить метроидванию. И это не Silksong +33

17:33

DIY Open Source принтер. Часть 1. Покоряем USB Printer Class и имитируем печать текста +22

12:47

Ускорение инференса ML-моделей без лишних трат +22

09:14

Вы встретили разработчика. Ваши действия? +22

14:04

Победители конкурса «Астрономический фотограф года 2025» от ZWO +21

08:05

Нейро-дайджест: ключевые события мира AI за 4-ю неделю сентября 2025 +20

13:42

Баланс технологий и эстетики: как разрабатывался дизайн автономного тягача L5 от Navio +19

13:25

Большая труба Сида Мейера (как устроен мир в Civilization и моей маленькой 4X-стратегии MyCivGame) +17

СЕРВИСЫ
  • logo

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

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

  • Собственные бренды торговых сетей — зло +57

    • 370

    235 м² DIY-умного дома: автополив, климат, котельная и соседи в шоке +57

    • 138

    Почему ваше Senior IT-резюме не работает в 2025 году: Взгляд бывшего HR-рекрутера -38

    • 68

    ИИ в Западных корпорациях: Период отрезвления (сентябрь 2025) +9

    • 63

    [Личный опыт] Поиск работы в Германии в середине 2025 +37

    • 60

    Вспышка Новой Звезды в созвездии Центавра. 22 сентября 2025 +59

    • 49

    Ювелирная работа, или Как мы разрабатывали Умное кольцо Sber (часть 1) +39

    • 44

    Прорывная идея для существенного улучшения жизни незрячих: предложение запустить в массы новый интерфейс +40

    • 42

    Большая труба Сида Мейера (как устроен мир в Civilization и моей маленькой 4X-стратегии MyCivGame) +17

    • 38

    Древние способы охлаждения +57

    • 38

    Игры, которые заставят вас полюбить метроидванию. И это не Silksong +33

    • 28

    Вложили 700 млн. Работали сутками, нас сдувал ураган, материалы носили на плечах. А люди топчут нашу работу +45

    • 28

    Какие технические ограничения остались у разработчиков игр в 2025 году +3

    • 23

    Как мы перестали контролировать своих сотрудников +8

    • 23

    Что лежит в основе Мироздания? +6

    • 23

Подписка


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