AISpot

論文重跑 Simon 1961 年啟發式編譯器與 1984 年 KBEmacs

Hacker News front page觀點研究

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)
狀態未入選

相關報導

Hacker News front pageAI 評分25

1982 年 ACM 論文《程式設計的未來》被提交至 Hacker News

1982 年由 A.I. Wasserman 與 S. Gutz 合寫的論文《The future of programming》被提交到 Hacker News,連結指向 ACM 數字圖書館的原文頁面。該帖目前獲得 7 分,尚無評論。除論文標題、作者與出處外,帖子沒有提供摘要或正文內容,討論也未展開。

Hacker News front page● 精選AI 評分80

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;

Hacker News front pageAI 評分45

FORTRAN 曾被預言終結程式設計,coding agent 只是又一級臺階

作者認為 coding agent 不會終結程式設計:他每晚 10 點讓一個 agent 自行構思、建置並測試小專案,早上驗收;但遇到「過期卡退款怎麼處理」這類規則問題,agent 只能停下等人決定。文章回溯 1954 年 FORTRAN 報告曾聲稱「幾乎消除編碼與除錯」,1981 年 The Last One 自稱最後一個要買的程式,結果都只是把工作抬高一層的臺階。

Hacker News front pageAI 評分41

Aaronson Oracle 線上可玩,復刻 Shannon 猜硬幣機器

Scott Aaronson 為伯克利課程寫的猜硬幣程式 Aaronson Oracle 有了可線上玩的版本,復刻的是 Claude Shannon 1953 年那臺繼電器機器:記錄最近出拳的序列並據此預測對手,隨機性取自按鈕計時的抖動。2020 年 Sibiu 團隊把 Shannon 與 Hagelbarger 的兩臺機器用軟體重跑十次,Shannon 以 55.8 比 44.2 勝出;MIT 博物館展品對真人的累計戰績是玩家 3507、機器 5010,機器勝率約 59%。

Hacker News front pageAI 評分40

開發者稱用 Claude Code 後不再手寫程式碼

一位寫了 18 年程式碼的開發者表示,自去年在 Claude Code 中使用 Opus 4.5 後,用自然語言描述需求比手寫程式碼更快,於是徹底停止了手寫程式碼。他所在的 Filestage 團隊月合併 PR 從約 200 增至 300,bug 報告未增加,每位開發者每月 AI 訂閱費 20 美元,工具可自選 Codex、Claude Code 或 Cursor。