Netflix 員工因在退修信任練習中分享個人細節而被解雇
一名 Netflix 員工在公司退修信任練習中透露個人資訊後被解雇，引發了關於工作場所界限和僱主過度干預的討論。
Kimi Linear 以減少 75% 記憶體佔用與 6 倍解碼速度超越全注意力機制
Kimi Linear 的混合線性注意力架構在各項任務中表現優於全注意力機制，同時將 KV-cache 記憶體減少高達 75%，並在 1 M-token 上下文中實現高達 6 倍的解碼加速。
一個遺失的底線符號讓無辜男子入獄 18 個月
一個 Kik 用戶名中的單一打字錯誤，導致警方起訴並定罪了一名無辜的加拿大男子，他在定罪被撤銷前服刑了 18 個月。
ACM 提議允許在數位圖書館上訓練大型語言模型 – 好處、風險與社群回應
ACM 主張，允許大型語言模型存取其數位圖書館將提升 AI 的準確性並擴大研究影響力，同時也承認存在署名、授權與集中化的風險。
Qwen3.5-9B 使用強化學習微調後在目錄審閱上勝過前沿模型，每 1k 列表成本為 $0.5
經 GRPO 微調的 Qwen3.5-9B 模型在目錄審閱任務上達到可達成最高分數的 87.3%，成本約為每 1,000 列表 $0.50，擊敗前沿模型（後者得分 76.9%，成本為 $19–$172 每 1,000 列表）。
Yap: 開放原始碼在裝置上語音輸入 適用於 macOS
Yap 是一個免費的開放原始碼 macOS 應用程式，利用 Apple 的 Speech 框架提供快速的在裝置上語音輸入，無需外部模型或 API 金鑰。
開放模型在軟體開發中的轉變
開發者發現，像 Kimi K3 這樣的開放權重模型，在與私有推理端點配對時，能提供與閉源前沿模型相當的資料擁有權和迭代速度，適用於目標編碼任務。
Vimgolf.ai: 遊戲化 Vim 學習平台
Vimgolf.ai 是一個互動式、以關卡為基礎的學習平台，旨在透過遊戲化挑戰與與「vimbot」的競賽來教授 Vim 與 Neovim 指令。
在 SlopCodeBench 上對 Opus 5 進行基準測試
Opus 5 在 SlopCodeBench 上達到了 24% 的嚴格通過率，這表明儘管它優於先前的模型，但當前的前沿 LLM 仍難以在長期、迭代的開發任務中維護代碼品質。
軟體消費的倫理：分析 DHH 與 Hey 的爭議
技術社群的辯論探討使用者是否應該基於創作者的政治與社會觀點取消軟體訂閱，這場辯論是由 David Heinemeier Hansson 關於移民與羅姆人的人言論所引發的。
理解 ClickFix 驗證碼惡意軟體攻擊
新一波的 'ClickFix' 攻擊利用假 CAPTCHA 頁面欺騙使用者透過 Windows 執行對話框執行惡意的 PowerShell 腳本，常透過被入侵的網站傳遞。
蘋果在AI市場泡沫中的戰略定位
分析蘋果優先考慮端裝置AI和邊緣晶片作為對潛在AI市場泡沫破裂的對沖策略，與AI供應商的高資本基礎設施投資形成對比。
Apple 車輛運動提示適用於晕動症
Apple 的車輛運動提示功能使用螢幕上的視覺指標來減少使用者在移動車輛中閱讀或使用設備時的晕動症。
理解 Forth：堆疊導向程式設計以及 xkcd 的觀點
Forth 是一種以堆疊為導向的程式語言，其特徵是逆波蘭表示法和極簡設計，經常被誤解其可讀性。
XY – 快速、可組合且具 GPU 加速功能的 Python 圖表函式庫 (alpha)
XY 是一個處於 alpha 階段、具備 GPU 加速功能的 Python 圖表函式庫，透過 Rust 核心與密度表面技術，能從小型圖表渲染至包含數十億個點的互動式網頁與 notebook 圖表。
您應該清洗太陽能板嗎？
作者的測試顯示，清洗太陽能板使功率提升了 2‑5%，相當於每年適度的節省，但這些節省可能會隨時間衰減。
AI 訓練與稀有書籍的破壞性掃描
報告指出，AI 公司大量購買稀有書籍，在高速掃描後將其粉碎，以製作訓練資料，該做法據稱在合理使用原則下被視為合法，以確保只存在一份副本。
Google v. SerpApi: 法官駁回針對搜尋結果刮取的 DMCA 指控
一位美國法官駁回了 Google 對 SerpApi 的訴訟，裁定 DMCA 的反規避條款不適用於非受版權保護搜尋結果的刮取。
水域缺氧與行星界限框架
加州大學聖地亞哥分校斯克里普斯海洋研究所的研究人員警告說，快速的水域缺氧正將地球推向一個「不安全的空間」，對全球穩定可能產生不可逆轉的後果。
透過 WebGPU 與 Rust 在瀏覽器中使用 Manim
Manim 動畫引擎的一種全新瀏覽器實作方案，利用 Rust、WebAssembly 與 WebGPU，實現數學動畫的即時渲染與即時預覽。
在 Lean 4 中實現的正式驗證 3D CSG 網格交集
在 Lean 4 中實現的正式驗證 3D 構造實體幾何網格交集，具有 93 行規格說明與 AI 生成的證明，讓人類審核者無需檢查 1000 行實作即可信任其正確性。
python-build-standalone: 打造高可攜性的 Python 發行版
python-build-standalone 提供具有最小化執行時依賴項的自我包含 Python 發行版，能夠在各種系統上實現可靠的嵌入與安裝。
Moonshot AI Kimi-K3 發佈
Moonshot AI 即將發佈 Kimi-K3，這是全球首個專為長程編碼、推理和代理任務設計的開源 3T 等級模型。
tale.fyi: 一個用於同步小說和有聲書的網頁閱讀器
tale.fyi 是一個新興的網頁平台，旨在透過使用公共領域函式庫和神經對齊來提供同步的文本與音頻體驗，以慶祝小說。
倫理衝突與離開 Google DeepMind
前員工描述了他們離開 Google DeepMind 的決定，原因是對公司政府合約的倫理擔憂以及被感覺到的公司問責不足。
Anthropeum：一款以 Geoguessr 風格的人類人工製品遊戲
Anthropeum 是一款每日教育遊戲，玩家需要猜測大都會藝術博物館開放存取收藏中人工製品的來源與年代。
太空人報告六個月國際太空站任務後持續的觀察者感受
摘要： 從六個月國際太空站任務返回的太空人描述了一種持續的觀察者感受——彷彿從稍遠的距離觀看自己的生活，且飛行醫師指出對大多數船員而言，這種感受會在數週至數月內消退。
FeyNoBg 與 NoBg: SOTA 背景移除模型與訓練庫
Feyn 推出 FeyNoBg，這是一個最先進的背景移除模型，在八個類別中優於或匹配領先的基準測試；以及 NoBg，一個用於訓練和運行此類模型的開源 Python 庫。
Misago 從 React.js 遷移至 HTMX 以提升效能與可維護性
Misago 論壇專案正在用 HTMX 取代 React.js，透過回歸伺服器端渲染來消除重複的 UI 邏輯、減少 JavaScript bundle 大小並簡化開發流程。
Bun Rust 重寫：AI 驅動開發與軟體移植的現實
對使用 Anthropic AI 進行 Bun Rust 重寫的分析，強調了「已完成」重寫的行銷說法與實現穩定發佈所需的持續工程投入之間的差距。
Segue：跨 AI 上下文轉移（透過 MCP）
Segue 是一個中立的中繼，允許使用者透過模型上下文協議（MCP）使用簡短、易發音的代號，將工作上下文從一個 AI 助手保存後載入至另一個 AI 助手。
Kimi-K3 技術報告與開源發佈
Moonshot AI 已發佈 Kimi-K3 前沿模型及相關基礎設施，其特色包括用於任務合成的自我演進知識圖譜，以及具有限制性的商業授權。
CXMT IPO 漲幅近 470% 使其成為中國大陸市值最高的上市公司
中國晶片製造商 CXMT 在上海證券交易所科創板的首次亮相中，股價上漲近 470%，市值提升至約 3.3 萬億元人民幣，成為中國大陸市值最高的上市公司。
Paged Out #9: 現代技術雜誌，服務於駭客文化
Paged Out #9 是一份深具技術性且經策劃的雜誌，以類似經典駭客出版物如 2600 和 Phrack 的風格，融合了從次像素渲染到可計算鋪瓦的多樣運算主題。
Decathlon 德國整合 Wero 支付系統
Decathlon 德國已將 Wero 加入其網站，標誌著歐盟主導的數位支付基礎設施用以減少對非歐洲支付提供者依賴的重要一步。
美國檢察官因亞特蘭大機場 GrapheneOS 手機清除而起訴 Sam Tunick
美國檢察官在 2025 年 1 月機場搜查期間，因其 GrapheneOS 手機自動清除，依據聯邦反毀壞法起訴亞特蘭大居民 Sam Tunick，引發關於脅迫 PIN 與邊境搜查權力的法律問題。
網路可訪問性的侵蝕：摩擦、機器人偵測與以應用為中心的互聯網
黑客新聞上的討論探討了日益增加的機器人偵測、強制應用安裝和激進的 MFA 要求如何將開放的網頁轉變為封閉、高摩擦的環境。
AI 公司增加華盛頓遊說支出達到創紀錄水平
領先的 AI 公司，包括 OpenAI 和 Anthropic，已顯著增加其聯邦遊說支出，以影響華盛頓的 AI 監管和政策。
Claude AI Team Plan 服務中斷與支援挑戰
使用者報告 Claude AI Team 方案出現顯著的服務不可用情況，且由於依賴類似 Fin 的自動化機器人，難以聯繫到人工支援。
Lean 與 LLMs 的證明自動化
大型語言模型 (LLM) 與像 Lean 這樣的依賴型別語言的結合，正在大幅降低形式化驗證的成本，使得證明先前實施成本過高的複雜軟體不變式變得可行。
Volvo/Eicher 車隊平台的安全性漏洞
一名安全研究員在 Volvo/Eicher 車隊平台中發現了一個嚴重的漏洞，該漏洞可能允許對所有使用者與車輛進行未經授權的控制，凸顯了雲端管理汽車軟體中的系統性風險。
Audio-Cassette-Simulation: 使用 FFmpeg 模擬磁帶音訊
Audio-Cassette-Simulation 儲存庫提供基於 FFmpeg 的技術來模擬磁帶音訊輪廓，如其標題和在 Hacker News 上分享的連結所示。
Scriptc: Vercel 的 TypeScript 轉原生編譯器
Scriptc 將普通的 TypeScript 編譯成小型、快速的原生執行檔，無需 JavaScript 引擎；它對大部分程式碼使用靜態編譯，並為動態特性提供可選的 QuickJS-NG 引擎。
預測顯示 2026-2027 年將出現有史以來最強的 El Niño
多模式預測顯示，2026-2027 年的 El Niño 很可能是有記錄以來最強的，其中位峰值為 3.6C，顯著超過先前紀錄的 2.75C。
Rescript: 一個開源的、基於瀏覽器的 Descript 替代方案
Rescript 是一個開源的視頻編輯器，允許使用者通過編輯文字逐字稿來編輯視頻，所有轉錄和渲染均在瀏覽器內本地進行，以達到最大隱私。
VLC for Unity 加入 Linux 支援
VLC for Unity 現在支援 Linux 在 x86_64 架構上，利用 libVLC 提供硬體加速的視訊播放，在 Unity 遊戲引擎內。
法國消防員首次遭遇火積雲 – 2026 年 7 月
2026 年 7 月 26 日，法國消防員在蘭德地區面對由野火產生的火積雲，這標誌著法國首次記錄到此類火災驅動風暴，並凸顯了其自生風力、閃電和不可預測蔓延所帶來的史無前例的挑戰。
Decker：一款受 HyperCard 啟發的現代互動式文件平台
Decker 是一個免費的開源多媒體平台，透過現代腳本語言 (Lil)、可匯出為獨立 HTML 的跨平台功能以及懷舊的 1-bit 美學，重現了 HyperCard 的卡片式工作流程，讓任何人都能在沒有廣告或遙測的情況下創建互動式文件、遊戲和工具。
ctrlb-decompose：針對 LLM 的日誌壓縮與模式提取
ctrlb-decompose 是一款基於 Rust 的工具，能將數百萬行雜亂的日誌壓縮成一組帶有統計數據與異常檢測的結構化模式，使日誌更適合 LLM 使用。
BMW 車內 Spider-Man™ 動畫與汽車廣告之爭論
BMW 在車輛顯示器中推出可選擇的 Spider-Man™ 主題動畫，引發用戶對廣告侵入私人車輛擁有權的爭論。