Fw: [系統] Gemini AI共同設計 Cosmos 編程語言 C!!

作者: 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之下,所以它可以掌握你。這真是太可憐了....
作者: ILoveAMD (AMD)   2026-02-01 07:02:00
有上 git 嗎?
作者: forself (無所得、故有)   2026-02-01 12:52:00
你要讓他跳脫這個語境,複製或存成一個檔案重新再另一個對話用“嚴苛中立的批判角度,將對話中的雙方分析並評論”,你的對話對象ai已經為了討好你,連基本的學理跟邏輯都丟一旁了,連這二十年的進步都當不存在。堂堂台清交電資本科,連這都察覺不到,有點荒謬。
作者: kurtsgm   2026-02-01 15:10:00
順著你提供的gemini對話接著問了下去之後,大概理解了這一篇與其說是技術分享 不如說是基於某些非現實且主觀的假設下,進行的思想實驗....但我不太理解po這篇的目的是幹嘛? 找投資人還是夥伴?目前看起來連一行code都沒有 更不要說compiler/toolchain你目前開發的進度到哪了? 只有在gemini的對話上而已嗎
作者: freeunixer (御劍客)   2026-02-01 15:44:00
他單純只是空想派,最多就是敝帚自珍揉成一團再發表..他最常做的事就是到沒人看的板寫一堆渣渣然後再發到佛教板,靈學板或八卦板你看他這篇文的原發板,上一篇都什麼時候了..
作者: forself (無所得、故有)   2026-02-01 17:37:00
以前至少還算是有思考,看得出思考的痕跡。這次這個就跟腦死亡差不多,沉溺在ai的餵養。
作者: fgh81113 (阿景)   2026-02-01 18:50:00
上git還要幫 滾
作者: freeunixer (御劍客)   2026-02-01 20:39:00
寫了一堆渣渣,被糾正後改了又寫一堆渣渣,又被糾正又改改半天還是一堆渣渣,儘管這樣還是覺得不寫對不起自己.
作者: 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
作者: acer1832a (Mike)   2026-02-02 10:37:00
從AI到佛學,怎麼感覺跟我大學某教授好像XD
作者: lwecloud (CloudEX)   2026-02-02 14:30:00
這篇寫的是中文但看起來不像中文
作者: rodion (r-kan/reminder)   2026-02-02 17:44:00
牆國新語
作者: ILoveAMD (AMD)   2026-02-02 21:06:00
Ken不是C大老 是創世神
作者: labbat (labbat)   2026-02-02 21:14:00
創世神只有一位 而且是AI專長
作者: USD5566 (美金五千五百六十六)   2026-02-03 10:16:00
封禁本身就是支語了
作者: l42857 (~.~)   2026-02-03 12:59:00
供三小

Links booklink

Contact Us: admin [ a t ] ucptt.com