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

logo

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

Публикации с тегом quickcheck

Property-based тестирование с QuickCheck +6

  • 02.08.2021 18:04
  • fierce-katie
  • 0
  • Программирование
  • Haskell
  • Тестирование IT-систем
  • Функциональное программирование
  • Блог компании Typeable
Страница 1 из 1
ЛУЧШЕЕ

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

Пионеры разработки: внедрение АСУ 38 лет назад +52

08:16

Разбор одного вируса с ТГ канала peekbot +19

07:42

Программа, которая падала на первой команде +19

08:03

Зарядное устройство для свинцово-кислотных аккумуляторов 4В +18

05:30

Автоматизация мониторинга в НЛМК: от агрегации данных и ML до инцидент-менеджмента +18

05:30

Автоматизация мониторинга в НЛМК: от агрегации данных и ML до инцидент-менеджмента +18

05:38

Центробанк решил быть няшным, а Google выпустил чатбот, который матерится на русском душевнее всех +14

09:01

Второе пришествие мейнфреймов. Всё больше компаний хотят запускать ИИ у себя в офисе +13

09:00

Как и зачем мы замеряли знания культурного кода у YandexGPT +13

08:41

Разбираем базу по базам +10

07:43

Этот год в open source +8

06:53

Рекомендательная библиотека RePlay: сравнение с конкурентами RecBole и Recommenders на примере SOTA-модели SASRec +8

09:21

Дешевые облака, или зачем настраивать FinOps +7

06:16

Как агрегируются порты (LAG, teaming, bonding EtherChannel и т.д.) +7

09:02

Один за всех: как мы упростили сдачу крови и придумали систему онлайн-дозаказа анализа +6

10:40

От спецификации до производства: как устроена магистратура, где студенты разрабатывают чипы +5

07:00

«Нам нужен дизайн»: как сплотить большую команду на пути к продукту +5

09:43

Цифровизация без сокращений: MES и новая эра управления персоналом +4

07:06

Стратификация: как не облажаться с A/B тестами +4

11:07

Технотекст 7: конкурс авторов Хабра стартует +3

13:39

Не радуйтесь офферу из СБЕРа +177

08:32

Как мы раскрыли внутреннюю архитектуру Flutter и затащили его на собственную платформу +57

09:17

20-летие Linux для десктопных систем (Часть 1) +45

07:05

Ностальгические игры: Command & Conquer – Generals +29

13:26

AI, который всё за нас решит +28

08:03

Лучшие одноплатные компьютеры: топ-5 моделей для разработки и хобби +26

15:54

Кроме шуток — шмели тоже обучаются и не знают всё по «инстинктам» +20

09:01

Натрий-ионные батареи станут массовыми? Новости из Китая +18

19:01

Парольная защита статичной HTML-страницы на JS +17

13:37

34 клавиши — это много или мало? Мой опыт использования сплит клавиатуры +12

11:02

Lazarus IDE для аналитика. Приемы работы в современном Free Pascal — 2 +10

16:37

Skip List в Golang +9

10:10

Управление проектами: дайджест публикаций #23 +9

08:11

Как наладить работу в Scrum? +9

09:02

Миф о RAM +8

13:42

Мэтчинг персонажей. Level Hard +7

08:43

Таинственные быстрые радиовсплески могут вызывать астероиды, врезающиеся в мёртвые звёзды +7

23:26

JavaScript: Удобство или Угроза? Размышления о Приватности и Вебе +6

06:23

Как LLM меняют архитектуру систем: от простых дата-пайплайнов к интеллектуальным автономным агентам +5

17:00

Подмания: запускаем графические приложения в контейнерах. Часть 2 +4

09:01

«Не трогай оливье, это на Новый год!»: немного об истории самого культового и мемного блюда новогоднего стола +74

11:20

Космический интернационал +60

08:12

Seagate представляет 32 ТБ накопитель для пользователей: технология HAMR идет в массы +43

10:45

Как я разрабатывал хоррор-стратегию на Game Maker, что из этого вышло + пара советов +27

16:14

Стратегия Келли точно не подведёт +26

12:04

Оптимизация компилятора на пальцах +23

21:10

Как засунуть слона в чемодан +22

14:05

Как китайцы «айфон на винде» сделали: Смотрим на Meizu M8 +20

20:03

Малварь ниже «уровня радаров» +19

07:05

Бегущий по флешбэкам +19

16:34

Как поднять Wi-Fi на ESP8266 и не зашквариться об Arduino +17

12:31

Продукт всё, платная реклама ничто. Итоги второго года в проде +16

08:23

PVS-Studio соответствует требованиям ГОСТ Р 71207—2024 (статический анализ программного обеспечения) +14

19:01

Солнечный зонд Parker начал рекордно близкое сближение с Солнцем +13

12:39

Как Ultimatum помогает бороться со слежкой в сети +9

09:46

Кратко про то, как кастомизировать сетевой стек в Kubernetes с Cilium +9

15:58

PHP Typed: Маленький Composer пакет, который нарушает PHP правила ради вас +7

06:42

Обходимся почти без мышки: Некоторые настройки Linux и Xorg для комфортной работы на старом железе +6

22:27

Tg бот для IT + автоматизация ИПРО-2 используя MTS Exolve. Упаковка в Docker и автоматизация сборки с GitHub Actions +5

15:56

Mostly и Only — кто и для чего строит сети IPv6 +5

СЕРВИСЫ
  • logo

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

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

  • Не радуйтесь офферу из СБЕРа +198

    • 364

    «Не трогай оливье, это на Новый год!»: немного об истории самого культового и мемного блюда новогоднего стола +74

    • 68

    Натрий-ионные батареи станут массовыми? Новости из Китая +19

    • 63

    Гарантированно безопасный способ передачи технологических данных АСУ ТП в интернет. Возможно? -12

    • 63

    AI, который всё за нас решит +28

    • 49

    PVS-Studio соответствует требованиям ГОСТ Р 71207—2024 (статический анализ программного обеспечения) +14

    • 44

    Как поднять Wi-Fi на ESP8266 и не зашквариться об Arduino +17

    • 42

    Seagate представляет 32 ТБ накопитель для пользователей: технология HAMR идет в массы +43

    • 35

    Центробанк решил быть няшным, а Google выпустил чатбот, который матерится на русском душевнее всех +14

    • 34

    20-летие Linux для десктопных систем (Часть 1) +50

    • 28

    34 клавиши — это много или мало? Мой опыт использования сплит клавиатуры +12

    • 26

    Как китайцы «айфон на винде» сделали: Смотрим на Meizu M8 +20

    • 25

    Как засунуть слона в чемодан +22

    • 23

    JavaScript: Удобство или Угроза? Размышления о Приватности и Вебе +6

    • 21

Подписка


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