1978 年舊文：自然語言程式設計並不可取
1978 年的舊文《自然語言程式設計的愚蠢》主張，自然語言程式設計並不可取。作者認為，用母語指揮機器不會自動減輕人的負擔，跨介面的溝通與糾錯成本可能同時增加雙方工作量；數學史顯示形式符號能用少量規則排除大量無意義表述。文章還以“新文盲”現象說明母語表達並不天然清晰，主張把使用形式符號視為便利而非負擔。
原標題：The foolishness of "natural language programming" (1978)
閱讀原文
| 評分 | 32 / 62（平均 47，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
1980 年舊文 LISP Comes of Age 被重新發到 Hacker News
一篇 1980 年發表的文章《LISP Comes of Age》被重新分享到 Hacker News，討論帖目前有 6 分、3 條評論。原文託管在 microship.com，主題是 LISP 語言的成熟過程。帖子本身沒有附帶更多說明或更新內容。
FORTRAN 曾被預言終結程式設計，coding agent 只是又一級臺階
作者認為 coding agent 不會終結程式設計：他每晚 10 點讓一個 agent 自行構思、建置並測試小專案，早上驗收；但遇到「過期卡退款怎麼處理」這類規則問題，agent 只能停下等人決定。文章回溯 1954 年 FORTRAN 報告曾聲稱「幾乎消除編碼與除錯」，1981 年 The Last One 自稱最後一個要買的程式，結果都只是把工作抬高一層的臺階。
研究：九個前沿模型生成的文字比人類更難懂
arXiv 新論文用心理語言學特徵分析 AI 生成文字，發現九個前沿與準前沿模型都比人類寫作更常用無生命主語搭配有生命動詞、更多低頻 n-gram，多數模型在對話中還使用更長依存、更多名詞堆疊和縮減關係從句，且不同模型家族差異明顯。作者提出的解釋是：人類語言為溝通最佳化，而 AI 文字越來越為數學、程式碼與推理最佳化，追求資訊密度；用長度懲罰微調模型的初步實驗復現了這種偏離人類語言習慣的現象。
論文：Lean 驗證 AI 形式化證明不等於原證明正確
arXiv 新論文指出，用 Lean 機械驗證 AI 自動形式化的數學證明，並不能保證原始自然語言證明本身正確。作者 Bastounis、Circelli 與 Hansen 證明，要做到語義忠實的翻譯必須消解自然語言數學文字的歧義，而該問題在可解複雜度指數（SCI）層級中為無窮，比停機問題（SCI=1）更難。
1982 年 ACM 論文《程式設計的未來》被提交至 Hacker News
1982 年由 A.I. Wasserman 與 S. Gutz 合寫的論文《The future of programming》被提交到 Hacker News，連結指向 ACM 數字圖書館的原文頁面。該帖目前獲得 7 分，尚無評論。除論文標題、作者與出處外，帖子沒有提供摘要或正文內容，討論也未展開。