军事设定 在以下论述中，我们将简单地把近未来的地面武装划分成以下（M+）代际： （M+0）现代（2025），有类似现代的编制和武装，轻步兵负重能力20~40kg。 （M+1）现代+，有类似现代的编制，但是无人机、班组微型轮足运输设备（机器狗）、无源外骨骼纳入了装备，信火一体的进一步建设，轻步兵负重能力50kg。 （M+2）现代++，类似M+1的编制，但是有低功能有源外骨骼，...

澳控社总述 有关其时间线、生产力、科学技术、具体思潮。相关设定不代表作者观点或看法，该设定集合纯属虚构，作者不对您的任何行为负责。 请注意：实例本身只是一个对设定的展示。如果您希望使用HALC/前HALC相关设定，在遵循cc by-nc-nd-4协议的前提下任意使用。 时间线 需要注意的是，目前设定的时间线只是草稿，随时可能进行调整。 公元2031年1月，在澳大利亚悉尼出现亚...

请注意，标题被标注为DLC的为可选设定，可以选取自己喜欢的部分进行组合，不必要全部作出实现。 日常生活设定 该部分主要包括健康保健、消费品、交通和城市规划、土地政策等日常生活设定。 交通和城市规划 为方便分配、减少交通堵塞和提高居民健康，走路和铁路出行会是HALC地面交通的主流。居民点应当被设定在距离车站15分钟步行路程内（考虑步行速度4kph，最大距离是1km曼哈顿距离）。因此，...

日常生活设定 HALC三神器 何为三神器？为什么称其为三神器？ 三神器指的是交互式学习、符号式生产流程图（SPPD，Symbolic Production Process Diagram）、去中心化合作分配系统。由于其属于架空的设定，且提供了强力的假设，为HALC实现“社会冯机”提供了可能性，因此被称为三神器。 交互式学习 符号式生产流程图 去中心化合作分配系统

三轨制经济系统推演 在下文中，作者将首先抛出几个道德前提和构建前提作为公理，以推理阐述为什么需要一个三轨制经济来作为HALC/前HALC的经济系统。不过，作者也会在文中引入一些新的前提，且这里的推理并非严格。 构建前提 高度自动化豪华康米社会是需要社会合作的。(A1-1) 高度自动化的计划经济系统，生产力倍增周期优于其他任何基于人的经济系统。(A1-2) 在人参与分配的社...

高度自动化豪华康米社会 区别于FALC，全自动豪华康米，一般被认为是一种机仆管理下的乌托邦社会。HALC是一个没有ASI管理背景的，依然由人组织和把控的，介于空想社会主义设计和安主义设计之间的理想国。 这里是有关此套设定的中心页。 相关链接

文章已过时，请前往其他链接查看最新版本 前言 在高中的时候作者曾尝试幻想一个基于工时（劳动价值论）的经济系统，并进行了一些设定。如今，作者重拾旧日记忆，于2025年2月3日和4日在群聊中进行讨论，尝试完善这个美好的、空想社会主义的乌托邦的设定。 目前而言，这个设定表述了一个在没有ASI管理（没有机仆）下的由人类组成的前FALC或FALC社会。 在下文中，作者将从核心设定出发，阐述机制...

这个专栏主要是用来记录作者的一些科幻点子 索引

暂定名为数学超特急的游戏，是速递三部中的第三部。 本游戏旨在通过结合Lean4的交互式策略证明器和Manim（数学动画引擎），类似于更为动画化的leangame，为一般的解谜游戏爱好者或者对数学有兴趣的高中生/非数学专业大学生/数学爱好者提供较为专业性的数学科普。通过使用Mathlib，以及将传统教科书中的题目转译成Lean形式，来提供多个数学领域的习题，供玩家游玩。 目前考虑的是完成开...

等我打完凸篇再写。 此为占坑博客。