λ
меня как-то брагил забанил за то, что я его в в твитер реплае аттеншнхорой обозвал, но потом я в телеге написал, что не имел в виду оскорбление и он разбанил
Лайфхак однако
Size: a a a
2020 February 14
AT
@odomontois Олег они там твою рич можель в ооп никак забыть не могут
AT
давай еще раз зайдем выйдет
Oℕ
@odomontois Олег они там твою рич можель в ооп никак забыть не могут
cекрет успеха в том, чтобы вовремя уйти
DM
cекрет успеха в том, чтобы вовремя уйти
Просто боишься сжечь еще пару дней
AT
меня как-то брагил забанил за то, что я его в в твитер реплае аттеншнхорой обозвал, но потом я в телеге написал, что не имел в виду оскорбление и он разбанил
это самое смешное, что я видел за последнее время
DM
это самое смешное, что я видел за последнее время
кто идейные враги кокеров? Лин, агда или тля?
AT
кто идейные враги кокеров? Лин, агда или тля?
еще изабель забыл)
на самом деле нет таких, просто технология пруверов недостаточно зрелая, чтобы люди были экспертами в нескольких системах
на самом деле нет таких, просто технология пруверов недостаточно зрелая, чтобы люди были экспертами в нескольких системах
AT
ну и tla+ немного другого класса система
AT
полезна, чтобы спеки отлаживать, но с кодом там нет такой связи, как в пруверах
AT
а, и F* надо добавить еще
DM
т.е. обитателям кок чата даже завалиться не к кому, чтобы срач на неделю устроить?
DM
все закончится "привет, как дела? приходите на барбекю"
AT
т.е. обитателям кок чата даже завалиться не к кому, чтобы срач на неделю устроить?
я очень на это надеюсь)
AT
можно завалиться в скалачат и сказать "а у нас есть плагин для экстракции кода в скалу, пошли веганских бургеров пожуем?"