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

logo

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

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

Зависимые типы — будущее языков программирования +30

  • 07.12.2018 13:09
  • ph_piter
  • 97
  • Блог компании Издательский дом «Питер»
  • Математика
  • Программирование
  • Проектирование и рефакторинг
  • Семантика

Система типов в математике +40

  • 26.02.2018 07:49
  • PatientZero
  • 13
  • Программирование
  • Математика

Руководство для практикующего специалиста, как читать научные статьи по языкам программирования +24

  • 12.02.2018 07:31
  • m1rko
  • 3
  • Программирование
  • Учебный процесс в IT
  • Терминология IT
  • Семантика
  • Профессиональная литература
  • Математика

Как запутать аналитика. Часть первая +10

  • 29.06.2017 04:28
  • maxstroy
  • 14
  • Семантика
  • ООП
  • Математика
  • Анализ и проектирование систем
  • IT-стандарты

Статическая и динамическая типизация +34

  • 25.08.2016 08:21
  • freetonik
  • 84
  • Программирование
  • Rust
  • Python
  • JavaScript
  • Haskell

Открытые лекции для школьников и студентов про типизацию в языках программирования +9

  • 20.05.2016 17:03
  • prijutme4ty
  • 12
  • Я пиарюсь
  • «
  • 1
  • 2
  • 3
  • 4
  • »
Страница 4 из 4
ЛУЧШЕЕ

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

В Политехнический музей будет передана одна из последних сохранившихся ЕС ЭВМ +27

08:06

RISC-V против ARM: обзор свежих одноплатников мая 2025 года +18

09:01

«Сети Судного дня». Как разработка противоядерной ПВО привела к рождению Интернета? +12

10:16

Как я научился анализировать собственные собесы с помощью Whisper (и почему это нужно каждому айтишнику и не только) +6

09:36

ИИ учится управлять материей: будущее производства уже наступило +6

07:00

NotebookLM: Как освоить сложные темы в 10 раз быстрее +6

08:36

Миссия, ценности и ви́дение — зачем это корпорациям? И что дает сотрудникам? +5

08:16

Попытка настроить macOS для использования китайского программатора ST-LINK V2 и Blue Pill +3

08:01

5 смартфонов, ломающих привычные представления о мобильной технике +3

07:41

Акторная модель для дошкольников +3

01:38

Как я поучаствовал в скам-схеме: эксперимент с фейковым арбитражем STEEM и IOST +3

07:01

Rust 1.87.0: 10 лет Rust, анонимные каналы, безопасный вызов встроенных интринсиков +2

06:16

Гайд на полиморфизм. Основные идеи +2

05:20

Что ждать от Google I/O любителям ИИ +2

13:01

Сказ о том, как один программист себе мебель из ДСП на PHP программировал +1

12:46

Может ли у планеты появиться мозг? +1

13:06

«Кем Вы видите себя через 5 лет», или русско-HRский разговорник +183

09:01

Самодельная газоразрядная Хабралампа V 1.1 +63

08:05

Запускаем раритетные платы фискальной памяти +42

08:00

Апрельские обновления в продуктах и услугах Selectel +30

13:01

Что убивает ваши IoT-проекты — и как Edge это исправит +27

08:28

Что же такое HDR? +27

12:26

Где бесплатно хостить пет-проект с собственным доменным именем +24

09:00

Личная эффективность СТО: как не сгореть, быть полезным и не терять фокус +24

07:13

Videoton TVC: непростой венгерский компьютер советской эпохи +23

17:08

Когда разработчик тебе врёт: прокрастинация, отмазки и что с этим делать +21

08:54

Как работают антиботы +19

12:55

Что происходит с собеседованиями QA в 2025 году? Взгляд с обеих сторон баррикад +18

12:25

Математическое решение царской игры Ура +18

14:05

Галлюцинации моделей текстовых ИИ, и как с ними бороться +17

08:11

Программный генератор случайных числовых последовательностей на RISC-V с использованием PUF в DRAM +16

11:07

.NET Digest #7 +15

10:58

Siemens A52, Nokia Lumia 800 и другие телефоны, которые были у сотрудников Selectel в детстве +15

10:20

Devboard для К1921ВГ015 +15

18:30

ИИ в греческих буквах и транслитерация промптов +13

12:41

ТОП-5 нейросетей для транскрибации аудио в текст (часть 1) +13

09:01

От инженеров до барыг, или откуда растут переработки и прочая корпоративная шиза. Часть 2 +113

10:27

Скам на $700,000 в Solana: как токен с ростом в 4 млрд% обнуляется за секунды +86

05:29

Откуда у Xiaomi так много разных устройств? +57

10:11

Как найти и потерять бэкдор в ESP32 +56

06:37

Курсы по тестированию — развод, маркетинг и пустышки +51

09:01

Всё про Generic Math в C# +49

12:11

Есть ли у AMD перспективы в AI/ML/DL. Часть 1 +48

09:05

Проект «Мультиключ». Эмулятор ключей от домофона на ESP8266 +46

01:28

Самоорганизация неприятностей +43

13:39

Процессор на коленке ч.1 +40

13:01

Электроэнергия из подошв ботинок? Решение: микроканальный генератор +40

09:20

Как использовать японские подходы в IT. Часть 5: в плену процесса +37

09:01

Оптимизация Spark-приложений: шаг за шагом от базовых техник до продвинутых приёмов +32

09:01

Оптимизация Spark-приложений: шаг за шагом от базовых техник до продвинутых приёмов +32

16:12

Linux для начинающих: WSL — это читерство. Как Microsoft дал нам Linux без головной боли +26

04:41

Генератор синусоиды из LC-контура и отрицательного сопротивления +26

13:46

Radio Data System, SI4735 и Flipper Zero +24

09:52

Как мы в Точке сделали свой дизайн-линтер +23

10:18

Do as I do: алгоритм размещения сервисов внешних поставщиков в Маркетплейсе VK Cloud +22

10:18

Do as I do: алгоритм размещения сервисов внешних поставщиков в Маркетплейсе VK Cloud +22

СЕРВИСЫ
  • logo

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

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

  • HEX раздражает женщин +15

    • 187

    Linux для начинающих: WSL — это читерство. Как Microsoft дал нам Linux без головной боли +26

    • 167

    От инженеров до барыг, или откуда растут переработки и прочая корпоративная шиза. Часть 2 +113

    • 116

    Windows против Linux: кто кого, или почему пингвин не боится окна -10

    • 80

    Как упростить себе освоение Rust +19

    • 79

    Электроэнергия из подошв ботинок? Решение: микроканальный генератор +40

    • 65

    Идеальный NAS на 8 NVME дисков. Обзор Terramaster F8 Plus +8

    • 61

    Скам на $700,000 в Solana: как токен с ростом в 4 млрд% обнуляется за секунды +86

    • 56

    Посткапитализм без откатов: эволюция к равенству возможностей +2

    • 55

    «Кем Вы видите себя через 5 лет», или русско-HRский разговорник +183

    • 55

    Откуда у Xiaomi так много разных устройств? +57

    • 45

    Концепция Человек-Род-Государство -1

    • 44

    Процессор на коленке ч.1 +40

    • 34

    Токсы и как с ними работать. Памятка руководителю +11

    • 34

    Как я победил рак -23

    • 33

Подписка


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