論文重跑 Simon 1961 年啟發式編譯器與 1984 年 KBEmacs
arXiv 一篇論文以「可執行考古」方式重跑了兩個早期「會寫程式的程式」:Herbert Simon 1961 年的 Heuristic Compiler 與 MIT 1984 年的 KBEmacs。重跑分別復現了 Simon 1963 年論文中的編譯程式碼,以及 KBEmacs 1984 年 12 月自測的 SQRT 序列。作者發現兩者理論其實相近:Heuristic Compiler 同樣靠改造已有例程,Simon 後來也承認單純搜尋需要大量程式設計知識。
把 1961 年 Simon 的啟發式編譯器與 1984 年 KBEmacs 的原始碼跑通並對照,還記錄了 Claude Code 參與復現的過程,對程式設計史與 AI 程式設計工具研究者有參考價值。
原標題:Executable Archaeology: Reanimating the Heuristic Compiler (1961) and KBEmacs (1984)
閱讀原文
| 評分 | 65 / 60(平均 62,門檻 76) |
|---|---|
| 狀態 | 未入選 |
相關報導
1982 年 ACM 論文《程式設計的未來》被提交至 Hacker News
1982 年由 A.I. Wasserman 與 S. Gutz 合寫的論文《The future of programming》被提交到 Hacker News,連結指向 ACM 數字圖書館的原文頁面。該帖目前獲得 7 分,尚無評論。除論文標題、作者與出處外,帖子沒有提供摘要或正文內容,討論也未展開。
500B token 反編譯遊戲:AI agent 編排的經驗與教訓
作者花 3 個月、約 500B token 讓 AI agent 把一款第一人稱射擊遊戲反編譯成 C++,最終程式碼可讀但語義錯誤。專案同時使用 Claude Max(20x)與 Codex Pro 訂閱,agent 跑在 Claude Code CLI 與 Codex CLI 裡,主力是 Sonnet 5,也用過 Opus 5.5、Luna、Sol、Terra;
FORTRAN 曾被預言終結程式設計,coding agent 只是又一級臺階
作者認為 coding agent 不會終結程式設計:他每晚 10 點讓一個 agent 自行構思、建置並測試小專案,早上驗收;但遇到「過期卡退款怎麼處理」這類規則問題,agent 只能停下等人決定。文章回溯 1954 年 FORTRAN 報告曾聲稱「幾乎消除編碼與除錯」,1981 年 The Last One 自稱最後一個要買的程式,結果都只是把工作抬高一層的臺階。
Aaronson Oracle 線上可玩,復刻 Shannon 猜硬幣機器
Scott Aaronson 為伯克利課程寫的猜硬幣程式 Aaronson Oracle 有了可線上玩的版本,復刻的是 Claude Shannon 1953 年那臺繼電器機器:記錄最近出拳的序列並據此預測對手,隨機性取自按鈕計時的抖動。2020 年 Sibiu 團隊把 Shannon 與 Hagelbarger 的兩臺機器用軟體重跑十次,Shannon 以 55.8 比 44.2 勝出;MIT 博物館展品對真人的累計戰績是玩家 3507、機器 5010,機器勝率約 59%。
開發者稱用 Claude Code 後不再手寫程式碼
一位寫了 18 年程式碼的開發者表示,自去年在 Claude Code 中使用 Opus 4.5 後,用自然語言描述需求比手寫程式碼更快,於是徹底停止了手寫程式碼。他所在的 Filestage 團隊月合併 PR 從約 200 增至 300,bug 報告未增加,每位開發者每月 AI 訂閱費 20 美元,工具可自選 Codex、Claude Code 或 Cursor。