C++: The Documentary
這部新的紀錄片紀錄了 C++ 40 年的演進史，詳細描述了它從 Bell Labs 的 'C with Classes' 發展成為全球增長最快之程式語言之一的歷程。
Transformer 需要三個投影嗎？QKV 變體分析
系統性研究顯示，在 Transformer 中共享鍵（Key）與值（Value）投影 (K=V) 可將 KV 快取減少高達 96.9%，且性能損失極小，從而實現更高效的裝置端推論。
S&P Dow Jones Indices 維持 MegaCap IPO 入選規則
S&P Dow Jones Indices 已決定維持其現有的 MegaCap IPO 入選規則，拒絕了 SpaceX 等公司的快速通道指數入選，並防止了指數基金的即時自動買入。
為 AI Agent 實施測試驅動開發 (TDD)
Jason Swett 提議使用結構化的「specify-encode-fulfill」迴圈以及應用 Kent Beck 的 Canon TDD，以提高 AI 生成的測試與代碼的品質。
ESP32 Bit Pirate: 多協定硬體駭客工具
ESP32 Bit Pirate 是一款開源韌體，可將 ESP32-S3 裝置轉換為多協定駭客工具，透過 Web 或 Serial CLI 支援 I2C, UART, SPI 以及無線協定。
Azure Linux 4.0 發佈：Microsoft 的首套通用型雲端作業系統
Microsoft 已推出 Azure Linux 4.0 公開預覽版，將該發行版從專用的內部工具轉型為可用於所有 Azure VM 的通用型雲端作業系統，並將很快在 WSL 中提供。
Open Code Review: Alibaba 開源的 AI 驅動程式碼審查 CLI 工具
Open Code Review 是一款開源的 CLI 工具，它結合了確定性工程與 LLM agents，以大規模地提供精確的行級程式碼審查。
Meta 為已停用的 Portal 裝置啟用 ADB
Meta 已將 Android Debug Bridge (ADB) 支援擴展到其已停產的 Portal 智慧顯示裝置系列，允許開發者側載應用程式並重新利用硬體。
使用 Lean 4 與 AI Agent 進行形式化驗證的多邊形交集運算
`verified-polygon-intersection` 專案提供了第一個經形式化驗證的多邊形交集演算法實作，利用 Lean 4 提供正確性保證，並使用 Claude Opus 4.8 進行自主證明生成。
Anthropic 遞歸自我改進的進展與趨勢
Anthropic 報告稱 AI 正顯著加速其自身的開發，目前其生產代碼中有超過 80% 是由 Claude 撰寫的，這標誌著向潛在遞歸自我改進的趨勢邁進。
Meta Stella App 人臉辨識分析
分析 Meta 的 Stella 配件應用程式版本 273.0.0.21 發現，其中包含一個完整、處於休眠狀態的裝置端人臉辨識管線，包括生物辨識嵌入模型與向量相似度索引。
復古科技育兒：使用舊式硬體對抗監控資本主義
越來越多的家長開始採用「復古科技」——例如 CD、市話和離線 PC——來為孩子提供數位自主權，同時避免現代裝置的這種參與度優化演算法的干擾。
《紐約時報》與激進訂閱暗黑模式的興起
使用者報告《紐約時報》出現激進的使用者體驗暗黑模式與掠奪性訂閱做法激增，反映出數位媒體變現的絕望趨勢。
Anthropic Defending Code Reference Harness
Anthropic 發布了一個用於自主漏洞發現與修復的開源參考實作，利用 Claude 進行掃描、分類與修補原始碼的流程包含多個階段。
Boxes.dev: 為 Claude Code 和 Codex 提供雲端原生代理開發環境
Boxes.dev 是一個僅限雲端的代理開發環境 (ADE)，為 Claude Code 和 Codex 代理提供隔離的雲端運算和檔案系統，以消除 localhost 的限制。
全球發電量：風能與太陽能於 2026 年 4 月超越天然氣
2026 年 4 月，風能與太陽能在全球產生的電力首次超越了天然氣，產生的 531 兆瓦時 (TWh) 與天然氣的 477 TWh 相比。
llm.txt 的興起：機器可讀的網頁內容能否修復人類的使用體驗？
llm.txt 檔案的出現提供了一種精簡、文字優先的現代網路替代方案，可能為人類提供一種繞過行銷雜訊和複雜佈局的方式。
WSL 2 效能更新：Virtiofs 的單一裝置 SWIOTLB 池
Microsoft 已為 WSL 2 中的 virtio 裝置引入了單一裝置 DMA 池 (SWIOTLB)，藉由減少競爭並加速使用者選擇使用 virtiofs 時的跨作業系統檔案系統存取。
LEGO Sagrada Família 套裝分析
LEGO Sagrada Família 套裝引發了愛好者對於其價值、向單一用途成人套裝的轉變，以及重現一座以數世紀建造過程聞名的建築所帶出的諷刺感之間的辯論。
Meta Localhost 追蹤爭議與法律後果
Meta 因透過 Meta Pixel 利用 Android 的 localhost 功能將行動網頁瀏覽活動與使用者個人檔案連結，而面臨法律行動與瀏覽器層級的緩解措施。
Ableton Live 12.4.5 Extensions SDK 發佈
Ableton 在 Live 12.4.5 中引入了 Extensions SDK，允許使用者透過 Node.js 建立基於 JavaScript 的工具，以實現任務自動化、MIDI 轉換以及自定義 DAW 的工作流程。
Ian 的安全鞋帶結：雙滑結指南
Ian 的安全鞋帶結（亦稱雙滑結）提供接近標準結兩倍的抗拉力，使其非常適合滑溜的鞋帶以及高強度活動使用。
Marjane Satrapi 逝世，享年 56 歲
法裔伊朗作家兼導演 Marjane Satrapi，圖文小說《Persepolis》的創作者，於 56 歲時逝世，據報導是因丈夫去世後的悲痛所致。
Anthropic 如何限制 Claude：代理式 AI 安全模式
Anthropic 詳細說明了 Claude 的多層防禦策略，將確定性的環境限制（沙盒與 VM）置於機率性的模型層面引導之上，以限制自主代理的衝擊範圍。
Cloudflare 收購 VoidZero：Vite 與 JS 工具鏈的未來
Cloudflare 已收購 Vite、Vitest、Rolldown 與 Oxc 背後的公司 VoidZero，同時承諾將保持這些工具的開源、廠商中立與社群驅動特性。
英國媒體透明度報告：國防部門利益衝突
AOAV 的報告顯示，在英國媒體中被引用為獨立專家的退役英國高階軍官中，有近 60% 未能披露其與國防產業的商業聯繫。
Uruky 私人搜尋引擎概覽
Uruky 是一款基於歐盟的付費私人搜尋引擎，比起 AI 功能和廣告資助的生態系統，它更優先考慮使用者的匿名性與個人化。
加州大學柏克萊分校電腦科學不及格率因 AI 使用與數學技能下降而激增
加州大學柏克萊分校電腦科學課程的不及格成績在 2026 年春季急劇上升，教授們將此趨勢歸因於過度依賴大型語言模型（LLM）以及學生基礎數學能力的顯著下降。
評估 LLM 在易受攻擊的 Firebase 應用程式上的滲透測試能力
安全研究人員 jc4p 花費 1,500 美元在一個易受攻擊的 React Native 應用程式上測試各種 LLM，發現 GPT-5.5 擁有最高的解決率，而 Anthropic 模型則頻繁受到安全護欄的限制。
它們由權重構成：關於大型語言模型出現的哲學對話
對特里·比森（Terry Bisson）的《它們由肉構成》進行創意改編，探討大型語言模型僅是矩陣乘法的還原性本質，並引發關於 AI 有感與出現的辯論。
美國拆除海洋觀測計畫（OOI）基礎設施
特朗普政府正在拆除海洋觀測計畫，移除超過 900 件對監測大西洋經向翻轉環流（AMOC）及全球氣候模式至關重要的儀器。
Infracost Dev: 將雲端成本智慧整合至 AI 編碼代理與 IDE 中
Infracost Dev 透過在 IDE 與代理迴圈中直接提供即時定價、FinOps 最佳實踐與自動化標籤修復，讓 AI 編碼代理與開發者能夠進行具備成本感知的基礎設施變更。
在 AI 熱潮時代尋找深度技術內容
由於 AI 驅動的內容主導了主流資訊流，開發者和工程師正轉向使用 RSS feeds、像 lobste.rs 這樣的專業論壇以及存檔來源來尋找深度技術內容。
Mercek: Amazon ECS 的桌面 IDE
Mercek 是一款針對 Amazon ECS 的開源桌面 IDE，它在不需要後端伺服器的情況下，提供了跨多個 AWS 帳戶與區域的集群、服務與任務的統一檢視畫面。
FFmpeg WebCLI: 透過 WebAssembly 進行瀏覽器端影片編輯
FFmpeg WebCLI 是一款注重隱私、具備離線功能的 PWA，透過 WebAssembly 實現了直接在瀏覽器中進行完整的 FFmpeg 影片與音訊處理，無需經過伺服器上傳。
Gaussian Point Splatting: Scaling Real-Time Rendering for Large-Scale Scenes
Gaussian Point Splatting 是一種隨機渲染技術，透過採樣像素大小的不透明點並利用 GPU atomics 進行高並行工作負載分佈，實現了數億個 Gaussians 的實時渲染。
Mnemo: 為 LLM 設計的本地優先 AI 記憶層
Mnemo 是一個基於 Rust 的本地 sidecar 服務，為任何與 OpenAI 相容的 LLM 提供持久化的知識圖譜記憶與語義檢索功能。
數學家們警告 AI 對數學研究與教育的影響
數學家們正針對 AI 在數學領域的快速進展發出警告，引發了關於 AI 是否會增強可及性，還是會侵蝕未來研究員的基礎技能與訓練的辯論。
Ted Chiang 論人工智慧為何不具意識
作家 Ted Chiang 主張大型語言模型缺乏意識，因為它們缺乏具身性、持續的內部狀態，以及真正的情感與慾望能力。
參議員 Bernie Sanders 提議《美國人工智慧主權財富基金法案》
參議員 Bernie Sanders 提議了《American AI Sovereign Wealth Fund Act》，該法案將透過一次性 50% 的股票稅，在主要 AI 公司中建立公眾所有權股份，以確保由集體人類知識產生的財富能讓大眾受益。
Elixir v1.20 發佈說明 / 有什麼新功能
Elixir v1.20 引入了基於集合論型別的漸進式型別系統，使編譯器能夠在不需要手動添加型別註解的情況下，偵測「已驗證的錯誤」與死碼。
Espressif ESP32-S31 SoC 發佈
ESP32-S31 是一款高效能、雙核心 RISC-V MCU，整合了 WiFi 與有線乙太網路，專為邊緣 AI 與機器學習工作負載而設計。
Gemma 4 12B 發佈說明 / 更新內容
Google 推出了 Gemma 4 12B，這是一款無編碼器的多模態模型，旨在於配備 16GB VRAM 的筆記型電腦上進行本地執行，具備原生音訊與視覺處理能力。
Google 員工利用內部迷因來批評 AI 工具
Google 員工利用內部迷因生成器來批評公司的 AI 工具，這種做法反映了更廣泛的工程文化中自嘲式幽默與坦率的內部反饋。
美國資本主義與千禧主義經濟的崛起
關於美國資本主義被認為正向「千禧主義」或末日思維轉變的討論，這一轉變由極端財富不平等與 AI 自動化的影響所驅動。
MacBook Neo：Apple 因需求旺盛而加倍生產
Apple 在 $599 入門級筆記型電腦意外走紅後，加倍了 MacBook Neo 的產量，這得益於其具侵略性的定價與整合矽晶片的效率。
Nutrepedia: 使用 Clojure 與 HTMX 打造的多語言營養參考工具
Nutrepedia 是一個多語言營養參考網站，提供 29 個區域語言環境下的 1,635 種食物資訊，使用 Clojure、HTMX 與 Postgres 技術棧構建而成。
理解抗 NMDA 受體腦炎：誤診與康復的案例研究
Andrew Gallant 分享了他患有抗 NMDA 受體腦炎的經驗，這是一種常被誤診為精神疾病的自體免疫疾病，他強調了進行神經科篩查的關鍵重要性。
DaVinci Resolve 21 發佈說明
DaVinci Resolve 21 為靜態攝影推出了專用的 Photo 頁面，提供了一套 AI 驅動的修復與編輯工具，並對 Fusion、Fairlight 以及沉浸式 VR 工作流程進行了重大增強。
優化記憶體佈局：結構陣列 (AoS) vs. 陣列結構 (SoA)
理解結構陣列 (AoS) 與陣列結構 (SoA) 佈局之間的差異，可以透過優化 CPU 快取行利用率並減少記憶體延遲，帶來高達 30 倍的效能提升。