T
Size: a a a
2021 April 02
AK
просто гос-во местами стало меньше по некоторым пунктам доебываться
Просто у госчиновников временно бьіло меньше ресурсов доебьіваться к нормальньім.
Но "платите нологи" старательно исправляют ситуацию
Но "платите нологи" старательно исправляют ситуацию
N
О, а чё, в этот чат так и не завезли бота с баном по ключевым словам? @s_tikhomirov @msbenighted
ST
О, а чё, в этот чат так и не завезли бота с баном по ключевым словам? @s_tikhomirov @msbenighted
Это какой-то новый штамм, южноафриканский видать
OA
кому интересно как смарт-контракты безопасно писать?
OA
OA
делаю type-safe DSL для ZkVM потому что пеймент-каналы состоят из отдельных программок, которые должны композиться друг с другом
OA
и чтоб не было такого, что перепутал порядок инструкций и пизда рулю, можно сделать полностью type safe репрезентацию стека и выполнения кода
OA
своп двух элементов (T1,T0) -> (T0,T1) выглядит вот так
OA
Стек из A,B,C,... превращается в сложный вложенный тип вида A<B<C<...>>>
OA
по идее, с т.з. юзера будет простой АПИ, как сейчас: program.push().dup().roll().dothis().dothat()
OA
но он не скомпилится, если попробовать сделать, скажем, сумму двух аргументов когда они не числа, или их не два, а меньше
PK
Стек из A,B,C,... превращается в сложный вложенный тип вида A<B<C<...>>>
напомнило session types https://github.com/Munksgaard/session-types
OA
напомнило session types https://github.com/Munksgaard/session-types
Ага. Мы тож делали для булетпруфов: https://cathieyun.medium.com/bulletproof-multi-party-computation-in-rust-with-session-types-b3da6e928d5d
PK
интересно, гляну. слушай, а вообще каков статус проекта ZkVM в целом? когда тестнет планируется?
PK
ну т.е. понятно что VM сама по себе - “это другое”, но я так понимаю это же все пилится под коин нового поколения?
Y
ну если тебя в школе научили что в 1929м был "кризис перепроизводства", то это то же самое, что "убивают пули"
А что на самом деле было?
DK
На самом деле кризис перепроизводства тоже был
RR
ID:0
Привет! В конце этого выпуска обсуждается потенциальная возможность создать государство, не имеющее территории. Рискну напомнить что таковое уже существует https://freeland.land/
И даже паспорта уже пару лет как выдает... https://youtu.be/9FuSnPc2pU8
И даже паспорта уже пару лет как выдает... https://youtu.be/9FuSnPc2pU8
