Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)

2020 July 27

AS

Alex Sh in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ᛒᚨᚱᛏᛟᛋᛋᛟ
почему, тля+ само то чтобы верифицировать сам алгоритм и проперти
Ну типа во-первых надо переписать алгоритм в ней.
Потом доказать свойства. И сделать исправления.
Потом переписать назад,
В обоих случаях можно получить былинный отказ.

Плюс мне синтаксис не нравится 😅
источник

D

Dima in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
факт
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Alex Sh
Ну типа во-первых надо переписать алгоритм в ней.
Потом доказать свойства. И сделать исправления.
Потом переписать назад,
В обоих случаях можно получить былинный отказ.

Плюс мне синтаксис не нравится 😅
не надо переписывать 1 в 1 же, там модель ток надо описать с важными на твой взгляд свойствами
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
тогда кот был молодым и дрался за честь
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
вы етом и фичо имхо лайтвейт модель чекеров
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ето оч применимо к жизни
источник

AS

Alex Sh in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ᛒᚨᚱᛏᛟᛋᛋᛟ
намного проще чем в изобеле пердеть
Ну тут я согласен.
Но вообще хочется "один раз пропердеться", а потом реюзать знания в других кейсах/проектах.
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Alex Sh
Ну тут я согласен.
Но вообще хочется "один раз пропердеться", а потом реюзать знания в других кейсах/проектах.
ну тля етого не отменяет)))))
источник

D

Dima in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ᛒᚨᚱᛏᛟᛋᛋᛟ
вы етом и фичо имхо лайтвейт модель чекеров
это на каком языке?
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
тогда кот был молодым и дрался за честь
источник

D

Dima in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
на монгольском?
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Dima
это на каком языке?
на языке дима иди нахуй
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
сходка любителей троян рекордс
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник

D

Dima in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ᛒᚨᚱᛏᛟᛋᛋᛟ
на языке дима иди нахуй
норм собрал
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
с уважением
источник

AS

Alex Sh in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ᛒᚨᚱᛏᛟᛋᛋᛟ
ну тля етого не отменяет)))))
Если бы бы была кодогенерация TLA -> JVM bytecode, то имело бы смысл смотреть.
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Alex Sh
Если бы бы была кодогенерация TLA -> JVM bytecode, то имело бы смысл смотреть.
ну я хз как ето выглядело бы, там в целом логику толком не попишешь
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Alex Sh
Если бы бы была кодогенерация TLA -> JVM bytecode, то имело бы смысл смотреть.
но я тип больше о подходах и алкоритмах которые ты можешь запруфать тлей и знать шо у них такие свойства и в таких кейсах они огонь
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
кста а как там работает экстрактор в скалу? как Скалина?
источник