Mad 2.0: Mutually Assured Disruption2 months agohttps://www.thoughtmerchants.com/opinion/mad-2-0-mutually-assured-disruption“苦涩的教训”指出,原始计算总是胜过人类的聪明才智。拥有最多计算资源的人——个人、公司或政府——将会占据主导地位。囤积计算资源的竞赛被比作人工智能的“曼哈顿计划”,使得相关资源变得非理性地有价值。当一切都可以被伪造时,对信息的信任就会崩溃。人类担保链,类似于“人类的SSL”,可以通过共享历史、声誉和共同风险来恢复信任。关系历史比数字验证系统更难伪造。
Unicode's transliteration rules are Turing-complete2 months agohttps://seriot.ch/computation/uts35/Unicode UTS #35 音译规则在其无界自然语义下允许通用计算,这一结果此前尚未公开发表。这些规则被广泛应用于 ICU 这一常见的 Unicode/全球化库的区域设置数据中,其在给定输入上的终止问题是不可判定的。音译规则包含上下文、捕获组、量词和游标回访等功能,从而支持复杂的重写操作。通过模拟科拉茨函数等模型,可以将二标签系统编译为音译规则,从而证明其通用性。ICU 实现了循环限制以防范无限计算,但规范本身并未定义此类限制。实例表明音译规则文件可以作为程序运行,能够计算诸如规则 110 元胞自动机与素数生成等功能。区域设置数据格式中无界重写能力带来了安全隐患,因为接受转换规则等同于接受代码执行。