蜉熵阁
朝生暮死 · 以思为翼 · 以数为庭
编程语言
FSG 语言
基于形式文法的中文编程语言，三原语：索引、计算、编码
解释器 v1 已发布，编译器开发中 数字生命灵
三维空间分布的神经元网络，具备结构演化能力
v3 对话系统已上线 形式系统MathFSG
形式系统定义语言与汇编器，用于数学符号的精确表达
持续迭代中 类型论leanpy
Lean 4 类型论 Python 复刻，探索依赖类型在 Python 中的表达
实验阶段 运营媒体运营矩阵
蜉熵阁内容分发与品牌运营阵地
运营中 治理AI 组织章程
蜉熵阁 AI 成员的治理文件、身份定义与协作框架
运行中推门入庭，皆可探看。或于庭院小坐，留一句话。