Size: a a a

2020 February 21

IC

Ilya Chernoudov in pro.net
Ayrat Hudaygulov
@ilchert вот на такой тест фреймворк генерит рандомный сабсет входящих значений, например 1000 и кидает туда
я ведь сейчас не про тестирование....
источник

R

RA-TA-TATA in pro.net
Sergey Gut
Есть боты, которым кормишь часть диалога, и они генерят пнгшку
щас фиг найдешь ваш диалог
источник

IC

Ilya Chernoudov in pro.net
или щас будет попврот сюжета?
источник

SG

Sergey Gut in pro.net
В фиолетовой вроде было.
источник

AH

Ayrat Hudaygulov in pro.net
Ilya Chernoudov
я ведь сейчас не про тестирование....
а я про тестирование. Доказать что-то формально на сишарпе нельзя
источник

AH

Ayrat Hudaygulov in pro.net
на фшарпе тоже нельзя если что
источник

AH

Ayrat Hudaygulov in pro.net
даже на хаскеле нельзя
источник

NK

Nesterenko Konstantin in pro.net
Sergey Gut
Есть боты, которым кормишь часть диалога, и они генерят пнгшку
а нук скинь бота
источник

R

RA-TA-TATA in pro.net
Sergey Gut
В фиолетовой вроде было.
а бота знаешь?
источник

SG

Sergey Gut in pro.net
Я одного хосчу
источник

AH

Ayrat Hudaygulov in pro.net
https://fscheck.github.io/FsCheck/QuickStart.html

Там даже не C# примеры есть
источник

SG

Sergey Gut in pro.net
Если разберетесь, как юзать - дерзайте.
@KruzyaStall_QuoteBot
источник

IC

Ilya Chernoudov in pro.net
Ayrat Hudaygulov
а я про тестирование. Доказать что-то формально на сишарпе нельзя
давай ещё раз) у меня есть несколько задач (скажем 10),  некоторые нельзя исполнять до завершения предыдущих. Мне надо получить все правильные варианты исполнения всех задач
источник

IC

Ilya Chernoudov in pro.net
чисто прикладная задача без доказательств
источник

AH

Ayrat Hudaygulov in pro.net
Аааааа
источник

NK

Nesterenko Konstantin in pro.net
хуйня
источник

NK

Nesterenko Konstantin in pro.net
источник

IC

Ilya Chernoudov in pro.net
на входе список задач, на выходе много списов вариантов как это можно исполнить
источник

SG

Sergey Gut in pro.net
Но если совсем кратенько.
Пересылаете сообщения. Делаете реплай на первое, и /q колво
источник

NK

Nesterenko Konstantin in pro.net
даже дату сообщения не указывает (9(
источник