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

logo

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

Публикации с тегом изоморфизм типов

Теория типов +58

  • 02.09.2023 12:16
  • Underskyer1
  • 67
  • Программирование
  • Функциональное программирование
  • Scala
Страница 1 из 1
ЛУЧШЕЕ

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

Цифровизация это новое электричество +1

12:16

На батуте в космос. Разработка средств выведения без участия Роскосмоса +76

07:15

Надоело постоянно пользоваться телефоном, поэтому написал замену Google Authenticator в виде TUI +37

09:05

Суши и роллы: как традиционное японское блюдо попало в Калифорнию и покорило весь мир? +32

14:05

Уникальный игровой телефон с двумя процессорами за 2 000 рублей — разбираем плод инженерного гения из Китая +31

08:00

Новогодняя подборка образовательных материалов для разработчиков +26

12:24

Я не знаю, как заставить вас осознать, что ChatGPT незаметно творит +19

17:53

Ускоряем кэш серверы YouTube. Не VPN +17

22:13

Можно ли уместить игру Minecraft всего в один QR-код? +14

08:23

Когда промышленный дизайн становится искусством: идеи Генри Дрейфуса +13

14:15

Как спроектировать игровую математическую модель, забалансить её и не сдуреть. Разбор на практических кейсах +12

14:33

Как сделать из iPhone dumb phone и начать жить осознаннее +11

13:12

С пляжа в Майами к революции в торговле: история штрих-кода +11

09:13

Дайджест новостей по PHP, Laravel и Symfony за декабрь'2024 +11

09:19

Что нового в Apache Kafka 4.0? +10

05:46

Опыт интеграции LLM и классического ML в пет-проект про поиск домашних животных +10

06:10

Type-level программирование в TypeScript: практические кейсы и обзор возможностей +9

11:20

Как на Аляске разгильдяи нефть проливали +8

09:00

Java Digest #20 +8

08:05

Руководство по Convex. Часть 3 +8

07:01

Обзор новых проектов CNCF (Provisioning, Observability, Analysis): автоматизация работы с Terraform и платформа как код +8

18:45

Создаем эмулятор Sega Mega Drive на C++ +115

13:05

Как инженеры Apple ошиблись с полярностью конденсатора +69

08:00

Оптимизация SQL запросов +62

00:00

Что внутри робота пылесоса от Philips +52

15:02

Создаем воспоминания. Осваиваем FLUX, LoRA и ComfyUI +38

17:08

Системные ошибки в преподавании иностранных языков +32

11:46

Роберт Бартини: советский авангардист, изменивший мир авиации +32

09:00

От электростатики до звука: интересные эксперименты для зимних каникул +32

17:11

Негостеприимные красные карлики. Об ультрафиолетовой зоне обитаемости +30

15:59

Незащищённая автоматизация +30

10:51

GTA VI, Death Stranding 2 и другие самые ожидаемые игры 2025 года +30

09:01

SOS-фонарик на жесткой логике с датчиком удара на пьезоэлементе +29

14:15

Развитие строительных технологий в Civilization VI +26

08:22

Энтропия – это мера того, как мало мы на самом деле знаем +24

21:54

Исповедь устаревшего +23

13:20

Регуляция сахара в крови +17

10:36

Новогодний плейлист инженера-программиста: что послушать в подкасте «Битовые маски» +15

00:42

Идеального десктопа не существует +14

12:16

SOLID: Low Coupling против читабельности +11

10:00

Snapper: система снапшотов, которая спасет ваш Linux +9

СЕРВИСЫ
  • logo

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

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

  • Я не знаю, как заставить вас осознать, что ChatGPT незаметно творит +19

    • 132

    Идеального десктопа не существует +14

    • 118

    Как инженеры Apple ошиблись с полярностью конденсатора +69

    • 66

    На батуте в космос. Разработка средств выведения без участия Роскосмоса +76

    • 65

    Надоело постоянно пользоваться телефоном, поэтому написал замену Google Authenticator в виде TUI +37

    • 58

    Системные ошибки в преподавании иностранных языков +32

    • 50

    Плохие практики в PHP-бэкэнде: примеры и советы +8

    • 41

    Ускоряем кэш серверы YouTube. Не VPN +17

    • 34

    Snapper: система снапшотов, которая спасет ваш Linux +9

    • 28

    Оптимизация SQL запросов +62

    • 26

    Создаем эмулятор Sega Mega Drive на C++ +115

    • 23

Подписка


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