Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
Поток Научпоп доступен 24/7 благодаря поддержке друзей Хабра
Комментарии 10
Тестировщики пишут юнит-тесты.
А «пентестеры» пишут эксплойты, чтобы накрутить себе бесконечные деньги. ))
Mне кажется, у концепта есть два жёстких предела,
Первый: право - это не только интерфейсы и протоколы, а принятие решений в условиях неполной информации и размытых понятий. "Вред", "разумность", "соразмерность", "добросовестность" - это не типы, которые забыли дописать, а специально оставленная гибкость, чтобы система не ломалась на краях. В эпоху LLM это особенно видно: смысл и контекст по природе вероятностные, и как ни старайся "застатик-типизировать" мир, он всё равно придёт в рантайм с шумом, исключениями и неоднозначностью. Ещё Азимовские "строгие" законы робототехники как раз регулярно ломались об это. Да и вся эта когнитивная революция вобщем-то про это.
Второй: нелинейный рост сложность - мифический человеко час и тп. Как только ты пытаешься покрыть спецификацией реальную жизнь, количество сущностей, исключений и "особых случаев" растёт комбинаторно. Каждый новый закон/поправка - это не аккуратный PR, а ещё один слой условностей, обратных совместимостей и конфликтов между модулями. В итоге компилятор начинает проверять не "справедливость", а то, что система из исключений сама с собой согласована - и получается огромная кодовая база, где баги превращаются в социальные эксплойты, а рефакторинг становится политически невозможным. Поддержка станосится не просто очень сложной, а невозможной.
Использовать программирование для написания законов было бы правильно: понятный и тестируемый код, хорошая документация... Да.
Но государство это не только законы. А загнать поведение людей в TS-объекты, увы, задача нереальная.
Интересно было бы попробовать построить современное государство с другой финансовой системой и экономикой, например, заменив привычные деньги и зарплаты на некий "индекс полезности обществу". Получится ли при этом не превратиться в цифровой концлагерь - вот в чём вопрос.
Для данного общества нужен метапереход сознания, чтобы пользователи четко соблюдали свои интерфейсы и типы, на первых парах можно придумать observer для воспитания)
Но будем ли мы людьми в таком случае
В мире строятся одновременно эти утопии, но основной станет, скорей всего, утопия с чипированными людьми, централизованно управляемыми ИИ, с личностью собственной, оставленной частично, в виде интерфейса, для взаимодействия с окружением (и что бы никто ничего не понял). Соответственно всё государство это виртуальный мир, с внешними объектами. Нет ни преступлений, краж, войн, восстаний, нарушений ПДД и т.д. Этакий мир биомашин, тела со временем можно будет заменить на механические, со сменными деталями, а личность скопировать на жёсткий диск.
А почему бы для начала не попробовать перенести какой-нибудь кодекс в github?
Любое государство по своей сути представляет собой систему обработки информации - потоки информации текут из одних частей государственной системы в другие и обратно.
Любое государство, через непродолжительное время своего существования превращается в насос по выкачке денег из подконтрольного ему населения. А "насосу" децентрализация денежных потоков не нужна.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Метаутопия программистов: как построить государство на базе TypeScript и Git