VS
это лучше, чем пнуть кошку, совесть потом не мучает )
Size: a a a
2017 July 23
RG
1) подходящее настроение 2) я поспорил, что мне никто в чате не предложит DSL для описания смартов, один человек настолько оптимистичен, что считает что это должно быть очевидно для всех
убедил 😁
VS
а так, в принципе, просто интересно смотреть как роевой интеллект находит решения инженерных проблем при полном, практически, отсутствии инженеров как таковых. что помогает с них потом сбивать спесь в кулуарах, гг )
VS
вот-вот, в этом и проблема с вами...
VS
хайп, а мозгов нет
VS
но хайп тоже дело хорошее со многих позиций, полезное
VS
эм, предполагается, что я должен пасть ниц? ))
VS
прошу все же принять мои соболезнования в адрес IBM по этому случаю
VS
if their engineers think that "formal verification" in a context of software development means nothing than "just a set of words"... well, such a pity then
D
ну вот а я то думал что он залетный «гуру» 😂
D
а оказалось просто очередное трепло
VS
ну вот а я то думал что он залетный «гуру» 😂
за гуру в реале даю в глаз
D
за гуру в реале даю в глаз
по ip меня вычесли )
Р
по ip меня вычесли )
VS
какое еще тебе нужно определение? очевидно из термина, что речь идет о доказательстве соответствия результатов работы смарт-контракта в данной среде выполнения его спецификации
VS
микропрограммы?