1001

Wordgard: 由 ProseMirror 創作者開發的新型語義富文本編輯器

Wordgard 是一個開源的 JavaScript 函式庫,用於構建高度可自定義、基於 schema 的富文本編輯器,重點在於多功能程式介面和函數式設計。

1002

視覺化地球最深的洞穴:來自 xkcd 3266 的洞見

xkcd 第 3266 漫畫提供了世界最深洞穴的比較視覺化,突顯了如貝加爾湖沉積層和最深金礦等極端深度。

1003

新世界螺螄蟲的回歸:根除歷史與當前疫情

新世界螺螄蟲在巴拿馬無菌蠅屏障崩潰後,重新向北穿越中美洲,重新進入美國,結束了數十年的缺席。

1004

揭開製造的神祕面紗:為何工廠只是房間

一篇關於製造可及性的技術探討,主張將工廠視為「只是房間」能鼓勵下一代設計師與工程師從消費轉向創造。

1005

結束 AI 信心劇場:從炒作走向真正的實用性

Elena Verna 主張,目前的「AI 信心劇場」趨勢——誇大 AI agents 與工作流的能力——創造了一種虛假的成功基準,這會使使用者士氣低落並侵蝕對真正 AI 創新的信任。

1006

FIDE 對大師弗拉基米爾·克拉姆尼克實施倫理違規制裁

國際棋聯倫理與紀律委員會對前世界冠軍弗拉基米爾·克拉姆尼克因網路霸凌及對其他棋手作出無根據的公開作弊指控,處以一年實際禁賽並要求其完成社會服務。

1007

Alibaba 禁止使用 Claude Code,因涉嫌後門與安全風險

Alibaba 因擔憂涉嫌後門以及專有資料洩漏至美國 AI 供應商的風險,禁止在工作場所使用 Claude Code。

1008

本地智慧權運動:保護個人裝置上的開放 AI

本地智慧權運動爭取在個人裝置上執行開放 AI 模型的法律保護,認為現行法律已足以防止濫用,而授權制度則會威脅個人計算自主性。

1009

美國商務部指令 DAO 216-26 與差分隱私禁令

美國商務部長發布了 DAO 216-26 指令,禁止在人口普查與 BEA 資料中使用差分隱私及其他現代噪聲注入技術,這將危及資料效用與受訪者的機密性。

1010

Markets are competitive if and only if P != NP

一篇新的研究論文主張,市場競爭力與資訊效率是互斥的,而演算法共謀的出現是由於計算能力的提升所驅動的。

1011

為何瑞士提供 25 Gbps 住宅光纖,而美國卻落後

瑞士能提供 25 Gbps 對稱光纖,是因為監管機構強制開放存取、點對點的基礎建設;相較之下,美國與德國依賴自然壟斷的 incumbent,限制競爭並推高價格。

1012

CarPlay 與車載資訊娛樂控制權之爭

Apple CarPlay 與 Android Auto 的爭論,凸顯了使用者對於一致性、以手機為基礎的介面需求,與車廠對於控制軟體生態系以獲取數據與訂閱收入的衝突。

1013

Bramble 本地優先密碼管理器:開源 P2P 同步與 Nostr

Bramble 是一款開源的密碼管理器,將資料本地儲存,並透過由 Nostr 中繼協調的點對點 WebRTC 層在裝置間同步,消除雲端託管的保險庫。

1014

Meta AI 重組與代理式開發的失敗

馬克·扎克伯格承認,Meta 最近的重組與對 AI 代理式開發的押注未能如預期加速進展,凸顯公司在 AI 自動化路線上的策略錯位。

1015

為何 AI 佈道者在 LinkedIn 上充斥低價值貼文

AI 佈道者在 LinkedIn 動態中佔據主導,發佈重複且充滿炒作的內容,價值甚少,背後是自我宣傳、自動化發文工具以及平台的獎勵機制所驅動。

1016

crustc 將整個 rustc 編譯器翻譯成 C

crustc 是一個概念驗證,將完整的 rustc 1.98.0‑nightly 原始碼轉換成 4600 萬行 C 程式碼,產生可使用 GCC 與 make 建置的功能性 Rust 編譯器。

1017

美國勞動參與率跌至 50 年來最低(COVID 期間除外)

美國勞動參與率已降至 50 年來的最低水平(不包括 COVID-19 大流行期間),反映出提前退休、AI 帶來的招聘摩擦以及系統性經濟幻滅的複雜交織。

1018

短繩 AI 程式設計方法:打造高品質軟體

短繩方法是一套為資深開發者設計的嚴謹 AI 輔助程式編寫流程,強調人類監督、手動 diff 分析與雙層審查,以在安全關鍵系統中維持軟體品質。

1019

西班牙將 Palantir Technologies 列入公共與私營部門合約黑名單

西班牙政府因國家安全顧慮與與美國新政府的地緣政治緊張,指示國營機構將 Palantir Technologies 列入黑名單。

1020

zkGolf:正式驗證零知識電路的競爭式優化

zkGolf 是一項競賽,挑戰參賽者以 Lean 撰寫正式驗證的零知識電路,並盡可能降低分配與約束成本,讓自動化代理人可透過 API 參與競爭。

1021

Podman v6.0.0 版本說明

Podman v6.0.0 引入了使用 Netavark 與 Pasta 的現代化網路,擴充了 Quadlet 功能,並加強了 Podman Machine 的多供應商支援。

1022

EFF 與盟友呼籲 FTC 拒絕 X Corp. 免除 2022 年隱私同意令的請求

電子前哨基金會與合作團體呼籲 FTC 拒絕 X Corp. 解除 2022 年同意令的請求,該同意令要求持續的隱私合規,並指出公司名稱變更與領導層更迭不會抹去其過往的資料濫用義務。

1023

Linux 核心回歸:LUKS 加密金鑰在掛起時未被清除

在 Linux 6.9(2024 年 5 月)中引入的回歸,使得 LUKS 磁碟加密金鑰在 suspend‑to‑RAM 期間仍留在記憶體中,導致其易受冷開機攻擊的威脅。

1024

蛋業價格操縱與企業不當行為的代價

蛋業面臨價格操縱與基準操縱的指控,企業所繳納的罰款遠低於非法活動所獲得的利潤。

1025

Safari Technology Preview 247:介紹 Safari MCP 伺服器

Apple 為 Safari Technology Preview 247 引入了 Model Context Protocol(MCP)伺服器,讓 AI 代理程式能直接檢查 DOM、網路請求與主控台日誌,從而自動化 Web 除錯。

1026

EXAPUNKS:Zachtronics 的程式設計解謎遊戲

EXAPUNKS 是 Zachtronics 的解謎遊戲,玩家為執行代理(EXA)編寫低階程式以駭入網路,並以模擬 1990 年代駭客文化的美學呈現。

1027

FreeGraphPaper.net:基於瀏覽器的向量 PDF 方格紙產生器

FreeGraphPaper.net 是一個免費、免登入的工具,可產生符合比例的向量 PDF 方格、點格、等角與六邊形格線,支援廣泛的 ISO 與美制紙張尺寸。

1028

Mail Memories 桌面應用程式 – 本機救援 Gmail 相片附件

Mail Memories 是一款一次性收費 **$29** 的桌面工具,能在本機掃描 Gmail 帳號,提取所有相片附件,並將它們儲存至使用者電腦,過程完全不使用任何雲端服務。

1029

Vite+ Beta 版發布:統一的 Web 開發工具鏈

Vite+ Beta 引入一套統一的工具鏈,將執行環境、套件管理器與核心前端工具(如 Vite、Vitest、Rolldown)整合為單一且一致的工作流程。

1030

PeerTube:去中心化與聯邦式的影片平台

PeerTube 是一個開源、聯邦式的影片平台,利用 P2P 分享降低伺服器負載,然而在創作者獲利與大規模採用方面仍面臨重大挑戰。

1031

Immich 3.0 版本說明 / 新功能

Immich v3.0.0 引入非破壞性行動編輯、預覽版自動化工作流程建構器、即時影片轉碼,以及 Android 與 iOS 背景備份的重大改進。

1032

Infineon 在德累斯頓開設智慧電源晶圓廠,提升 EU 科技自主性

Infineon 在德國德累斯頓開設了一座價值五十億歐元的微晶片工廠,旨在降低歐洲對亞洲與美國半導體,特別是電源管理與 AI 基礎設施的依賴。

1033

Slopo:使用嵌入模型偵測非完全相同的程式碼重複

Slopo 是一款 CLI 工具,利用嵌入模型在不同模組與檔案間識別非完全相同的程式碼重複,優先偵測那些傳統複製貼上偵測器常忽略的相似程式碼。

1034

Inkwell:為電子墨水裝置優化的自架 RSS 閱讀器

Inkwell 是一款自架的 RSS/Atom 閱讀器,會將文章預先渲染為靜態 HTML,以優化 Kindle 電子書閱讀器的載入與渲染效能。

1035

使用 Postgres Transactions 解決分散式系統挑戰

利用 Postgres 事務來將工作流狀態與數據共置,可以透過 Transactional Outbox 等模式消除「雙寫」問題,並透過簡化分散式系統的可靠性。

1036

如何向陌生人尋求協助:有效外聯指南

有效的陌生人外聯是一項以將收件者視角置於中心、降低說「是」的成本,同時提供認真證明為原則的技巧。

1037

GitHub 提供公開儲存庫的實體燒錄 CD 副本(2026 年 7 月限時優惠)

GitHub 於 2026 年 7 月推出限時促銷活動,允許用戶訂購任何公開儲存庫的燒錄 CD,突顯了一種新穎的實體備份選項。

1038

Show HN 的半衰期:41,301 次發佈的分析

對超過 41,000 篇 Show HN 文章的分析顯示,互動的中位半衰期為 7.2 小時,大多數發佈僅收到零或一則評論。

1039

ctx:本機搜尋程式代理歷史記錄

ctx 是一個開源 CLI 工具,將本機程式代理的會話索引至 SQLite,提供快速且代幣高效的搜尋,讓使用者能在過去的討論、決策與失敗嘗試中快速定位資訊。

1040

使用 en-GB 撰寫數位內容的文化與技術意涵

討論使用英式英語(en-GB)撰寫的決策,突顯了在技術寫作中全球可及性與文化身份、語言多樣性保存之間的張力。

1041

Google EU Antitrust Fine Upheld: $4.7 Billion Penalty for Android Practices

歐洲最高法院維持了對 Google 針對與 Android 相關的反競爭行為處以 41 億歐元(46.7 億美元)的紀錄性罰款,引發了關於長期監管行動有效性的辯論。

1042

Web 論壇的演進與遺產

分析傳統 Web 論壇的興起、衰落與持久遺產,探討為何它們被社群媒體取代,以及它們所提供的獨特社群動態。

1043

一層夠嗎?為 RL 後訓練訓練單個 Transformer 層

研究指出,訓練單個 transformer 層(特別是模型堆疊中間的層)可以達到或超過 LLM 中全參數強化學習 (RL) 訓練的性能增益。

1044

Google Android Developer Verifier (ADV) 與向封閉生態系統的轉向

F-Droid 警告,Google 的 Android Developer Verifier (ADV) 計畫實際上扮演了系統級的守門人角色,允許 Google 在數十億台 Android 裝置上封鎖未經核准的軟體。

1045

AI 編碼助手之陷阱:管理技術債與上下文漂移

開發者正報告在使用 AI 編碼助手時面臨重大挑戰,包括生成冗餘代碼、失去對系統的整體意識,以及在長上下文窗口中的性能退化。

1046

AI 假新聞抱怨 AI 假新聞是實體新聞的死亡 – Nieman Lab 分析

Nieman Lab 報導說,一波新的 AI 生成假新聞正矛盾地哀嘆其對真實新聞的影響,凸顯了媒體生態系統中的自我挫敗回饋迴路。

1047

軟體工程師流失趨勢:2026 年 7 月產業情緒分析

2026 年 7 月的開發者經驗綜合分析顯示,由於 AI 驅動的文化轉變、企業毒性以及在挑戰性的就業市場中對專業成就感的追求,工程師正呈現離職趨勢。

1048

Kimi K2.7 Code 在 GitHub Copilot 中的整合

GitHub Copilot 已加入對 Kimi K2.7 Code 的支援,提供一個具成本效益的主要模型替代方案,並擴大對開放權重大型語言模型的支援。

1049

Oomwoo:一個開源、DIY 機器人吸塵器專案

Oomwoo 是一個開源機器人吸塵器,採用社群驅動開發、3D 列印與模組化軟體,提供可維修、無雲端的商業吸塵器替代方案。

1050

久坐不動的生活方式導致細胞能量產生的早期衰退

科羅拉多大學 Anschutz 的研究顯示,健康但久坐不動的個體,其線粒體功能和燃料轉運蛋白會顯著下降,這可能為未來的代謝疾病埋下伏筆。