7. 2025年國際C語言混淆代碼競賽(IOCCC 29)獲獎名單 Winners of the 2025 International Obfuscated C Code Contest (IOCCC 29) (www.ioccc.org)
12. Guix Nix 怪胎:在 Nix 中利用 Guix 派生 The Guix Nix Abomination: Leveraging Guix derivations in Nix (fzakaria.com)
16. Harness 工程:在“代理優先”的世界中運用 Codex Harness engineering: leveraging Codex in an agent-first world (openai.com)
18. Treehouse – 在不同的 Git 工作樹中隔離多個開發環境 Treehouse – isolate multple dev environments on different Git worktrees (github.com)
22. AST 匹配器與 Clang 重構工具(2014) AST matchers and Clang refactoring tools (2014) (eli.thegreenplace.net)
23. MXC 內部機制:微軟的 eXecution Containers 如何實際隔離代理代碼 MXC Internals: How Microsoft''s eXecution Containers Actually Isolate Agent Code (www.originhq.com)
25. 使用 MicroPython 和 WASM 在沙箱中運行 Python 代碼 Running Python code in a sandbox with MicroPython and WASM (simonwillison.net)
32. 如果大型語言模型具備人類般的特質,那麼《帝國時代II》也是如此 If LLMs Have Human-Like Attributes, Then So Does Age of Empires II (arxiv.org)
33. 您客廳裡的智能電視是AIScraping經濟中的一個節點 The Smart TV in Your LivingRoom Is a Node in the AIScraping Economy (blog.includesecurity.com)
35. 語言模型通過數據中的隱含信號傳遞行為特徵 Language models transmit behavioural traits through hidden signals in data (www.nature.com)
37. Magecart 信息竊取程序將 Stripe 變為惡意軟件命令服務器 Magecart skimmer turns Stripe into a malware command server (sansec.io)
40. 指導委員會關於JIT項目的公告 An announcement from the Steering Council regarding the JIT project (discuss.python.org)
45. pg_durable:PostgreSQL 數據庫內的持久化執行 pg_durable: PostgreSQL in-database durable execution (github.com)
50. Multigres v0.1 Alpha:一款面向 Postgres 的操作系統 Multigres v0.1 Alpha: an operating system for Postgres (supabase.com)
52. Symbolica 2.0:適用於 Python 和 Rust 的可編程符號系統 Symbolica 2.0: programmable symbols for Python and Rust (symbolica.io)
57. 那片並非空地的空地:GPS 播送數字電臺 The Empty Field That Wasn''t: GPS Broadcasts a Numbers Station (lsc-pagepro.mydigitalpublication.com)
61. 穿行於戰爭迷霧之中:《帝國時代》、AI 代理與“黑暗代碼”的興起 Navigating the Fog of War: Age of Empires, AI Agents, and the Rise of Dark Code (blog.waleson.com)
62. 微控制器魔法:RP2350“Sum Ergo Demonstro”演示的幕後揭秘 Microcontroller Magic: Under the Hood of the RP2350 "Sum Ergo Demonstro" demo (www.youtube.com)
63. 語義具現化:隨機程序生成的新範式 Semantic Reification: A new paradigm for random program generation (connglli.github.io)
68. 當 su 取代 login 成為另一種 Unix 登錄方式時 When su replaced login for becoming another Unix login (utcc.utoronto.ca)
72. teehee:一款受 Kakoune 和 Hiew 啟發的終端十六進制編輯器 teehee: A terminal hex editor inspired by Kakoune and Hiew (sr.ht)
80. QQuickItem 需要多長時間才能顯示出來?測量 Qt Quick 中的幀延遲 How Long Does It Take for a QQuickItem to Become Visible? Measuring Frame Delays in Qt Quick (www.kdab.com)
86. ComChan:一款速度極快的極簡串口監視器,支持串口繪圖 TUI 及其他功能 ComChan: A Blazingly Fast Minimal Serial Monitor with serial plottter TUI and more (github.com)
89. 人工智能愛好者正在與時間賽跑,而人工智能懷疑論者則在與熵賽跑 AI enthusiasts are in a race against time, AI skeptics are in a race against entropy (charitydotwtf.substack.com)
94. C 標準庫在過去十五年裡一直在自我修正,相關記錄均已公開 The C Standard Library Has Been Walking Itself Back for Fifteen Years, and the Receipts Are Public (hftuniversity.com)
96. 通過 MeshCore 獲取 Home Assistant 的 root 權限:利用 LoRa 節點名稱發起 XSS 攻擊 Rooting Home Assistant through MeshCore: XSS attacks with a LoRa node name (mxsasha.eu)
97. 擴展還是仿冒?你能分辨出哪些是有效的 Haskell 語言擴展,哪些是冒牌貨嗎? Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors? (doscienceto.it)
104. Elixir v1.20 發佈:現已成為一種漸進式類型語言 Elixir v1.20 released: now a gradually typed language (elixir-lang.org)
107. 安全無憂(上):單一所有權(並非)可選 Safe Made Easy Pt.1: Single Ownership is (Not) Optional (ergeysay.github.io)
111. mimalloc:一款面向現代時代的新型、高性能且可擴展的內存分配器 mimalloc: A new, high-performance, scalable memory allocator for the modern era (www.microsoft.com)
113. Curatube:一款專為YouTube播放列表設計的無干擾界面,助您專注學習 Curatube: a distraction free interface for YT playlists to focus on learning (curatube-demo.vercel.app)
114. Pwnd Blaster:無需觸碰電腦,僅通過揚聲器即可入侵你的電腦 Pwnd Blaster: Hacking your PC using your speaker without ever touching it (blog.nns.ee)
116. WSL 容器、Windows 版 Coreutils 以及代理 WSL containers, Coreutils for Windows, and agents (blogs.windows.com)
121. 在缺乏證明的情況下,軟件是如何變得如此可靠的?(1996) How did software get so reliable without proof? (1996) (6826.csail.mit.edu)
123. Gleam v1.17 - 基於 escript 的單文件 Gleam BEAM 程序 Gleam v1.17 - Single file Gleam BEAM programs with escript (gleam.run)
127. 完全披露:利用 VSCode 漏洞一鍵竊取 GitHub 令牌 Full Disclosure: 1-Click GitHub Token Stealing via a VSCode Bug (blog.ammaraskar.com)
130. 微軟首席執行官:我們將從操作系統和應用程序轉向代理 Microsoft CEO: We’re moving from OS and apps to agents instead (9to5mac.com)
133. DAP 多路複用器:將您的編輯器、REPL、調試器(以及更多工具)連接起來,使其在單一調試會話中協同工作,且該會話在工具發生故障時仍能保持持久性 DAP multiplexer: connect your editor, your REPL, your debugger (and more) all working together in a single debug session durable across tool failures (github.com)
134. Edsger——一款專為 reMarkable 2 設計的 Clojure 手寫 REPL Edsger – a handwritten Clojure REPL for the reMarkable 2 (handwritten.danieljanus.pl)
140. 沒有 Let,沒有 Rec,沒問題:Y 和 Z 組合子的入門指南 No Let, No Rec, No Problem: A Gentler Introduction to the Y and Z combinators (irfanali.org)
146. 為 KDE Plasma 最後一個支持 X11 的版本做準備 Preparing for KDE Plasma’s Last X11-Supported Release (blog.davidedmundson.co.uk)
150. 人工智能在軟件工程中的應用:從可能到可證明 Artificial Intelligence for Software Engineering: From Probable to Provable (cacm.acm.org)
151. rustc_codegen_jvm:用於生成 JVM 字節碼的 Rust 編譯器後端 rustc_codegen_jvm: Rust compiler backend to emit JVM bytecode (github.com)
153. Warpgate 0.24(一款無需客戶端的堡壘服務器)新增了 Web SSH 終端 Warpgate 0.24 (a client-less bastion) adds a web SSH terminal (github.com)
158. thunderbolt-ibverbs:我們家裡有InfiniBand thunderbolt-ibverbs: We have InfiniBand at home (blog.hellas.ai)
159. strace-ui、Bonsai_term 與 TUI 的復興 strace-ui, Bonsai_term, and the TUI renaissance (blog.janestreet.com)
163. 如何在數據中心服務器上安裝 SmartOS(2025) How to install SmartOS on a datacenter machine (2025) (blog.jcea.es)
165. Instagram上最新的“漏洞”是我見過最滑稽的一個 The Newest Instagram "Exploit" is the Goofiest I''ve Seen (www.0xsid.com)
168. nbd-vram:在 Linux 上將 NVIDIA GPU 的顯存用作交換空間 nbd-vram: Use your NVIDIA GPU''s VRAM as swap space on Linux (github.com)
179. 燈光與音樂的同步:DJ臺上的馬祖洛算法 Syncing lights with music: Marzullo''s algorithm in the DJ booth (aaronjanse.substack.com)
180. H2JVM——一個用於編寫 JVM 字節碼的 Haskell 庫 H2JVM - A Haskell Library for writing JVM Bytecode (discourse.haskell.org)
182. 使用 Go 的 net/http/httptrace 追蹤 HTTP 請求 Tracing HTTP Requests with Go''s net/http/httptrace (blainsmith.com)
183. Arch Linux:針對所有 varnish 用戶的重大變更,該組件已更名為 vinyl-cache Arch Linux: Breaking changes for all users of varnish, which is renamed to vinyl-cache (archlinux.org)
185. 學習Gleam編程語言的理由與資源 Reasons and Resources for Learning The Gleam Programming Language (www.youtube.com)
189. 支持 DMA 的 UTF-8 電子郵件:DragonFly 郵件代理 UTF8 email with DMA: DragonFly Mail Agent (www.vincentdelft.be)
191. 關於從紅外圖像中讀取SRAM,以及建立信任邊界 On Reading SRAMs in IR Images, and Establishing Bounds on Trust (www.bunniestudios.com)
194. 既然幾乎沒有其他機構使用ISE,為什麼ASTC要使用它呢? Why does ASTC use ISE when almost nothing else does? (fgiesen.wordpress.com)
196. 為大型多人在線角色扮演遊戲(MMORPG)添加離線模式和自定義服務器 Adding Offline Mode and Custom Servers to an MMORPG (plantbasedgames.io)
198. 設計之初即違法:揭露生成式人工智能的人權代價 Unlawful by design: Exposing the human rights costs of generative AI (www.amnesty.org)
204. Cloudflare Turnstile 需要支持指紋識別的 WebGL Cloudflare Turnstile requiring fingerprintable WebGL (hacktivis.me)
207. 一套適用於Odin語言的實用現代色彩空間轉換方案 A pragmatic set of modern colour space transforms for the Odin language (github.com)
209. securix:基於 NixOS 的安全操作系統。提供一個經過強化處理的環境,具備強大的隔離能力、可重現性以及基於策略的配置 securix: NixOS-based secure operating system. Provides a hardened environment with strong isolation, reproducibility, and policy-driven configurations (github.com)
220. 英特爾 8087 浮點芯片內部的微代碼:寄存器交換 Microcode inside the Intel 8087 floating-point chip: register exchange (www.righto.com)
222. 在我的 Rust 應用程序中,自定義錯誤是不可或缺的 Custom Errors Are Non-Negotiable in My Rust Applications (tristonarmstrong.com)
223. Rust 語言中 Pretty Printer 實現的新設計 A New Design for Pretty Printer Implementations in Rust (blog.wybxc.cc)
226. 檢測並分析任何網站上的字體,揭示其屬性與元數據 Detect and profile fonts on any website, revealing their properties and metadata (typicalhq.vercel.app)
230. 探索 MTE 領域:iOS 內存保護深度解析 Navigating the MTE Landscape: iOS Memory Protection Deep Dive (fuzzinglabs.com)
232. Canonical 接管 Flutter 桌面版的維護與路線圖 Canonical takes over Flutter desktop maintenance & roadmap (www.omgubuntu.co.uk)
234. Nix 運行於 Sailfish X(適用於索尼 Xperia 的 Sailfish OS) Nix on Sailfish X (Sailfish OS for Sony Xperia) (toast.al)
237. OpenRCT2 v0.5.1 “沼澤城堡” 正式發佈!這是最後一個支持 Windows 7 的版本 OpenRCT2 v0.5.1 “Swamp Castle" released! Last version to support Windows 7 (openrct2.io)
242. dax — 適用於 Deno 和 Node.js 的跨平臺 shell 工具 dax — cross-platform shell tools for Deno and Node.js (dax.land)
243. Go 語言服務器具備出色的代碼導航功能 The Go language server can do some impressive code navigation (utcc.utoronto.ca)
246. “但這確實發生了。”——凱西·穆拉托里對埃裡克·施密特畢業典禮演講的評論 "But it happened." - Casey Muratori''s comment on Eric Schmidt''s commencement speech (youtu.be)
247. 使用 blanket 在 Python 中進行確定性多線程測試 Deterministic Multithreaded Testing in Python with blanket (bernat.tech)
251. Absurd 是一個 Postgres 原生的持久化工作流系統 Absurd is a Postgres-native durable workflow system (earendil-works.github.io)
257. Reed 規範或更優的前綴認證 (2023) Reed Specification or Better Prefix Authentication (2023) (worm-blossom.github.io)
258. Scriba:支持多後端和自動配置的 Lisp 結構化日誌記錄庫(Scheme 庫) Scriba: Structured logging in Lisp with multiple backends and auto-config (Scheme library) (codeberg.org)
260. 有哪些重要的數據系統問題被研究界所忽視?(2024) What are important data systems problems, ignored by research? (2024) (databasearchitects.blogspot.com)
261. Unicode 字符串的等價性很奇怪(2016) Equivalence of Unicode strings is strange (2016) (databasearchitects.blogspot.com)
268. Lunacy——支持懶惰基本代碼塊版本控制和即時編譯(JIT)的 Lua 5.1 解釋器 Lunacy - Lua 5.1 interpreter with Lazy Basic Block Versioning and JIT (redvice.org)
269. Neptune 簡介:適用於 QEMU 的 Direct3D 虛擬化 Introducing Neptune: Direct3D virtualization for QEMU (blog.getutm.app)
274. Roto——Rust 的編譯型腳本語言,誕生一週年 One year of Roto, the compiled scripting language for Rust (blog.nlnetlabs.nl)
275. CIFSwitch:一個非通用型 Linux 本地 root 權限漏洞 CIFSwitch: a non-universal Linux local root vulnerability (heyitsas.im)
282. RIPE NCC 會話固定:利用 Atlas 探針竊取登錄憑據 RIPE NCC session fixation: poaching logins with an Atlas probe (mxsasha.eu)
286. airtop:專為無線網絡設計的 htop —— 終端中的實時 802.11(Wi-Fi)射頻儀表盤 airtop: htop for the airwaves — a live 802.11 (Wi-Fi) RF dashboard in your terminal (github.com)
288. 對《創:戰紀》中Shell歷史場景的吹毛求疵 Nitpicking the shell history scene in ‘Tron: Legacy’ (www.chiark.greenend.org.uk)
296. 在不使用跳板函數的情況下,使用 GCC 的嵌套函數與寬指針 Using GCC''s Nested Functions with Wide Pointers and no Trampolines (uecker.codeberg.page)