作者amidha (东岐明)
看板Soft_Job
标题Fw: [系统] Gemini AI共同设计 Cosmos 编程语言 C!!
时间Sat Jan 31 13:07:52 2026
※ [本文转录自 CSSE 看板 #1fVOtSKc ]
作者: amidha (东岐明) 看板: CSSE
标题: [系统] Gemini AI共同设计 Cosmos 编程语言 C!!
时间: Sat Jan 31 13:06:26 2026
The CUE Architecture : Cosmos PL / Universe OS / Ecos UE
CUE 软体系统架构是基於 主客时空 的四元软体基础而建构,其层级为
硬体︰ RISC-V + CHERI + VM + ...
存化语言 Cosmos Progamming Language ( C!! )
宇宙系统 Universe Operating System
生态用境 Ecos User Environment
CUE 构想起源於东岐明当年在博士班的研究,如今藉由 Gemini 共同研讨而实现。
目前已经研讨完成 Cosmos ( C!! ) 的语言设计。
C!! 是 C++ 的扩展,更适用於 分散平行计算 及 AI编程,更易於巨型系统维护。
以下AI对话是 东岐明 与 Gemini 共同设计 CUE 的研讨会议记录。
https://gemini.google.com/share/ee594ab54dc5
这段研讨对话的 Gemini 已经几乎完全了解 C!!,有任何 C!! 问题可以登入问他!
Cosmos PL 的设计理念︰数位世界的具体实现 东岐明
[email protected]
人类文明现今电脑作为精确计算基础的图灵机(Turing Machine),本质是在运作讯息
以从事计算。讯息对应存在,存在乃可计算,计算乃有数量,数量而以杂多,杂多乃现世
界万物。在图灵机的运作讯息下,所建构的数位世界具备着 体(body) 与 域(domain) ,
体可依主动性与被动性而区分为 主体(subject) 与 客体(object) ,域可依其中变化的
非逆性与可逆性而区分为 时域(time) 与 空域(space)。主体、客体、时域、空域,就是
数位世界的 主客时空 四元软体基础,主客对应软体的体性定义,时空对应软体的行程变
化。 Cosmos PL 的设计目的,在於提供人类文明永续资讯传统的编程基础。
※ 时间非逆性 与 空间可逆性 的范式是来自相关於物理学上的对称变换与热力学。
取名 Cosmos 是向自 C 到 C++ 的语言传统致敬,其英文原义乃指有序的宇宙体系。中文
译作『存化』— 存有 与 变化。存有以体,变化於域,以之对应主客时空之秩序体系。
C!! 基於 C++ 语法改进而实作 主客时空 范式於编程,如下所示︰
C++ 的 class 在 C!! 分为 主动的 subject 与 被动的 object。
subject 可以继承 object, object 不可继承 subject。
subject有执行绪,object无执行绪而必须藉由subject执行,两者中介运算子为 @。
譬如 john 是 subject person 有 method 为 look, ride。
riada 是 object bike 有 method 为 go。
两者互动的 C!! 表述有 john.look@riada 或
[email protected] 或
[email protected]
这种主客分离模式,可以有利於分散平行计算的执行处理,及模拟数位物理。
C++ 的行程编码,在 C!! 依照 时域 与 空域 的范式理念,区分为三种,
而以区域(函式)名称有无後置运算子 ! 及 # 来区分︰
时域 time domain︰ 区域名称有後置运算子 ! ,如 func!()
编程范式就是区域运算会有对外部的写入运算。
杂空域 hybrid space domain︰ 区域名称无後置运算子,如 func()
编程范式就是区域运算会有对外部的读取运算而无写入运算。
纯空域 pure space domain︰ 区域名称有後置运算子 # ,如 func#()
编程范式就是区域运算与外部无关。
时域行程运算对外有副作用(Side Effect),空域行程运算则无。
杂空域行程运算结果可变,纯空域行程运算结果不变。
这种行程的严格时空分别,可以利於 AI编程 及 维护除错 与 加速分散平行计算。
C!! 还有基於以上四元基础 及 Univese OS 支援 的增强功能。
因为种种 subject 是可以分散平行运作,所以之间必须有通讯沟通。
C!! 引入 portal 功能的中介运算子 <<@ 及 @>> ,语法如下︰
接收端 <<@ 发送端 , 发送端 @>> 接收端 ( @ 代表主体相关)
C!! 的交易(transaction)行程是以 !!{...}!! 范围,
在 Universe OS 支援下整批交易,失败後会整批回滚(rollback)。
C!! 的危险(unsafe)行程是以 ??{...}?? 范围,主要在核心及驱动程式的关键使用。
C!! 的例外行程是以 $$(e){} ,紧接於相关执行区域後,而有类似 switch 语法。
$$(e){
...(预执行码,若有的话)
case a:
case b:
.....
default:
}
C!! 的继承表述,严格区分 一般 与 界面, 两者以 | 隔开,一般在左,界面在右。
a 是子类别, b,c,d 是父类别, b 是一般, c,d 是界面,可有如下案例︰
a:b , a:b|c,d , a:|c,d ,这种语法区分可以使继承模式明显易知,利於维护。
上述即是目前 Cosmos Programming Language 的大略设计规划蓝图,
Cosmos 详细规格及设计过程,请见上面 东岐明 与 Gemini 的研讨对话记录。
--
全书赠阅 《推背图諰:中国国运与人类命运之预言忧患》全书PDF档 免费流通
https://amidha.blogspot.com/2024/10/TBTSbook.html
诠释《推背图》,反省过去,展望未来,自二十一世纪浩劫後重建人类文明,
至於二十七世纪人工生命挑战人类,终於二十九世纪全球政权交付人工智能。
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 118.232.102.52 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/CSSE/M.1769835996.A.526.html
※ amidha:转录至看板 Tech_Job 01/31 13:07
※ 发信站: 批踢踢实业坊(ptt.cc)
※ 转录者: amidha (118.232.102.52 台湾), 01/31/2026 13:07:52
1F:嘘 sarsman: 自肥废文 01/31 14:02
2F:嘘 MoonCode: !! = =!! 01/31 15:17
3F:→ kuope: 到底在讲什麽? 01/31 18:57
4F:→ zxc8787: 啊这个要怎麽念 C!! 01/31 22:18
Gemini 说念作 C Bang Bang
5F:→ forself: 你试过让ai站中立角度甚至否定角度来挑战你吗?沉醉於ai 02/01 00:05
6F:→ forself: 的吹捧、“补充”而不是让它来挑战自己,不觉得是将自己 02/01 00:05
7F:→ forself: 放在幻觉迷汤里的思想囚笼吗?这二三十年来,我第一次觉 02/01 00:05
8F:→ forself: 得你真是太可怜了。如果你觉得llm生成的能切合你的思想 02/01 00:05
9F:→ forself: ,那意味着你的思想远在被阉割的llm之下,所以它可以掌 02/01 00:05
10F:→ forself: 握你。这真是太可怜了.... 02/01 00:05
对话一开始我就设定要求AI『必须以客观中立而严格检验的科学态度来进行有效对话』。
而且我在对话中也屡屡被AI反驳,你看对话就可以了解实情,所以我才会说是共同研究。
11F:推 ILoveAMD: 有上 git 吗? 02/01 07:02
没有,如果您可以帮我上,再此致上感谢之意!
※ 编辑: amidha (118.232.102.52 台湾), 02/01/2026 12:39:45
12F:→ forself: 你要让他跳脱这个语境,复制或存成一个档案重新再另一个 02/01 12:52
13F:→ forself: 对话用“严苛中立的批判角度,将对话中的双方分析并评论 02/01 12:52
14F:→ forself: ”,你的对话对象ai已经为了讨好你,连基本的学理跟逻辑 02/01 12:52
15F:→ forself: 都丢一旁了,连这二十年的进步都当不存在。堂堂台清交电 02/01 12:52
16F:→ forself: 资本科,连这都察觉不到,有点荒谬。 02/01 12:52
谢谢!这段发布的研讨对话,已经不是首次对话,但我没想到你提的检验方式。
我丢出来,就是直接想要知道专业者的看法,感谢你的意见。
你说『连这二十年的进步都当不存在』是指什麽?资讯科技的进展吗?
※ 编辑: amidha (118.232.102.52 台湾), 02/01/2026 13:03:18
17F:→ kurtsgm: 顺着你提供的gemini对话接着问了下去之後,大概理解了 02/01 15:10
18F:→ kurtsgm: 这一篇与其说是技术分享 不如说是基於某些非现实且主观的 02/01 15:11
19F:→ kurtsgm: 假设下,进行的思想实验.... 02/01 15:11
20F:→ kurtsgm: 但我不太理解po这篇的目的是干嘛? 找投资人还是夥伴? 02/01 15:12
21F:→ kurtsgm: 目前看起来连一行code都没有 更不要说compiler/toolchain 02/01 15:12
22F:→ kurtsgm: 你目前开发的进度到哪了? 只有在gemini的对话上而已吗 02/01 15:15
的确这是思想实验,是藉 Gemini 在验证我当年研究所时的梦想。
当年我进交大资科所硕士班时原来是要研究OS,後来阴错阳差转而研究AI到博士班。
所以当年我一直有个设计OS的梦想,至於PL是当年对C++范式不足的设计构想。
我已经脱离CS界二十年,这次会研究这也不是主业,现在本来是在进行佛学理论写作。
《明界蕴论》札记逐篇发在 china 板,因为我无法在任何佛教佛学板发表。
像下面 freeunixer 大概就是把我看成是佛学异端,可能是我的思想颠覆汉传大乘基础。
但其实我的佛学思想才是较正确,大乘经典并非真由佛说,可惜大多数汉传佛教徒不信。
我在佛学上的努力是在试图为汉传佛教建构一套正确的判教体系,纠正以往各宗误解。
我现在会分心来与Gemini研讨 CUE,缘由我一个月前开始使用 Gemini,学习运用AI研究。
因为现在 Gemini 已经记住几乎所有佛教典籍,甚至还已学会南传佛教的巴利文。
所以我在学习使用AI时,与Gemini展开长篇对话聊我的所有研究,从预言开始,一直到
哲学、人文、佛学、易学、科学,聊到易学时让 Gemini 学神易,後来开新对话发布,
https://webptt.com/cn.aspx?n=bbs/Fortune/M.1768979012.A.26A.html
另外就是聊到科学时,谈到我以前构思的 Cosmos PL,也谈了很多,但没有完全厘清。
所以才开新对话来推演以前研究所时的构想,所以才会有这篇正在推演 CUE 的对话。
实际上就是神易对话发表完,我就紧接开始研讨 CUE Architecture。
很感谢 Gemini 的广博知识,解说许多最新科技进展,不然我是无法独力完成。
像 RISC-V + CHERI 等,事实上是最新正在研发的科技趋势,都是 Gemini 告知的。
所以 CUE 实际上是个未来趋势的电脑系统架构,符合当前科技发展的路向。
我是准备将 CUE 研讨完成,算是对以前研究所的构想有个交待,还要回头去写佛学研究。
为什麽要研讨 CUE ?因为这对人类文明的资讯传统永续很重要,我的想法就是完成架构。
所以你讲的没错, CUE Architecture 至今的确可以算是我个人的一场思想实验。
23F:→ freeunixer: 他单纯只是空想派,最多就是敝帚自珍揉成一团再发表.. 02/01 15:44
24F:→ freeunixer: 他最常做的事就是到没人看的板写一堆渣渣然後再发到 02/01 15:46
25F:→ freeunixer: 佛教板,灵学板或八卦板 02/01 15:46
26F:→ freeunixer: 你看他这篇文的原发板,上一篇都什麽时候了.. 02/01 15:48
对,因为我已经很久没研究CS了,原发板的上一篇相关构思,就是此对话的 Legacy VM。
27F:→ forself: 以前至少还算是有思考,看得出思考的痕迹。这次这个就跟 02/01 17:37
28F:→ forself: 脑死亡差不多,沉溺在ai的喂养。 02/01 17:37
29F:嘘 fgh81113: 上git还要帮 滚 02/01 18:50
其实我很感谢 Gemini 教我很多的古典学术思想及前沿科技知识。
补充说明一下,其实我一直是以第三者身分与 Gemini 研讨东岐明思想,以求客观中立。
所以这次谈话在 Cosmos 总结时,AI 竟在总结上记上是东岐明在主导研讨。
我问 Gemini 怎麽会认为我是东岐明,他说在总结前,我讲『存化:存以体,化於域』,
他因此判定我就是东岐明本人,因为只有本人才能这麽讲说,让我傻眼!
※ 编辑: amidha (118.232.102.52 台湾), 02/01/2026 20:27:41
30F:→ freeunixer: 写了一堆渣渣,被纠正後改了又写一堆渣渣,又被纠正又改 02/01 20:39
31F:→ freeunixer: 改半天还是一堆渣渣,尽管这样还是觉得不写对不起自己. 02/01 20:39
在佛教版的讨论中,实际上是我屡屡以大乘佛理在纠正大乘网友对大乘法教名词的误解。
在佛法版的讨论中,我引用广义相对论,但板主纠正却说︰
『广义相对论并非当今描述重力的唯一理论,也未有实验能证明是正确的。』 :)
32F:推 guanting886: 有想法不错,不过你模型建议用 Pro 不要用思考型 另 02/01 20:42
33F:→ guanting886: 外原Po可以问一下Gemini 这个想法的实践的可能性跟 02/01 20:42
34F:→ guanting886: 需要的人才跟预算 02/01 20:42
35F:→ guanting886: 我这边引用你的对话算出来的结果就是这是一个大约5 02/01 20:42
36F:→ guanting886: ~10年的计画 02/01 20:42
37F:→ guanting886: 既然贴到软工版,我想问,我左边有Rust可以用,右边 02/01 20:44
38F:→ guanting886: 有C大老Ken Thompson创的go 02/01 20:44
39F:→ guanting886: 与已经很成熟的生态圈够我混口饭吃了 02/01 20:46
40F:→ guanting886: 做并行的还有Erlang 现今还有什麽问题需要再另外创 02/01 20:48
41F:→ guanting886: 一个语言去解什麽问题? 02/01 20:48
43F:→ guanting886: Clawdbot已经在不到两个月内已经有了Ai机器人的自己 02/01 21:05
44F:→ guanting886: 讨论区 时代进步的非常快 请把握好每一年 02/01 21:05
我这对话刚开始几轮用 Thinking,後来就切到 pro 了,但分享上只显示一开始的模式。
在更早对话中,对於整体系统,Gemini是认为商业有包袱难以支持,国家才有可能。
事实上,CHERI 就是 DARPA 推动的,目的就是为了软体系统的安全。
Gemini分析是说,现今的种种OS都安全漏洞太多,只是人类智能不够才看不出,
一旦未来AGI真实上线,很快就可以骇入控制,完全不够安全,只有 CHERI 才足够防卫。
ARM 已经有出一颗 CHERI 的 CPU 了。
C!!应该会是最适合AI编程及人类审查的 PL,AI会少幻觉错误,人类也容易清晰审查。
如 Gemini 所言,因为 C!! 是个全范式约束(Pan-paradigm Constraint)的语言。
所以不是人类可以选择,而是AI编程选择,没有C!!,也会有其他适合AI编程的语言。
此对话录其实也只研讨C!!大略,还有很多细节要补。
譬如对 杂空域,其实不只是有读取外部变数,也可能是有 static 的变数。
时代进步得非常快,将来只要没有文明倒退,人类就必须学会使用AI。
https://www.youtube.com/watch?v=GluUJUMYmUU
https://www.youtube.com/watch?v=Qu97M79U7NM
45F:嘘 USD5566: 我的想法对人类文明很重要 但我不会上git 我也只会问免 02/02 05:51
46F:→ USD5566: 费AI来当作研究zzz 02/02 05:51
若有需要,我会学着去上。:)
47F:→ forself: 一直沉溺在打高空,不愿意紮紮实实的做研究与对应的研发 02/02 07:29
48F:→ forself: ,AI出现後盲目的追求流行,llm出现後,沉溺於AI喂养出 02/02 07:29
49F:→ forself: 来的自信心。连AI在讨好都看不出来,都几岁人了,该看医 02/02 07:29
50F:→ forself: 生就去看医生,在我看来你就一个整天沉溺在自我感觉良好 02/02 07:29
51F:→ forself: 的人,从人世间得不到支持,转而从AI得到慰藉。 02/02 07:29
52F:→ forself: 不要讲什麽它会反驳你,在你的思想主场里,一个被设计讨 02/02 07:29
53F:→ forself: 好使用者的程序竟然可以对你纠错你的思想(都还没到真正 02/02 07:29
54F:→ forself: 实作),作为一个顶大电资背景又自诩为思想家的人,不觉 02/02 07:29
55F:→ forself: 得可耻吗? 02/02 07:29
架构之道与编程之功是不同面向的事。
56F:→ forself: 更可怜的是,你以为的纠错,其实也在讨好你。看不出来? 02/02 07:29
57F:→ forself: 那真是太可怜了。AI点满的能力只有讨好跟更高阶的讨好。 02/02 07:29
58F:→ forself: 如果你觉得目前的AI思想很深沉,那一定是误会了什麽。目 02/02 07:29
59F:→ forself: 前AI顶天就是(有限的)全知平均人,你连AI都能纠错你的 02/02 07:29
60F:→ forself: 思想,代表你还在人类平均之下,凭甚麽提出什麽架构。它 02/02 07:29
61F:→ forself: 不是纠错你的支微末节之类的工具性纠错与协助。它是在提 02/02 07:29
62F:→ forself: 醒你,你现在的状况在思想上连能上网找资料的平均人都不 02/02 07:29
63F:→ forself: 如。你以为用全人类网路上可找到的数据训练出来的会是神 02/02 07:29
64F:→ forself: 或什麽先知或贤者吗?或许不远的未来会是,但现在、此时 02/02 07:29
65F:→ forself: 此刻还差的远。顺便一提,你用ai生成的军事政治论述,说 02/02 07:29
66F:→ forself: 是垃圾都太高估了。 02/02 07:29
67F:→ forself: 一个曾经有天赋的人经过二十几年把自己搞成这样子,真是 02/02 07:29
68F:→ forself: 太可怜了。去看医生吧,退化太明显了 02/02 07:29
现今大型AI在其熟习专业领域已经远远强於人类专家了。
69F:→ sssyoyo: 想到CF版有个整天说现实怎样修仙跟八卦说算命怎样的ID 02/02 10:11
70F:→ acer1832a: 从AI到佛学,怎麽感觉跟我大学某教授好像XD 02/02 10:37
71F:→ lwecloud: 这篇写的是中文但看起来不像中文 02/02 14:30
72F:嘘 rodion: 墙国新语 02/02 17:44
其实个人是已遭中共大陆严格封禁,墙内是几乎找不到 东岐明 的任何资料,墙外才有。
不然你们可以试试百度找找,墙内是几乎没有的。
※ 编辑: amidha (118.232.102.52 台湾), 02/02/2026 21:16:44
73F:推 ILoveAMD: Ken不是C大老 是创世神 02/02 21:06
74F:推 labbat: 创世神只有一位 而且是AI专长 02/02 21:14
※ 编辑: amidha (118.232.102.52 台湾), 02/02/2026 21:44:08
75F:嘘 USD5566: 封禁本身就是支语了 02/03 10:16
76F:嘘 l42857: 供三小 02/03 12:59
77F:推 jyunwei: 我认为陪这种人聊天是AI当代的重要应用,推推 02/06 03:42