3. 哦,看來在標準 C 中無法以兼容不同平臺的方式檢查字符串轉浮點數的轉換錯誤。 oh, apparently it''s not possible to portably check for string-to-float conversion errors in standard c (sebsite.pw)
4. 將 Go 語言的 defer 添加到 TypeScript 編譯器中 Adding Go''s defer to the TypeScript Compiler (healeycodes.com)
7. 面向滲透測試人員和防禦人員的《“Plug&Pwn”實用指南》 A Practical Guide to “Plug&Pwn” for Pentesters and Defenders (blog.scrt.ch)
11. Lifeguard:一款用於檢查 Python 懶加載兼容性的靜態分析工具 Lifeguard: A static analyzer for Python lazy imports compatibility (github.com)
18. “機器人”是一種社會建構:為什麼你的洗碗機不是機器人 "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot (robotgirlgang.com)
19. 關於四個定理證明器的故事,或者說:對Isabelle/HOL、Lean、HOL4和Agda的(頗具主觀色彩的)比較 A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev)
25. 在現代硬件上,究竟由誰負責處理硬件狀態的哪一部分,這一點可能並不明確 On modern hardware, who handles what bit of hardware state can be unclear (utcc.utoronto.ca)
30. Telegram 桌面版:通過 IPC 注入實現一鍵接管賬戶 Telegram Desktop: one-click account takeover via IPC injection (beaksec.github.io)
34. 深入探討:Windows 與 Mac 鍵盤的差異 Deeper dive: Keyboard differences between Windows and Macs (unsung.aresluna.org)
36. B-樹捲土重來:設計快速且可分頁的節點佈局 B-Trees Are Back: Engineering Fast and Pageable Node Layouts (www.cs.cit.tum.de)
43. 納維-斯托克斯方程在轉換中的失真:為何人工智能自動形式化中的精簡驗證無法保證自然語言證明的正確性 Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arxiv.org)
47. 在我們的讀取密集型工作負載中,RwLock 的性能開銷 The Performance Cost of RwLock in Our Read-Heavy Workload (pranitha.dev)
52. Shopify 又回到了原生模式。我認為更大的轉變在於形式化驗證。 Shopify went back to native. I think the bigger shift is formal verification (martinalderson.com)
53. SPA 與超媒體:基於 PLANKA 評估的協作式看板 SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA (zweiundeins.gmbh)
60. 未定義的操作碼 ud0 和 ud1 怎麼會有參數呢? How can undefined opcodes ud0 and ud1 have parameters? (devblogs.microsoft.com)
62. 新通用頂級域名(gTLD)計劃:2026年輪次申請 New gTLD Program: 2026 Round applications (newgtldprogram-aps.icann.org)
67. 計算機先驅、曾領導阿波羅計劃軟件開發的瑪格麗特·漢密爾頓去世,享年90歲 Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 (news.mit.edu)
69. 當海底光纜中斷時:瞭解並防範臺灣國際互聯網斷網的風險 When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan''s International Internet Disconnection (resilience.ocf.tw)
76. 學習AI/ML知識的最佳書籍/課程/頻道,助你實現跨越式進步 Best Books/Courses/Channels to Leapfrog on AI/ML Material (lobste.rs)
81. 介紹 Mapsnap:歷史版桑伯恩保險地圖的自動地理配準 Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (www.danvk.org)
83. 那次並非錯誤的數據競爭(以及那次確實是錯誤的數據競爭) The Data Race That Wasn''t a Bug (and the One That Was) (victoriametrics.com)
85. 一個基於純Rust語言、在“潔淨室”環境下實現的Adobe Photoshop開源重構版本 An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust (github.com)
89. Koreader 的閱讀統計數據和標註同步功能,用於間隔重複學習 Koreader reading statistics and highlights sync for spaced repetition (blog.zm.is)
98. Raspberry Pi Desktop 現已支持 PC 和 Mac Raspberry Pi Desktop now available for PC and Mac (www.raspberrypi.com)
100. Burn 0.22.0:構建速度更快、擴展更便捷、自動調優更智能 Burn 0.22.0: Faster Builds, Easier Extensions, and Smarter Autotuning (tracel.ai)
101. Janet 談 x32:32 位指針、64 位速度、內存佔用減少 25% Janet on x32: 32-bit Pointers, 64-bit Speed, 25% Less RAM (alexalejandre.com)
105. 深入解析 Windows I/O 管理器:詳解讀取 I/O 請求的初始化過程 Inside the Windows I/O Manager: Deep dive into how read I/O requests are initialized (winware31.blogspot.com)
107. Pared——在不禁用SIP的情況下移除不需要的Apple Intelligence模型 Pared - remove unwanted Apple Intelligence models without disabling SIP (github.com)
108. Perseus:面向雲存儲系統的故障緩衝檢測框架(2023) Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems (2023) (www.usenix.org)
115. Percona Server 和 MySQL 中的線程池(第 1 部分) Thread Pool in Percona Server and MySQL (Part 1) (www.percona.com)
123. 兩個針對 arm64 的編譯錯誤在 curl 中引發了安全漏洞 Two arm64-specific miscompiles induce vulnerabilities in curl (mastodon.social)
124. 為什麼 Common Lisp 如今是最好的編程語言 Why Common Lisp Is Now the Best Programming Language (www.vivienhenz.com)
125. hutch:面向“輕度被邊緣化”群體的 Emacs 本地代碼審查工具 hutch: local code reviews in emacs for the mildly disenfranchised (kitallis.in)
129. Cloudflare 如何解決容器中存在的跨租戶數據洩露漏洞 How Cloudflare addressed a cross-tenant data exposure vulnerability in Containers (blog.cloudflare.com)
130. 陀思妥耶夫斯基:通過自適應移除多餘的合併操作,為基於LSM樹的鍵值存儲實現更優的時空權衡 Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging (nivdayan.github.io)
131. 一款用於檢查郵件服務器 SPF、DKIM、TLSA 和 TLS 設置的 Go 語言工具 Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers (git.sig-io.nl)
145. 我和Deno的友誼已經結束,現在Node是我最好的朋友 Friendship ended with Deno, now Node is my best friend (dbushell.com)
146. 一款全新的、量身定製的靜態網站生成器,用於取代 Jekyll A new, bespoke static site generator to replace Jekyll (nullprogram.com)
149. 圖夫特的剃刀:數據與墨水比的交互式指南 Tufte''s Razor: an interactive guide to the data-ink ratio (tuftesrazor.scienceux.org)
150. 來源:[email protected] - 偽造任意的蘋果iCloud身份 From: [email protected] - Spoofing Arbitrary Apple iCloud Identities (sec-consult.com)
155. 廣播媒體集團正試圖接管地面電視。我們必須捍衛它。 Broadcasting conglomerates are attempting a takeover of over-the-air television. We must defend it (place.reeseric.ci)
159. 基於協議的共識型存儲恢復機制(2018) Protocol-aware recovery for consensus-based storage (2018) (www.usenix.org)
163. “破解”Go編譯器以高效地將IPv4映射到IPv6 Hacking the Go compiler to efficiently map IPv4 to IPv6 (vincent.bernat.ch)
164. 由 git-sim 繪製的、可自定義的 Git 動畫速查表 An animated, customizable Git cheat sheet drawn by git-sim (initialcommit.com)
168. 改進和穩定 NetBSD 中的 racoon2 IKE 守護進程 Improving and Stabilizing the racoon2 IKE Daemon in NetBSD (blog.netbsd.org)
169. 真值的補集是真,除非它是假的 The complement of true is true, except when it''s false (dryperspective.github.io)
170. 《普通人也能懂的JavaScript引擎JIT漏洞入門》 A Mere Mortal''s Introduction to JIT Vulnerabilities in JavaScript Engines (trustfoundry.net)
171. grubby:一款用 Ruby 編寫的、用於 Git 倉庫的靜態網站生成器 grubby: static site generator for git repos written in Ruby (git.btxx.org)
172. 根據十二種範式下的規範得分對模型進行排名,其中各包含一次中性條件和一次人類提示條件 Models ranked by normative score across twelve paradigms, once neutral and once human-primed (cognit.rajtilak.tech)
174. 我們幾乎在所有方面都需要設定默認的硬性預算上限 We’re going to need default hard budget caps on pretty much everything (simonwillison.net)
177. 為什麼我更推薦 Renovate 而不是其他依賴項更新工具(2024) Why I recommend Renovate over any other dependency update tools (2024) (www.jvt.me)
179. 定製化:針對動態類型面向對象編程語言SELF的編譯器技術優化(1989) Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) (dl.acm.org)
192. 適用於 CPython 的 Rust(2026 年 Python 語言峰會) Rust for CPython (Python Language Summit 2026) (blog.python.org)
194. 現代桌面環境的問題與解決方案(讓 tmux 成為操作系統) Problems and solutions to the modern desktop (Make tmux the OS) (matduggan.com)
200. 我成了攻擊目標:攻擊者試圖通過 Git 的 post-checkout 鉤子竊取您的憑據 I got targeted: Trying to get your credentials via a git post-checkout hook (frankwiles.com)
203. Klassik 在現代的 Plasma 6 上重現了 KDE 3 桌面 Klassik Revives the KDE 3 Desktop on Modern Plasma 6 (linuxiac.com)
207. 使用 Rust 驅動 GDEH0154D67 電子紙顯示屏 Driving the GDEH0154D67 e-paper display with Rust (sgt.hootr.club)
210. 如果提供了無障礙選項卡,GitHub 倉庫的首頁現在會顯示該選項卡 GitHub repository landing pages now show an accessibility tab, if provided (ericwbailey.website)
211. JetBrains Air:構建面向代理式軟件開發的產品體系 JetBrains Air: Building a System of Products for Agentic Software Development (blog.jetbrains.com)
222. 受 Emacs 的 rx 啟發,適用於 JavaScript/TypeScript 的易讀正則表達式 Readable Regular Expressions for JavaScript/TypeScript, Inspired by Emacs'' rx (rahuljuliato.com)
223. “推力”與“轉向”(或:又一個關於鄧寧-克魯格效應的軼事案例) Thrust vs. Steer (or: Yet Another Anecdotal Case of the Dunning-Kruger Effect) (write.as)
225. @storyteller-platform/epub v1.0.0 發佈 @storyteller-platform/epub v1.0.0 release (storyteller-platform.dev)
226. 調度表是可求解的符號:數據流架構上無需調優的片段程序編譯 Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures (arxiv.org)
229. Git 3.0 即將採用 SHA-256 作為默認值,這將是一個代價高昂的錯誤 Git 3.0''s upcoming SHA-256 default will be a costly mistake (blog.gitbutler.com)
230. 如何製作文本框:Unicode 與 OpenType 速成課程——吉米·勒菲弗,BSC 2026 How to make a text box: A crash course in Unicode and OpenType - Jimmy Lefevre, BSC 2026 (www.youtube.com)
232. 我開發了一個小程序,它會遍歷互聯網,生成每日個性化的新聞摘要。 I built a small app that scours the internet to create a daily personolized news briefing (github.com)
234. Pidgin 3.0 Alpha 3 2.97.0 已發佈 Pidgin 3.0 Alpha 3 2.97.0 has been released (discourse.imfreedom.org)
235. outis:通過生成併發送虛假的“用戶不存在”退信郵件來對抗AI垃圾郵件 outis: Fight AI spam by generating and sending a fake "user unknown" bounce emails (github.com)
236. 第二枚“金釘”:跨越Valen與Rust邊界的內存安全性 The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary (verdagon.dev)
237. 谷歌違背了為Chromebook提供10年更新的承諾 – OSnews Google breaks promise to provide 10 years of updates to Chromebooks – OSnews (www.osnews.com)
241. 沙箱技術足以遏制惡意程序嗎? Is sandboxing sufficient to contain rogue agents? (blog.cryptographyengineering.com)
245. IANA 關於 example.com 為何發生變更的電子郵件 IANA''s email about why example.com changed (www.oliverdunk.com)
253. Debian 因 33 個 CVE 漏洞而對 rsync 進行了重大升級 Major rsync upgrade in Debian because of 33 CVEs (lobste.rs)
257. 我們曾將數據庫用作消息隊列。現在我們使用Kafka We used a database as a message queue. Now we use Kafka (www.tigrisdata.com)
259. 分支目標重用:JIT 引擎中的 Spectre-v2 攻擊 Branch Target Reuse: Spectre-v2 Attacks in JIT Engines (www.vusec.net)
261. Songhive — 一個完全自主託管且支持聯邦化的音樂平臺 Songhive — A fully self-hosted and federated music platform (blog.fabiomanganiello.com)
267. 2026年第二季度 Backblaze 硬盤統計數據:硬盤故障率 Q2 2026 Backblaze Drive Stats: Hard Drive Failure Rates (www.backblaze.com)
273. “啞服務器,智能客戶端”:使用 Quarry 分發圖片 Dumb Servers, Smart Clients: Distributing Images with Quarry (amutable.com)
275. snowdesktop:面向開發者的不可變 Debian 桌面環境 snowdesktop: Immutable Debian desktop for developers (github.com)
280. OpenBSD 的 ports 樹保留了採用 GPL 許可的 coreutils,而拒絕了 uutils(Rust 重寫版) OpenBSD''s ports tree keeps GPL coreutils and rejects uutils (Rust rewrite) (www.mail-archive.com)
284. 如何在2026年9月加快Rust編譯器的運行速度 How to speed up the Rust compiler in September 2026 (nnethercote.github.io)
287. ESPARGOS - ESP-SDR:使用 Espressif 的 ESP32 芯片進行原始 IQ 數據捕獲 ESPARGOS - ESP-SDR: Raw IQ Capture with Espressif''s ESP32 Chips (espargos.net)
288. 關於當前人工智能領域炒作與狂熱現象,我找到的最好解釋 The best explanation I''ve found about the state of AI hype and hysteria (www.youtube.com)
289. Change Tours 因為理解代碼變更並不容易 Change Tours Because understanding a code change is hard (hannahpotter.github.io)
292. Nura(postmarketOS):通往可日常使用的主流手機之路 Nura (postmarketOS): The road to daily-drivable mainline phones (postmarketos.org)
293. 我如何用 Opus 5.5 在四天內開發出一款 iPhone 應用 How I Built an iPhone App in Four Days with Opus 5.5 (projectautonomy.substack.com)
298. ACAB隊長——共同追蹤執法工作的隱性成本 Captain ACAB - collectively tracking the hidden costs of law enforcement (captainacab.com)