楼主:
amidha (东岐明)
2026-01-31 13:07:52※ [本文转录自 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 的设计理念︰数位世界的具体实现 东岐明
amidha.orienta@gmail.com
人类文明现今电脑作为精确计算基础的图灵机(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 或 john.ride@riada.go 或 john@riada.go
这种主客分离模式,可以有利于分散平行计算的执行处理,及模拟数位物理。
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 的研讨对话记录。
作者:
sarsman (DeNT15T♠)
2026-01-31 14:02:00自肥废文
作者:
MoonCode (MoonCode)
2026-01-31 15:17:00!! = =!!
作者:
kuope (伯伯)
2026-01-31 18:57:00到底在讲什么?
作者:
zxc8787 (摸斗哈压库)
2026-01-31 22:18:00啊这个要怎么唸 C!!
作者:
forself (无所得、故有)
2026-02-01 00:05:00你试过让ai站中立角度甚至否定角度来挑战你吗?沉醉于ai的吹捧、“补充”而不是让它来挑战自己,不觉得是将自己放在幻觉迷汤里的思想囚笼吗?这二三十年来,我第一次觉得你真是太可怜了。如果你觉得llm生成的能切合你的思想,那意味着你的思想远在被阉割的llm之下,所以它可以掌握你。这真是太可怜了....
作者:
forself (无所得、故有)
2026-02-01 12:52:00你要让他跳脱这个语境,复制或存成一个档案重新再另一个对话用“严苛中立的批判角度,将对话中的双方分析并评论”,你的对话对象ai已经为了讨好你,连基本的学理跟逻辑都丢一旁了,连这二十年的进步都当不存在。堂堂台清交电资本科,连这都察觉不到,有点荒谬。
顺着你提供的gemini对话接着问了下去之后,大概理解了这一篇与其说是技术分享 不如说是基于某些非现实且主观的假设下,进行的思想实验....但我不太理解po这篇的目的是干嘛? 找投资人还是伙伴?目前看起来连一行code都没有 更不要说compiler/toolchain你目前开发的进度到哪了? 只有在gemini的对话上而已吗
他单纯只是空想派,最多就是敝帚自珍揉成一团再发表..他最常做的事就是到没人看的板写一堆渣渣然后再发到佛教板,灵学板或八卦板你看他这篇文的原发板,上一篇都什么时候了..
作者:
forself (无所得、故有)
2026-02-01 17:37:00以前至少还算是有思考,看得出思考的痕迹。这次这个就跟脑死亡差不多,沉溺在ai的喂养。
写了一堆渣渣,被纠正后改了又写一堆渣渣,又被纠正又改改半天还是一堆渣渣,尽管这样还是觉得不写对不起自己.
作者: guanting886 (Guanting) 2026-02-01 20:42:00
有想法不错,不过你模型建议用 Pro 不要用思考型 另外原Po可以问一下Gemini 这个想法的实践的可能性跟需要的人才跟预算我这边引用你的对话算出来的结果就是这是一个大约5~10年的计画既然贴到软工版,我想问,我左边有Rust可以用,右边有C大老Ken Thompson创的go与已经很成熟的生态圈够我混口饭吃了做并行的还有Erlang 现今还有什么问题需要再另外创一个语言去解什么问题?
作者:
USD5566 (美金五千五百六十六)
2026-02-02 05:51:00我的想法对人类文明很重要 但我不会上git 我也只会问免费AI来当作研究zzz
作者:
forself (无所得、故有)
2026-02-02 07:29:00一直沉溺在打高空,不愿意扎扎实实的做研究与对应的研发,AI出现后盲目的追求流行,llm出现后,沉溺于AI喂养出来的自信心。连AI在讨好都看不出来,都几岁人了,该看医生就去看医生,在我看来你就一个整天沉溺在自我感觉良好的人,从人世间得不到支持,转而从AI得到慰藉。不要讲什么它会反驳你,在你的思想主场里,一个被设计讨好使用者的程序竟然可以对你纠错你的思想(都还没到真正实作),作为一个顶大电资背景又自诩为思想家的人,不觉得可耻吗?更可怜的是,你以为的纠错,其实也在讨好你。看不出来?那真是太可怜了。AI点满的能力只有讨好跟更高阶的讨好。如果你觉得目前的AI思想很深沉,那一定是误会了什么。目前AI顶天就是(有限的)全知平均人,你连AI都能纠错你的思想,代表你还在人类平均之下,凭什么提出什么架构。它不是纠错你的支微末节之类的工具性纠错与协助。它是在提醒你,你现在的状况在思想上连能上网找资料的平均人都不如。你以为用全人类网络上可找到的数据训练出来的会是神或什么先知或贤者吗?或许不远的未来会是,但现在、此时此刻还差的远。顺便一提,你用ai生成的军事政治论述,说是垃圾都太高估了。一个曾经有天赋的人经过二十几年把自己搞成这样子,真是太可怜了。去看医生吧,退化太明显了
作者:
sssyoyo (柚子)
2026-02-02 10:11:00想到CF版有个整天说现实怎样修仙跟八卦说算命怎样的ID
作者:
lwecloud (CloudEX)
2026-02-02 14:30:00这篇写的是中文但看起来不像中文
作者:
rodion (r-kan/reminder)
2026-02-02 17:44:00墙国新语
作者:
labbat (labbat)
2026-02-02 21:14:00创世神只有一位 而且是AI专长
作者:
USD5566 (美金五千五百六十六)
2026-02-03 10:16:00封禁本身就是支语了
作者:
l42857 (~.~)
2026-02-03 12:59:00供三小