Soft_Job 板


LINE

※ [本文转录自 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
42F:→ guanting886: http://i.imgur.com/twQTHbT.jpg 02/01 21:04
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







like.gif 您可能会有兴趣的文章
icon.png[问题/行为] 猫晚上进房间会不会有憋尿问题
icon.pngRe: [闲聊] 选了错误的女孩成为魔法少女 XDDDDDDDDDD
icon.png[正妹] 瑞典 一张
icon.png[心得] EMS高领长版毛衣.墨小楼MC1002
icon.png[分享] 丹龙隔热纸GE55+33+22
icon.png[问题] 清洗洗衣机
icon.png[寻物] 窗台下的空间
icon.png[闲聊] 双极の女神1 木魔爵
icon.png[售车] 新竹 1997 march 1297cc 白色 四门
icon.png[讨论] 能从照片感受到摄影者心情吗
icon.png[狂贺] 贺贺贺贺 贺!岛村卯月!总选举NO.1
icon.png[难过] 羡慕白皮肤的女生
icon.png阅读文章
icon.png[黑特]
icon.png[问题] SBK S1安装於安全帽位置
icon.png[分享] 旧woo100绝版开箱!!
icon.pngRe: [无言] 关於小包卫生纸
icon.png[开箱] E5-2683V3 RX480Strix 快睿C1 简单测试
icon.png[心得] 苍の海贼龙 地狱 执行者16PT
icon.png[售车] 1999年Virage iO 1.8EXi
icon.png[心得] 挑战33 LV10 狮子座pt solo
icon.png[闲聊] 手把手教你不被桶之新手主购教学
icon.png[分享] Civic Type R 量产版官方照无预警流出
icon.png[售车] Golf 4 2.0 银色 自排
icon.png[出售] Graco提篮汽座(有底座)2000元诚可议
icon.png[问题] 请问补牙材质掉了还能再补吗?(台中半年内
icon.png[问题] 44th 单曲 生写竟然都给重复的啊啊!
icon.png[心得] 华南红卡/icash 核卡
icon.png[问题] 拔牙矫正这样正常吗
icon.png[赠送] 老莫高业 初业 102年版
icon.png[情报] 三大行动支付 本季掀战火
icon.png[宝宝] 博客来Amos水蜡笔5/1特价五折
icon.pngRe: [心得] 新鲜人一些面试分享
icon.png[心得] 苍の海贼龙 地狱 麒麟25PT
icon.pngRe: [闲聊] (君の名は。雷慎入) 君名二创漫画翻译
icon.pngRe: [闲聊] OGN中场影片:失踪人口局 (英文字幕)
icon.png[问题] 台湾大哥大4G讯号差
icon.png[出售] [全国]全新千寻侘草LED灯, 水草

请输入看板名称,例如:Soft_Job站内搜寻

TOP