Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 5. Применимость юнит-тестов -5 25.08.2023 07:32 primetalk 0 Ненормальное программирование Тестирование IT-систем Функциональное программирование Scala
Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 4. Эквивалентность функций -4 25.08.2023 07:31 primetalk 4 Ненормальное программирование Тестирование IT-систем Функциональное программирование Scala
Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 3. Ошибки -4 25.08.2023 07:30 primetalk 0 Ненормальное программирование Тестирование IT-систем Функциональное программирование Scala
Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 2. «Распрямляем» код -3 25.08.2023 07:29 primetalk 4 Ненормальное программирование Тестирование IT-систем Функциональное программирование Scala
Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 1. Определяемся с качеством -2 25.08.2023 07:28 primetalk 0 Ненормальное программирование Тестирование IT-систем Функциональное программирование Scala
Бестолковые тесты versus качественное ПО. Часть 1. Бестолковые тесты +1 25.08.2023 07:28 primetalk 0 Ненормальное программирование Тестирование IT-систем Функциональное программирование Scala
Преимущества функционального программирования на примерах C# +6 18.08.2023 12:10 ph_piter 7 Программирование C# Блог компании Издательский дом «Питер» Функциональное программирование Programming Издательский дом «Питер» corporate blog Functional Programming
Что такое формальная верификация +15 05.08.2023 10:52 Natasha_Klaus 27 Алгоритмы Информационная безопасность Функциональное программирование Криптовалюты Information Security Algorithms Cryptocurrencies Functional Programming
Python кодогенерация — ускоряем strftime / strptime +2 02.08.2023 03:35 westandskif 0 Программирование Python Open source Функциональное программирование Programming Functional Programming
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1 21.07.2023 19:42 Natasha_Klaus 3 Функциональное программирование Криптовалюты Cryptocurrencies Functional Programming
COQ: верификация функций, содержащих fold_left +7 20.07.2023 12:53 Natasha_Klaus 7 Функциональное программирование
Формальная верификация кода на Coq: тактики +4 18.07.2023 10:00 Natasha_Klaus 4 Функциональное программирование
Применение формулы бинома для определения простых чисел +3 17.07.2023 18:18 PicoPicoRobotWoman 23 Программирование Алгоритмы Математика Функциональное программирование Scala Algorithms Programming Mathematics Functional Programming
Оценка параметров системы дифференциальных уравнений по неточным наблюдениям +7 14.07.2023 23:10 PicoPicoRobotWoman 11 Программирование Алгоритмы Математика Функциональное программирование Scala Algorithms Programming Mathematics Functional Programming