Hacker News front page● 精選AI 評分83
Claude 為 123 個開源庫生成彙編級形式化證明
Claude 在 123 個真實開源庫的 RISC-V 彙編層面生成了形式化安全證明，作者稱這是首次用 AI 把形式化驗證大規模應用到生產軟體。證明覆蓋所有小於 64 MB 的輸入：在單執行緒靜態二進位制、固定記憶體預算的 RISC-V 執行環境下，程式總能正常退出，不觸發記憶體安全錯誤或斷言失敗。寫證明的過程中 Claude 還發現了數萬億次測試都沒檢出的 bug；
搜尋
找到 6 筆
Hacker News front pageAI 評分55
510 位元組啟動扇區跑神經網路，生成 Linux 啟動日誌
有人在 510 位元組的 MBR 啟動扇區裡塞進了一個神經網路推理引擎，用來憑空生成不存在的硬體所對應的 Linux 啟動日誌。推理引擎本身只佔 510 位元組，權重、詞表和字串放在 MBR 之後的扇區；網路是字元級、只有一個 int8 隱層，訓練資料是機器生成的 dmesg。作者讓 train.py 執行與彙編完全相同的整數運算，輸出與 QEMU 逐字元一致；除錯時發現 idiv 會把餘數寫進 edx，覆蓋偏置表指標，使第一個神經元之後的值全部出錯。
Google Developers blog● 精選AI 評分69
Google 補全 Coral NPU 開源架構，邊緣推理 1 TOPS、功耗 10 mW
Google Research 補全了 32 位開源 Coral NPU 的 RISC-V 架構，新增 Matrix Execution Unit 後邊緣推理最高 1 TOPS，平均功耗目標 10 mW。同步釋出 v1.0 開源 IREE/MLIR 編譯器，JAX、PyTorch、TensorFlow 模型可直接編譯到 Coral NPU，不必手寫彙編，從模型到晶片共用一條開源工具鏈。
Hacker News front pageAI 評分59
ESP32-S3 實現 SIMD 加速 FAST 檢測器，QVGA 約 6ms
ESP32-S3 實現 SIMD 加速 FAST 檢測器，QVGA 約 6ms。該晶片是雙核 240MHz、整合 WiFi 與藍牙 LE 的 2 美元級 MCU；作者用 128 位 SIMD 彙編重寫 FAST 角點預測試，吞吐從 5.1MP/s 升至 11.2MP/s，約 2.2 倍，足以處理 30fps VGA 影片流。為繞開非對齊讀取、僅支援有符號 8 位比較與飽和運算等限制，採用相鄰暫存器切片拼接和異或 0x80 把無符號畫素線性對映到有符號區間；原始碼已公開，作者還為此寫了簡易暫存器分配器 basm。
量子位AI 評分28
太初元碁異構眾核算力體系入選世界網際網路大會科技之魅
11 月 2 日，2026 年世界網際網路大會領先科技獎收錄成果集《科技之魅》發布，太初元碁的“異構眾核算力體系—從 E 級智算叢集到全棧自研開放 AI 生態”入選關鍵技術組。本屆徵集到 43 個國家和地區的 400 餘項成果，其中 20 項獲領先科技獎，約 60 項彙編入集，關鍵技術組共 16 項。該成果以“主-從-微”三級異構架構緩解 E 級叢集的儲存牆問題，並配套 SDAA 軟硬協同軟體棧，將主流大模型適配週期從月級縮短至天級。
Hacker News front pageAI 評分57
Anthropic 一位招聘經理停用程式設計面試：幹勁勝過資歷
Anthropic 的一位招聘經理表示自己已不再讓候選人做傳統程式設計面試，因為 Claude 在 React 小題和彙編題上都比人做得好，這類測試已無法預測候選人的實際表現。他觀察到初級工程師能憑衝勁超過資歷更深的同事，建議先弄清公司真正要達成的業務目標，再挑一個足夠激進的想法，用一個週末做出可執行原型直接向管理層展示機會，而不是走 PRD、爭取資源和排期的常規流程。他還提醒新人不要把多個點子塞進一個原型，並利用外部使用者視角和對「不可能」缺乏先入之見這兩項優勢。