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

logo

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

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

Доказательное программирование +28

  • 01.04.2021 18:28
  • wetnose
  • 144
  • Программирование
  • Java
  • Разработка под Android
  • Kotlin
Страница 1 из 1
ЛУЧШЕЕ

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

Рекрутеры — паразиты? Отказ на свою же должность в IT +57

09:01

Как я одержал победу над создателем чита для MMO-игры +29

03:12

Мифы про метаболизм и почему люди не худеют на 1000 калорий? +21

08:44

Ноябрьская подборка одноплатников 2024: мощные новинки и проверенные фавориты +17

05:34

Как реализовать быструю реентерабельную блокировку на Python и почему она работает +16

09:58

Закон больших чисел как лекарство от прокрастинации +15

13:01

Ремонт клавиатуры синтезатора Yamaha +13

07:22

Опыты с акселерометром и гироскопом на платформе S7V30 +12

07:05

Ностальгические игры: Fallout 3 +11

08:06

Используем Xray как VPN +10

07:16

Как я создал устройство, которое может удаленно эмулировать мышку и клавиатуру на stm32 +8

05:53

Zod. Основные преимущества и неочевидные кейсы использования +8

11:56

Полиномиальный алгоритм проверки чисел на простоту: тест Агравала-Каяла-Саксены +6

09:00

Зуб комодского дракона +6

08:12

Нейросеть для симуляции CS: GO +6

06:44

Асинхронный SQLAlchemy 2: улучшение кода, методы обновления и удаления данных +6

10:15

Корпуса как хобби +5

09:15

Kafka и картошка +5

08:15

Возможности функции scatterplot() библиотеки seaborn +3

08:00

Magic: The Gathering. Сложность — это не предел +3

09:57

Г̶р̶о̶ш̶ 1 рубль цена Mail.ru +134

10:28

GigaChat MAX — новая, сильная модель GigaChat +83

10:28

GigaChat MAX — новая, сильная модель GigaChat +83

14:18

Несколько «добрых» слов о текущей версии редактора Habr +60

09:01

Киберпанк не по Гибсону! Чем и почему реальность 2020-х не похожа на классические киберпанковые образы? +48

14:05

Ретрошортсы: вспоминаем бумажный журнал с дисплеем и Linux на борту +32

12:21

DIY-проекты на базе Raspberry Pi — что нового? +29

11:20

Заметки на полях римской военной логистики +29

11:14

Ждет ли безработица ИТ-сектор России +28

13:01

Ретрогейминг на Linux — Hitman: Agent 47 +27

11:10

Бесплатные боты, чтобы раздеть девушку по фото в 2024 +26

04:41

Как базовые знания кодинга и нейросетей сэкономили нам больше 15 млн ₽ на Wildberries [скрины] +26

12:18

Устройство для получения нити (филамента) без экструдера. Новости подпольной лаборатории +24

11:16

Устройство для проверки источников питания постоянного тока +23

09:16

Software «Engineering» мёртв. Его убили не нейросети +21

07:00

Как я съел собаку, обожающую созвоны +18

07:51

Сверхглубокий гидроразрыв пласта для получения безграничной геотермальной энергии — это возможно +17

23:38

Зарплаты в IT: сравнение Германии и России — где программисты и айтишники получают больше +16

11:11

Ранние вычислительные машины — история преодоления +12

08:34

Зачем нужны эмбеддинги? +12

09:01

«Удалённо» управляем компьютером с доступом в BIOS +111

08:05

Восстанавливаем данные с кассеты от старого стримера +64

17:57

Действительно ли фотоны вечные? +53

16:27

Немного про UEFI и GRUB +45

05:13

Ассемблеры, 5 штук — быстрое знакомство для тех кто не знаком +44

13:01

Охота за (не)аутентифицированным удалённым доступом в роутерах Asus +41

11:50

Интернет тонет в спаме +40

13:49

Мини-ПК ноября 2024 года: на какие модели стоит обратить внимание +36

07:10

Новая аутентификация в Kubernetes: зачем переходить на Structured Authentication Config +35

07:59

Scala Digest. Выпуск 22 +30

07:00

Как я учил войс чат дискорда работать через прокси с помощью перехвата системных вызовов и DLL Hijacking +27

16:05

Рекомендую поиграть: Deponia +25

13:00

Как мы нарушили все гайдлайны Kubernetes, чтобы описывать инфраструктуру в разы быстрее +25

09:37

Учимся (не) проходить финалы на стажировку в Яндекс +24

20:40

Создание доступной портативной фундус-камеры +22

16:01

Как мы уменьшили размер нашего Javascript монорепозитория в Git на 94% +21

11:16

Англофикация корейского видеорегистратора +21

07:03

Необычные вкусы покупателей: что такое товарные пары и как их исследовать +21

12:59

Galileo: как Европа создала свою альтернативу GPS +18

06:00

Чего хотят айтишники? +15

СЕРВИСЫ
  • logo

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

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

  • Г̶р̶о̶ш̶ 1 рубль цена Mail.ru +134

    • 212

    Читерство на собеседовании -15

    • 180

    Зарплаты в IT: сравнение Германии и России — где программисты и айтишники получают больше +16

    • 151

    Сверхглубокий гидроразрыв пласта для получения безграничной геотермальной энергии — это возможно +17

    • 112

    Ждет ли безработица ИТ-сектор России +28

    • 92

    Ассемблеры, 5 штук — быстрое знакомство для тех кто не знаком +44

    • 71

    Рекрутеры — паразиты? Отказ на свою же должность в IT +57

    • 64

    Действительно ли фотоны вечные? +53

    • 60

    «Удалённо» управляем компьютером с доступом в BIOS +111

    • 59

    GigaChat MAX — новая, сильная модель GigaChat +83

    • 55

    GigaChat MAX — новая, сильная модель GigaChat +83

    • 55

    Интернет тонет в спаме +40

    • 46

    Радикальное изобилие энергии -1

    • 35

    Про глупые вопросы на собеседовании -14

    • 33

    Несколько «добрых» слов о текущей версии редактора Habr +60

    • 32

Подписка


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