ML
Вот этот
(age :: t15, user :: String) | t18?Size: a a a
2020 July 01
AM
А, типа
Я думаю, чуть иначе, так как прям вот в таком виде в типе, очевидно, необязательно будут age и user.
Собсна, в статье про row-полиморфизм приводится в пример окамл, в котором вместо этой типовой переменной с квантором всеобщности просто
Собсна, в статье про row-полиморфизм приводится в пример окамл, в котором вместо этой типовой переменной с квантором всеобщности просто
.. используется.СГ
Вот этот
Да я понял что ты про него, рофлю просто. Поставил, дам еще один шанс)
AO
Я думаю, чуть иначе, так как прям вот в таком виде в типе, очевидно, необязательно будут age и user.
Собсна, в статье про row-полиморфизм приводится в пример окамл, в котором вместо этой типовой переменной с квантором всеобщности просто
Собсна, в статье про row-полиморфизм приводится в пример окамл, в котором вместо этой типовой переменной с квантором всеобщности просто
.. используется.Ой, действительно
(
Теоретически я поверю в тайну голосования.. например если мне по паспорту выдадут токен для голосования и при условии что процедура генерации токена открыта и я вижу что связь номера момего паспортом с токеном нигде не сохраняется...
Если это все делать через госуслуги.. то это черный ящик
Если это все делать через госуслуги.. то это черный ящик
пора делать БлОкЧеЙн ГоЛоСоВаНиЕ
AN
пора делать БлОкЧеЙн ГоЛоСоВаНиЕ
Ты прям как вчера родился
(
Ты прям как вчера родился
а, уже поминали?
AN
Оно же типа блокчейн
(
Оно же типа блокчейн
А цифры рисуют тогда как?
AN
А цифры рисуют тогда как?
Так все ноду у правительства
AN
И никак нельзя прочитать содержание блоков
(
Хорошее голосование
AN
И никак нельзя проконтролировать, что в блоки пишется
Н
пора делать БлОкЧеЙн ГоЛоСоВаНиЕ
Само по себе применение блокчейна не гарантирует что вся система в целом честная. Она такой и не будет, если изначально нет цели создать честную процедуру.
AN
Хорошее голосование
https://youtu.be/hw58d5-JMcc Вот разбор
I
пора делать БлОкЧеЙн ГоЛоСоВаНиЕ
Но в блокчейне все транзакции открыты,
тогда все либерахи узнают что я за поправки голосовал 🤔
тогда все либерахи узнают что я за поправки голосовал 🤔
(
Но в блокчейне все транзакции открыты,
тогда все либерахи узнают что я за поправки голосовал 🤔
тогда все либерахи узнают что я за поправки голосовал 🤔
Ну, есть анонимизация субъектов
AN
Но в блокчейне все транзакции открыты,
тогда все либерахи узнают что я за поправки голосовал 🤔
тогда все либерахи узнают что я за поправки голосовал 🤔
Ну да. Вообще, есть эстонская система, которая умеет делать блокчейн анонимный с валидацией
AN
То есть чтобы каждый проголосовавший мог потом проверить по своему ключу, что его голос правильно учтен.
AD
⚡️ Первые данные ЦИК: за проголосовали 72,92%
