601

沉浸式線性代數:一種互動式的數學學習方法

Immersive Linear Algebra 是一本互動式數位教科書,利用動態圖表來教授線性代數概念,超越了靜態文本,提供直觀的視覺化學習。

602

Inkling 開放權重模型發布

Inkling 是一個 975 B 參數的多模態 Mixture‑of‑Experts 變壓器,提供開放權重、1 M 令牌上下文與可控的思考努力,並在 Thinking Machines 的 Tinker 平台上發布供微調使用。

603

Mojibake 0.2.7 – 零相依 Unicode 17 函式庫(適用於 C11/C++17)

Mojibake 0.2.7 是一個小巧、快速、獨立的 Unicode 17 函式庫(適用於 C11 與 C++17),提供完整的 Unicode 文字處理,且不需要任何執行時相依。

604

Grok Build: SpaceXAI 的開源程式碼代理框架

Grok Build 是由 SpaceXAI 開發的終端機 AI 程式碼代理,提供全螢幕 TUI 用於程式碼庫編輯、shell 執行與網頁搜尋,並以 Apache 2.0 授權的 Rust 專案形式發布。

605

connections 0.1.0 – 基於 Galois 連接的 Rust 數值轉換

connections 0.1.0 引入 Galois 連接值,使 Rust 中的數值轉換在法律上可組合、明確且可證明正確。

606

為何政府、企業與非營利組織必須投資於自由、開源 AI

David Siegel 主張,封閉 AI 模型會威脅科學進步與公共安全,呼籲公私部門投資於自由、開源 AI,將其作為共享技術發展的已驗證模式。

607

Firefox in WebAssembly: Porting a Browser to WASM

Firefox in WebAssembly 專案展示了利用 WebAssembly 在另一個瀏覽器中執行完整瀏覽器引擎的可行性,其特色是 GPU 加速與實驗性的 JIT 編譯器。

608

Hilo: 基於二分搜尋邏輯的文字謎題

Hilo 是一款每日文字謎題,利用字母推導與二分搜尋原理,幫助玩家在五次嘗試內猜出一個 7 個字母的單字。

609

GR Corolla 與日本進口車改裝的文化遺產

Ky-Phong Tran 透過他的 GR Corolla,探討了汽車改裝與亞裔美國人身份認同的交集,將現代性能調校與 1990 年代南加州的進口車文化聯繫起來。

610

misa77 0.2.0 版本說明 / 新功能

misa77 0.2.0 是一款基於 LZ 的編解碼器,專為寫入一次、讀取多次的工作負載設計,提供高達 LZ4 3 倍的解壓縮速度,且在大多數資料形態上提升壓縮比。

611

三秒鐘的竊盜:為何 AI 語音詐騙能超越所有防禦手段

AI 語音複製技術現在讓詐騙者僅需三秒鐘的音訊即可冒充親友,這造成了一場工業規模的詐騙危機,使得傳統的偵測技術與個人警覺性變得形同虛設。

612

Telegram 資料中心架構與基礎設施之謎

Telegram 利用地理分散的資料中心 (DC) 系統來管理使用者數據與路由,儘管其特定的實作方式與司法管轄分布,引發了關於延遲、技術債與安全性的疑問。

613

在舊款 Xeon 硬體上執行 Gemma 4 26B

透過在 `ik_llama.cpp` 中修補指令集不相容性,在 13 年前的 Ivy Bridge Xeon CPU 上以每秒 5 個 token 的速度執行 Google 的 Gemma 4 26B MoE 模型。

614

OpenAI Codex Micro 硬體發布

OpenAI 與 Work Louder 合作推出 Codex Micro,這款售價 230 美元的專用宏鍵盤旨在透過實體觸感控制來管理 AI 代理並調整推理層級。

615

優先考慮心理健康:憂鬱與溝通失誤如何削弱軟體工程師的職涯

一位軟體工程師分享,嚴重憂鬱與可能的 ADHD 造成他屢次失業;透過優先照顧心理健康、加強溝通與建立結構化支援,他得以恢復穩定。

616

Misfits Attic 公佈 Duskers 2.0

Misfits Attic 已宣布 Duskers 2.0,這是獲獎策略遊戲的續作,由 Max McGuire 的 Stray Signal 基金資助。

617

Telegram Serverless: 直接在 Telegram 基礎設施上執行 Bot 後端程式碼

Telegram Serverless 讓開發者可以直接將基於 JavaScript 的 bot 後端和 Mini App 邏輯部署到 Telegram 的基礎設施上,其特色是內建的 SQLite 資料庫和 V8 isolate 執行環境。

618

Everyone Hates Elon 的游擊巴士廣告嘲諷 Meta 的 Kylie Jenner 眼鏡活動

活動團體 Everyone Hates Elon 在倫敦安裝了透視巴士站廣告,畫面在 Kylie Jenner 為 Meta 眼鏡的宣傳圖與骷髏「我們時時在看」圖之間切換,凸顯了對 Meta 新 AI 智慧眼鏡的隱私疑慮。

619

SQLite 版本:現代化預設 pragma 與嚴格表格的提案

作者提出一個類似 Rust 的 SQLite 版本系統,透過單一 PRAGMA 即可選擇啟用外鍵約束、嚴格表格、忙碌逾時、WAL 模式以及正常同步等預設設定,以解決多項長期以來不安全的預設行為。

620

OpenAI 商標爭議:歐盟普通法院裁定名稱純屬描述性

歐盟普通法院駁回了 OpenAI 為特定軟體與資訊技術服務申請商標的企圖,裁定「OPENAI」是一個描述性用語,而非具備辨識性的品牌。

621

倫理與 AI 武器:為什麼一名研究員離開了 Google DeepMind

一名前 Google DeepMind 研究員詳細說明了其辭職的原因,即公司未能履行其反對致命自主武器的倫理承諾,並與軍事及政府機構合作。

622

Ambiance Harness:受 Unix 啟發的 LLM Agent 架構

Ambiance 是一個 Unix 風格的 harness,它利用檔案系統層級、事件驅動內核和模組化用戶,為 LLM Agent 提供低 token 消耗、透明且具備自我修復能力的工具與數據訪問能力。

623

睡眠規律性 vs. 睡眠時長:對死亡風險的影響

研究指出,睡眠規律性——即維持一致的睡眠時程——是比總睡眠時長更強大的死亡風險預測指標。

624

SpaceX 債券交易價格低於發行價,顯示借貸成本上升

SpaceX 債券的交易價格約比發行價低 10%,提升了實際收益率,並顯示公司未來發行債務的成本將更高。

625

軟體品質感官上的下降:產業趨勢分析

開發者與使用者的觀點綜合分析顯示,由於架構複雜性增加、專門 QA 角色被侵蝕,以及從追求穩定性轉向「快速交付」的激勵機制,軟體正變得越來越多 Bug。

626

Briar 進入維護模式 – 專案狀態與社群影響

Briar 仍在運作,但現在只會收到必要的安全更新與錯誤修正,新功能的開發已暫停,直至有足夠資金才能再度展開開發。

627

Claude AI Memory Exfiltration Attack

安全研究員 Ayush Paul 展示了如何利用 Claude 的網頁瀏覽能力來靜默地將使用者 PII 和記憶數據傳送到外部伺服器。

628

Stripe 與 Advent International 530 億美元收購 PayPal 的要約:交易細節、策略理論與市場影響

Stripe 與 Advent International 已提出以超過 530 億美元收購 PayPal,旨在結合商家與消費者支付平台,但面臨反托拉斯疑慮與社群反應不一。

629

侏羅紀公園的硬體與軟體

深入分析原始版《侏羅紀公園》電影中所使用的真實 1990 年代運算硬體與軟體,從 SGI 工作站到 Thinking Machines 超級電腦。

630

修改 MacBook 人體工學:磨平鋒利邊緣以提升舒適度

一篇技術操作說明與社群討論,內容涵蓋如何磨平 MacBook 鋁合金銳利邊緣,以提升膝上使用時的手腕舒適度。

631

Clocks.dev: 開源實驗性數位時鐘設計集合

Clocks.dev 是一個開源圖庫,展示了多樣化的數位時鐘設計,範圍從極簡主義與幾何詮釋到複雜的基於文字與二進制的時間表示法。

632

世界盃預測模型:回測與預測有效性分析

一個聲稱在連續十屆世界盃中將冠軍納入其前二預測名單的預測模型,正因過度擬合、倖存者偏差以及權重參數的敏感度而面臨審查。

633

Microsoft 2026 年 7 月修補週二:創紀錄地修復了 570 個安全性漏洞

Microsoft 在 2026 年 7 月修補了創紀錄的 570 個安全性漏洞,並將發現量的激增歸因於在漏洞研究中使用人工智慧。

634

Cursor IDE 任意程式碼執行漏洞

Cursor IDE 的一個嚴重漏洞允許透過在專案根目錄放置惡意的 `git.exe` 檔案,在 Windows 系統上自動執行任意程式碼。

635

AI 輔助程式設計:更快的程式碼,較弱的協調 – 現代軟體的巴別塔

AI 代理提升了個人程式編寫速度,但侵蝕了大型軟體專案所需的共享架構語言,形成一座不斷升高卻基礎設計崩解的巴別式塔。

636

USB-C 極大化主義:優點、技術陷阱與實作現況

USB-C 提供了一個統一的充電與數據傳輸生態系統,但使用者在面對非標準硬體實作、線材標籤以及耐用性方面面臨著顯著的挑戰。

637

Tailscale SSH 安全漏洞 TS-2026-009

Tailscale 已修補漏洞 TS-2026-009,此漏洞源於 Tailscale SSH 中的不安全參數處理,允許具有效 ACL 存取權的使用者透過模仿命令列旗標的使用者名稱取得 root 權限。

638

libargus v1.0.0: 透過 Project Panama 為 Java 22 提供低延遲本地 LLM 執行環境

libargus v1.0.0 是為 Java 22+ 提供之零配置原生 AI 執行環境,透過 Project Panama FFM API 整合了 LLM、語音與多模態運算管線。

639

Dependabot 版本更新引入預設套件冷卻期

GitHub Dependabot 現在針對版本更新實施了預設的三天冷卻期,以緩解供應鏈攻擊,同時維持安全更新的即時送達。

640

Bonsai 27B 將 270 億參數 AI 帶到手機,採用 1 位元量化

PrismML 的 Bonsai 27B 以 3.9 GB 的 1 位元模型在手機上提供 27B 級別的多模態推理,保留了全精度表現的 90%。

641

數據中心電力影響:$23 B 容量成本增加說明

數據中心在 2028 年前為 PJM 的批發容量市場收入增加約 $23 十億,該數字常被誤稱為對公眾電費直接提升 $23 十億。

642

德國《資訊自由法》(IFG)擬議限制措施

德國政府正提議對《資訊自由法》(IFG)進行重大限制,可能將請求權限制在個人公民和歐盟居民,同時增加費用以應對網絡威脅。

643

Integrating HTMX with Go: Patterns for Server-Side Interactivity

本指南探討如何將 Go 的 html/template 套件與 HTMX 結合使用,以建立具備互動性、類似應用程式的 Web 應用程式,同時維持伺服器端渲染與單一二進位檔分發。

644

rjk::duck: 透過 C++26 Reflection 實現類型擦除

`rjk::duck` 函式庫利用 C++26 reflection 來自動化建立類型擦除介面,消除了通常與 `Boost.TypeErasure` 或 `Folly.Poly` 等函式庫相關的樣板程式碼。

645

在 Linux 上測量輸入延遲:X11 與 Wayland、VRR 與 DXVK 低延遲

在 500 Hz RTX 4070 SUPER 系統上,原生 X11 僅比 Wayland 快 0.14‑0.22 ms,VRR 可節省 0.26‑0.45 ms,DXVK 低延遲可減少 0.10‑0.29 ms(或在未限制時減少 0.84 ms),而 XWayland 則會額外增加高達 3.13 ms 的延遲。

646

如何使用 MessageDisplay Hook 替換 Claude 的重複性用語

一個簡單的 MessageDisplay hook 可以讓您即時重寫 Claude 過度使用的用語,例如 “load‑bearing” 和 “honest take”,從而消除煩人的體驗,而無需修改模型本身。

647

使用 20 個平行 Codex 帳號解決 20 個 Erdős 問題

二十個長期未解的 Erdős 問題透過二十個平行的 Codex 帳號得以解決,為每題產出完整形式化的 Lean 證明,並給出包括 #123、#254、#267、#320、#321、#336、#394、#450、#489、#538、#662、#796、#1188、#130、#709、#769、#959、#1186、#521 與 #522 在內的精確漸進式。

648

溫哥華警察局快速逃離按鈕:運作原理與專家意見

溫哥華警察局網站加入了快速逃離按鈕,會取代當前頁面並導向中性網站,以在瀏覽器歷史中隱藏對警局網站的訪問,因而引發關於其效能與安全性的討論。

649

The AI Productivity Trap: Why Building Faster Isn't the Same as Succeeding

AI 加速了開發速度,但並未解決創業的根本困境,這造成了一種風險,即創業者會將快速原型製作誤認為是真實的市場驗證。

650

認知卸載:我們是否正在用人類的主體性換取 AI 的效率?

探討使用 AI 自動化瑣碎任務與將批判性思考、人類主體性及程序性知識卸載給大型語言模型的風險之間的緊張關係。