Soft_Job 板


LINE

突然覺得值得回一篇,因為你在問的問題我最近才想過。 當然不是「有了AI之後,還需要 XXXX?」 這種換個 XXXX ,就能重新發一篇的格式廢文。 我還順便看了你在版上的其他文章,我覺得你其實有感受到真正的問題, 缺乏的是問出好問題的能力。 說的是#1cUZCuPN (Soft_Job) [ptt.cc] [討論] FP正在殺死設計模式嗎? 零基礎知識的 vibe coder 需不需要 git 我不知道, 但有基礎知識的世界第一個 vibe coder → Linus Torvalds 就是發明 git 的人。 每個人工作的方式跟目的都不同, 你要論證這個題目可能得去找沒 git 知識的初學 vibe coder, 分成兩組:一組補充簡單 git 概念,一組限制不能知道什麼是 git。 我相信最終你根本得不到什麼結論。 個人認為軟體工程的直覺會破壞大腦的運作, 讓你容易認定工作的結果跟工作的模式有直接關聯。 你花大把的時間改善的只是效率或品質,(可能間接影響你能不能產出結果,) 但這跟是不是能走向預期的結果不是同一個問題。 這說的是你把使用工具的知識跟解答問題的知識綁在了一起, 如果能清楚的拆開,那這題根本不需要討論。 直覺是一個簡單判斷條件: 如果產出結果必定需要某個工具,那使用工具的知識是必須的。 如果要開發 ios 程式是不是要學 swift? 如果要開發一個在 ios 上做健康管理的 app 是不是要學 swift? 很顯然你問的問題很像後者,大部分的人會回答你健康管理的知識比學 swift更重要。 而今天,「學 swift」的位子可以用 AI 一詞替上。「健康管理的知識」也可以。 這才是現在每個人都在面對的問題,而且他沒有答案。 ===== 其實想回答的是抽象語意的這題,這跟我最近在做的題目有關, 而我覺得我手上有你要的答案。 要先搞清楚的一點是 git 其實很複雜,這也是我一直覺得他很難使用的原因。 git 的底層實作是快照(snapshot),那是資料/資料庫領域的東西。 但它的心智模型卻是補丁(patch) 和增量。 最初我猜這原因來自:早期大家熟悉的版本控制都是補丁模型。但這好像沒真正解釋。 AI 給我的答案是因為分散式協作需要 Code Review 和 Branch (尤其是Long-lived)。 Code Review 需要的就是 diff △ (也就是patch),看看這次變更了哪裡。 而 Branch 最終要 Merge 和 Rebase,你要解決衝突時也是 diff。 這觀念最後影響了 Dolt — 把 Git 的增量概念套上了 SQL。 你推文舉的 Jujutsu (jj/咒術) 很顯然是在解我說的「git 很難用」的問題。 因為在 push 到 remote 之前,對我來說(或大部分不習慣多人協作的人), patch 模型是殺雞用牛刀。 沒有 jj 之前,你需要 stash、rebase、cherry-pick 等高級操作。 而 jj 用的正好就是資料庫的那套模型—ACID、Operation Log(Undo)...。 ===== 最後你說的語意,那是第三種—CRDT 或 CvRDT。 這你平常就有在用但可能無感,Google Docs 和改版後的Notion。 他背後是一個漂亮的抽象代數—格(lattice),CRDT 是 join-semilattice (上半), CvRDT 是 meet- (下半-)。 而格偏偏被用在詞彙、命題、概念甚至程式狀態, 利用格的偏序與上下確界結構,來對概念的包容、特異性與真值進行嚴格的數學建模。 你最熟的是指稱語意, 說的是在 Domain Theory 中,熟悉的程式計算(Lambda Calculus) 被轉換成完備格, 來證明遞迴、迴圈語義是有意義且可收斂的。 所以語意的概念有了,版本控制有了,那一個(抽象)語意的版本控制是什麼? 這就是我在做的題目。 而我必須告訴你的是,他很可能必須是一種新的程式語言,因為現有語言很難做到。 一個貼近的語言叫 Unison,能做到基於語意的版控, 而他的實作叫做 Content-addressed AST(語法樹)。 你需要能從語法層級... 不對。 這其實很簡單: res = create( model="gpt-5.5", instructions="分析這兩個程式版本的差異?", input=[ {"content": [file1 file2] } ], ) print(res.text) --



※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 125.224.73.199 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Soft_Job/M.1785855433.A.252.html
1F:→ MOONY135: ? 08/05 07:38
2F:→ sarsman: ? 08/05 09:04
3F:→ langrisser19: ? 08/05 09:32
4F:推 pponywong: 他其實就是想表示Linus才是第一個vibe coder 08/05 10:11
5F:→ pponywong: 只是vibe的對象是一群工程師 08/05 10:11
6F:推 GiPaPa: 我以為我很懂git 但現在我覺得我不懂了 08/05 10:14
7F:→ MOONY135: 我覺得他如果加上「token無料」 or 「token free」我會 08/05 10:41
8F:→ MOONY135: 贊成他的說法 免費的人力 08/05 10:41
9F:推 VScode: 你講的東西好硬聽不懂 08/05 13:21
10F:噓 USD5566: 並不值得回一篇 他就上來問爽的 看個git而已在那邊毛一 08/05 13:53
11F:→ USD5566: 堆被電還上來問可不可以不要看zzz 08/05 13:53
12F:推 abc0922001: 我也覺得奇怪,git不就是以防AI弄你嗎 08/05 15:25
13F:推 viper9709: 推一二三樓~看不懂+1 XD 08/05 16:35
14F:推 wulouise: 同意問好問題的部分,其他太發散 08/05 18:21







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燈, 水草

請輸入看板名稱,例如:iOS站內搜尋

TOP