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

logo

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

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

Типы в программировании как математические множества +13

  • 03.10.2024 12:15
  • akilayd
  • 19
  • Программирование
  • .NET
  • Математика
  • ООП

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

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

Обобщённые типы. Часть 1/3. Полиморфные типы высокого рода

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

Обобщённые типы. Часть 2/3. Классы типов и контейнеры

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

Глубокая Теория Связей 0.0.1

  • 01.04.2024 20:35
  • Konard
  • 8
  • Программирование
  • Open source
  • Математика
  • Data Engineering
  • Блог компании Deep.Foundation

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

  • 02.09.2023 12:16
  • Underskyer1
  • 67
  • Программирование
  • Функциональное программирование
  • Scala

Курсы Computer Science клуба в 2021 году: верификация, фотограмметрия, статистика, логика, теория игр и другие +12

  • 08.01.2022 12:00
  • avsmal
  • 0
  • Обработка изображений
  • Алгоритмы
  • Математика
  • Статистика в IT
  • Блог компании Образовательные проекты JetBrains
Страница 1 из 1
ЛУЧШЕЕ

  • Вчера
  • Позавчера
05:24

Эмулятор ПМК или Сказ о том, как мы опять откопали стюардессу +103

08:05

Подключаем «крысу» от ЕС ПЭВМ к современному ПК +62

09:01

Электровакуумная химия в домашней мастерской. Очистка, обезжиривание металлов +35

11:16

«Мечта мазохиста»: разработка VR-жилета для игры в Cyberpunk 2077 +29

07:18

Высотный склад ЗИЛ: «Матрица» от советских инженеров и забытая хайтек-революция в логистике +26

06:10

Как избавиться от храпа: реальная история из практики врача +26

11:00

Сколько времени тратить на работу? +24

14:28

Катастрофическое падение производительности из-за hyperthreading +22

13:01

Разгон Raspberry Pi 5 до 3 600 МГц и охлаждение жидким азотом +22

08:50

Структурный дизайн. Древний секрет простого и быстрого кода +20

09:52

Книги и статьи про спецпроцессоры: от «волны Макимото» до систолических массивов и ASIP +17

08:59

От кода к смыслу: улучшенная панель Structure в IntelliJ IDEA 2024.3 +17

08:00

State of DevOps 2024. Туда и обратно: 1. DORA-метрики и элитность +16

14:20

Библиотека EremexControls.NET для Avalonia UI — Большое обновление (v 1.1 EAP) +14

10:09

Как мы обучали LLM для поиска уязвимостей в смарт-контрактах Solidity +14

07:18

Ломаем хэши CityHash64, MurmurHash2/3, wyhash и не только… +14

16:32

Ошибки, которые я совершил, пытаясь быть «слишком правильным» в разработке +13

13:25

Многослойная архитектура FrontEnd-приложений на основании SOLID, часть 1 +13

09:24

Оптимизация денежной наличности в АТМ, или Как сделать так, чтобы в банкомате всегда были деньги +13

12:35

Очередной эмулятор Nes. Процессор +12

18:00

constexpr Game of Life +169

11:00

Я угадаю, что рабочий цеха хочет ввести, с трёх букв +88

14:28

Как разрабатываются электронные девайсы +50

15:06

Практический опыт реверс-инжиниринга печатной платы: зачем, как и когда это нужно? +47

07:00

Топология Dragonfly для дата-центровых сетей +46

07:12

SDR радиоприёмник в FPGA плате Марсоход3GW2 (Gowin) +39

11:56

REST vs gRPC. Межсервисная интеграция для начинающих +35

16:41

Пишем свою Diffusion модель с нуля +34

09:47

Одноплатный компьютер Next SBC с Ryzen 7840HS: мал да удал. Игры, офис и все остальное. Что за девайс? +30

04:00

Мои безумные часы: или как создать точку фокуса в рабочем интерьере +28

13:01

Как перемещать объекты с высокой точностью +27

09:18

«Кеса не треба»: как я приехала в Черногорию почти без знания языка и что из этого вышло +25

09:01

Боремся с «мутью» в звуке электрогитары +25

09:01

Когда проблема — не проблема. НЖЯ — инструмент Теории Ограничений +19

06:36

Готовим Gitea со вкусом werf CI/CD и Dex-авторизации в кластере Deckhouse Kubernetes Platform. Часть 2 +19

08:10

Создаем свою ORM на python — гайд +17

07:20

Готовимся к Micromouse: как роботу построить карту лабиринта +17

12:09

«Шапочка из фольги не поможет»: что такое handover в базовых станциях и как его тестируют +16

11:30

Google Translate vs. ChatGPT vs. Homo Sapiens: кто кого? +16

08:04

От токарно-копировального станка до космоса: немного о русской инженерной школе +16

СЕРВИСЫ
  • logo

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

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

  • Какие айтишники будут востребованы в 2035г, а какие – нет? +6

    • 176

    Самодельный WiFi модуль к автоматике раздвижных ворот +10

    • 74

    Сколько времени тратить на работу? +24

    • 66

    Я угадаю, что рабочий цеха хочет ввести, с трёх букв +88

    • 48

    Практический опыт реверс-инжиниринга печатной платы: зачем, как и когда это нужно? +47

    • 45

    Эмулятор ПМК или Сказ о том, как мы опять откопали стюардессу +103

    • 38

    REST vs gRPC. Межсервисная интеграция для начинающих +35

    • 33

    «Кеса не треба»: как я приехала в Черногорию почти без знания языка и что из этого вышло +25

    • 33

    Должен ли тимлид писать код? +10

    • 31

    ИТ-шники: разновидности, отличительные черты +10

    • 31

    Как разрабатываются электронные девайсы +50

    • 31

    Как избавиться от храпа: реальная история из практики врача +26

    • 30

    Подключаем «крысу» от ЕС ПЭВМ к современному ПК +62

    • 29

    Философия науки: про антинаучность стереотипов о настоящей научности +5

    • 27

    Одноплатный компьютер Next SBC с Ryzen 7840HS: мал да удал. Игры, офис и все остальное. Что за девайс? +30

    • 27

Подписка


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