Space Cadet Pinball 與軟體託管：原始碼如何從 Windows XP 重生於 Linux
Stephen Brennan's Blog · 2026-05-09
2026 年 5 月，一篇關於 Space Cadet Pinball 在 Linux 運行的文章在 HN 獲得 300 分，引發社群對軟體保存、著作權與原始碼託管制度的廣泛討論。
Space Cadet Pinball 從哪裡來
Space Cadet Pinball 原本是 Windows XP 附帶的小遊戲，微軟在 Windows Vista 起移除。遊戲本身由 Maxis（後被 EA 收購）開發的 Full Tilt Pinball 衍生，但原始碼從未公開。
工程師 k4zmu2a 使用反編譯器與逆向工程工具，從 Windows 執行檔重建了可編譯的 C++ 原始碼，並發布到 GitHub。這個重建版本（SpaceCadetPinball）現在可在 Linux、macOS、Windows、Android 與 Nintendo Switch 上運行。Linux 安裝方式：
flatpak install flathub com.github.k4zmu2a.spacecadetpinball若有 Full Tilt Pinball 的原始資料檔（可從 archive.org 取得），放置到應用程式資料目錄後可解鎖 1024×768 解析度與更多關卡。
軟體託管制度的討論
文章的核心論點是倡導原始碼託管（source code escrow）的法律制度：廠商在軟體仍在銷售時保有著作權，但若廠商停止銷售或倒閉，原始碼自動以開源授權釋出，進入公共保存領域。此模式類似財務領域的 escrow（款項由中立第三方託管），確保在合約條件成立時自動移轉。作者明確反對盜版，而是支援在尊重創作者勞動價值前提下建立系統性的保存機制。
原始來源：Space Cadet Pinball on Linux (Stephen Brennan)、GitHub k4zmu2a/SpaceCadetPinball
Timothy Gowers 的 ChatGPT 5.5 Pro 數學實驗：指數界改進為多項式界，LLM 攻克研究級問題
Timothy Gowers Blog · 2026-05-08
2026 年 5 月，菲爾茲獎得主 Timothy Gowers 發表了一份加法數論實驗報告：他讓 ChatGPT 5.5 Pro 攻擊 Mel Nathanson 論文中的開放問題，系統在約 98 分鐘內將指數界（exponential bound）改進至多項式界 O(k^{10h³})，被原始研究者認定為發表品質的正確結果。
問題設定
問題涉及 h-fold sumset 的直徑下界：對於集合 A，當 hA（h 重加法集合）達到規定大小時，A 的直徑至少需要多大？Nathanson 的原始結果為指數級別的界。Gowers 先讓系統處理 h=2 的限制加法集合版本（約 19 分鐘，改進至二次界），再挑戰一般 h 情況。
關鍵技術突破
系統在一般 h 情況中引入了 h²-dissociated sets 的構造技術——這是一種替換指數量級幾何級數的多項式替代構造。研究者 Isaac Rajagopal 的評價：「這是我自己大概需要一兩週才能想到的那類聰明想法，ChatGPT 在對話中自然地推導出來。」
系統同時輸出了格式正確的 LaTeX 定理與證明，不需要人工重新排版即可送交審閱。
Gowers 的觀察
Gowers 的結論值得記錄：「數學貢獻的下限將從『證明別人還沒證明的東西』提升至『證明 LLM 無法證明的東西』。」他同時指出，指派「溫和問題」給博士生作為入門的傳統訓練方式可能需要根本性調整——LLMs 現在可以有效率地解決這類問題。人類與 AI 協作的優勢在於發展問題選擇的直覺，而非計算本身。
原始來源：A recent experience with ChatGPT 5.5 Pro (Timothy Gowers)
現代筆電內建硬體安全金鑰：FIDO2 私鑰不可離裝置，SSH 與 Git 簽署的實作
ahelwer.ca · 2026-05-08
2026 年 5 月的一篇 Lobsters 文章提醒開發者：幾乎所有現代筆電（macOS M 系列、Windows Hello 設備）都內建了符合 FIDO2 標準的硬體安全元件，可以作為 SSH 金鑰與 Git 提交簽署的硬體 token，而多數人並未意識到這個功能的存在。
硬體安全機制
FIDO2 的核心安全屬性是：私鑰永遠不離開裝置。外部只能發送待簽署的資料包，由裝置內的安全元件完成簽署後回傳簽章。這與軟體金鑰（存放在 ~/.ssh/id_ed25519）的本質差異在於：即使作業系統被完全攻陷，私鑰也無法被提取（假設安全元件沒有硬體層級漏洞）。
使用的金鑰類型為 ed25519-sk（Curve25519 + FIDO2）與 ecdsa-sk（ECDSA P-256 + FIDO2），-sk 後綴代表 security key 變體。
平台實作
macOS：
# 建立與內建 Secure Enclave 綁定的 SSH 金鑰
ssh-keygen -w /usr/lib/ssh-keychain.dylib -t ed25519-sk
# 或使用 sc_auth 直接操作 Keychain
sc_auth create-ctk-identityWindows：透過 Windows Hello（臉部辨識、指紋、PIN）搭配 winget install Microsoft.OpenSSH.preview 的 OpenSSH preview 版本，即可使用 ecdsa-sk 金鑰進行 SSH 認證與 Git 簽署。作者確認 macOS M1 MacBook Air 與 Windows Hello 筆電均可運作，Linux 因缺乏相容硬體未實測。
Git commit 簽署需額外設定 ssh-agent 轉發，確保簽署操作透過 agent 路由至安全元件，而非嘗試讀取私鑰檔案本身。