11. 打造藍天數據平面(Bluesky DataPlane)的靈丹妙藥:出乎意料的選擇 Elixir for a Bluesky DataPlane: the choice we didn''t expect (bitcrowd.dev)
13. 如何通過構建一個以HTML為先的網站,讓我們的用戶數量一夜之間翻倍 How building an HTML-first site doubled our users overnight (mohkohn.co.uk)
17. 將 OCaml 運行時從 C 語言逐行翻譯為 Rust 語言 A line-by-line translation of the OCaml runtime from C to Rust (discuss.ocaml.org)
24. CVE-2026-45447:PKCS7_verify() 函數中的堆內存釋放後使用漏洞 CVE-2026-45447: Heap Use-After-Free in the PKCS7_verify() Function (openssl-library.org)
25. 使用 Elixir 和 OTP 為大型語言模型(LLM)代理構建持久性認知架構 Building a persistent cognitive architecture for LLM agents using Elixir and OTP (0xcc.re)
28. (略微)瞭解 GNU Emacs 中的 Embark 以及一些“傻瓜式”的 Embark 技巧 Understanding Embark in GNU Emacs (a bit) and some ''stupid'' Embark tricks (utcc.utoronto.ca)
32. 致辦公套件用戶的公開信——在Euro-Office發佈前夕 An open letter to office suite users, just before the Euro-Office announcement (blog.documentfoundation.org)
39. Stack Overflow 上 262,715 個正則表達式問題未能解答的內容(第二部分) what 262,715 regex questions on stack overflow haven''t answered (part 2) (iev.ee)
43. Datatype — 一種能將文本轉化為圖表的可變字體 Datatype — variable font that turns text into charts (franktisellano.github.io)
49. 這是幾周內第二次出現摻有憑證竊取程序的微軟軟件包 For the 2nd time in weeks, Microsoft packages laced with credential stealer (arstechnica.com)
51. 𝜇𝜆ϵ𝛿-微積分:一種似乎展現出悖論性超限認知能力的自優化語言 𝜇𝜆ϵ𝛿-Calculus: Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities (arxiv.org)
55. 從自己的可路由IPv4地址塊開始,以“硬核”方式搭建自託管郵箱 Self-hosting email the hard way from your own routable IPv4 block up (anil.recoil.org)
57. 科學家終於完成了施羅丁格那項已有百年曆史的色彩理論 Scientists finally complete Schrödinger’s 100-year-old color theory (www.sciencedaily.com)
58. 《Redox本月精選》——2026年5月 —— Redox —— 您的下一代操作系統 This Month in Redox - May 2026 - Redox - Your Next(Gen) OS (www.redox-os.org)
65. nixidy 簡介——基於 Nix 的 Kubernetes GitOps Introduction to nixidy - Kubernetes GitOps with nix (codedbearder.com)
67. 發佈 Fil-C Linux/x86_64 版本 0.679 · pizlonator/fil-c Release Fil-C Linux/x86_64 version 0.679 · pizlonator/fil-c (github.com)
72. 一個用 C 語言編寫的快速、零拷貝 Transit 格式讀寫器 A fast, zero-copy Transit-format reader and writer written in C (github.com)
75. GentleOS——專為復古32位和16位PC打造的兩款業餘操作系統 GentleOS - A pair of hobby OSes for vintage 32-bit and 16-bit PCs (github.com)
76. tinysub:一款功能齊全的網頁播放器,適用於兼容 Open Subsonic 的音樂服務器 tinysub: full-featured web player for Open Subsonic compatible music servers (tangled.org)
84. Servo 四月更新:全新 Android 用戶界面、焦點功能、表單、安全修復及其他內容 April in Servo: new Android UI, focus, forms, security fixes, and more (servo.org)
96. 2025年國際C語言混淆代碼競賽(IOCCC 29)獲獎名單 Winners of the 2025 International Obfuscated C Code Contest (IOCCC 29) (www.ioccc.org)
101. Guix Nix 怪胎:在 Nix 中利用 Guix 派生 The Guix Nix Abomination: Leveraging Guix derivations in Nix (fzakaria.com)
105. Harness 工程:在“代理優先”的世界中運用 Codex Harness engineering: leveraging Codex in an agent-first world (openai.com)
107. Treehouse – 在不同的 Git 工作樹中隔離多個開發環境 Treehouse – isolate multple dev environments on different Git worktrees (github.com)
111. AST 匹配器與 Clang 重構工具(2014) AST matchers and Clang refactoring tools (2014) (eli.thegreenplace.net)
112. MXC 內部機制:微軟的 eXecution Containers 如何實際隔離代理代碼 MXC Internals: How Microsoft''s eXecution Containers Actually Isolate Agent Code (www.originhq.com)
114. 使用 MicroPython 和 WASM 在沙箱中運行 Python 代碼 Running Python code in a sandbox with MicroPython and WASM (simonwillison.net)
121. 如果大型語言模型具備人類般的特質,那麼《帝國時代II》也是如此 If LLMs Have Human-Like Attributes, Then So Does Age of Empires II (arxiv.org)
122. 您客廳裡的智能電視是AIScraping經濟中的一個節點 The Smart TV in Your LivingRoom Is a Node in the AIScraping Economy (blog.includesecurity.com)
124. 語言模型通過數據中的隱含信號傳遞行為特徵 Language models transmit behavioural traits through hidden signals in data (www.nature.com)
126. Magecart 信息竊取程序將 Stripe 變為惡意軟件命令服務器 Magecart skimmer turns Stripe into a malware command server (sansec.io)
129. 指導委員會關於JIT項目的公告 An announcement from the Steering Council regarding the JIT project (discuss.python.org)
134. pg_durable:PostgreSQL 數據庫內的持久化執行 pg_durable: PostgreSQL in-database durable execution (github.com)
139. Multigres v0.1 Alpha:一款面向 Postgres 的操作系統 Multigres v0.1 Alpha: an operating system for Postgres (supabase.com)
141. Symbolica 2.0:適用於 Python 和 Rust 的可編程符號系統 Symbolica 2.0: programmable symbols for Python and Rust (symbolica.io)
146. 那片並非空地的空地:GPS 播送數字電臺 The Empty Field That Wasn''t: GPS Broadcasts a Numbers Station (lsc-pagepro.mydigitalpublication.com)
150. 穿行於戰爭迷霧之中:《帝國時代》、AI 代理與“黑暗代碼”的興起 Navigating the Fog of War: Age of Empires, AI Agents, and the Rise of Dark Code (blog.waleson.com)
151. 微控制器魔法:RP2350“Sum Ergo Demonstro”演示的幕後揭秘 Microcontroller Magic: Under the Hood of the RP2350 "Sum Ergo Demonstro" demo (www.youtube.com)
152. 語義具現化:隨機程序生成的新範式 Semantic Reification: A new paradigm for random program generation (connglli.github.io)
157. 當 su 取代 login 成為另一種 Unix 登錄方式時 When su replaced login for becoming another Unix login (utcc.utoronto.ca)
161. teehee:一款受 Kakoune 和 Hiew 啟發的終端十六進制編輯器 teehee: A terminal hex editor inspired by Kakoune and Hiew (sr.ht)
169. QQuickItem 需要多長時間才能顯示出來?測量 Qt Quick 中的幀延遲 How Long Does It Take for a QQuickItem to Become Visible? Measuring Frame Delays in Qt Quick (www.kdab.com)
175. ComChan:一款速度極快的極簡串口監視器,支持串口繪圖 TUI 及其他功能 ComChan: A Blazingly Fast Minimal Serial Monitor with serial plottter TUI and more (github.com)
178. 人工智能愛好者正在與時間賽跑,而人工智能懷疑論者則在與熵賽跑 AI enthusiasts are in a race against time, AI skeptics are in a race against entropy (charitydotwtf.substack.com)
183. C 標準庫在過去十五年裡一直在自我修正,相關記錄均已公開 The C Standard Library Has Been Walking Itself Back for Fifteen Years, and the Receipts Are Public (hftuniversity.com)
185. 通過 MeshCore 獲取 Home Assistant 的 root 權限:利用 LoRa 節點名稱發起 XSS 攻擊 Rooting Home Assistant through MeshCore: XSS attacks with a LoRa node name (mxsasha.eu)
186. 擴展還是仿冒?你能分辨出哪些是有效的 Haskell 語言擴展,哪些是冒牌貨嗎? Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors? (doscienceto.it)
193. Elixir v1.20 發佈:現已成為一種漸進式類型語言 Elixir v1.20 released: now a gradually typed language (elixir-lang.org)
196. 安全無憂(上):單一所有權(並非)可選 Safe Made Easy Pt.1: Single Ownership is (Not) Optional (ergeysay.github.io)
200. mimalloc:一款面向現代時代的新型、高性能且可擴展的內存分配器 mimalloc: A new, high-performance, scalable memory allocator for the modern era (www.microsoft.com)
202. Curatube:一款專為YouTube播放列表設計的無干擾界面,助您專注學習 Curatube: a distraction free interface for YT playlists to focus on learning (curatube-demo.vercel.app)
203. Pwnd Blaster:無需觸碰電腦,僅通過揚聲器即可入侵你的電腦 Pwnd Blaster: Hacking your PC using your speaker without ever touching it (blog.nns.ee)
205. WSL 容器、Windows 版 Coreutils 以及代理 WSL containers, Coreutils for Windows, and agents (blogs.windows.com)
210. 在缺乏證明的情況下,軟件是如何變得如此可靠的?(1996) How did software get so reliable without proof? (1996) (6826.csail.mit.edu)
212. Gleam v1.17 - 基於 escript 的單文件 Gleam BEAM 程序 Gleam v1.17 - Single file Gleam BEAM programs with escript (gleam.run)
216. 完全披露:利用 VSCode 漏洞一鍵竊取 GitHub 令牌 Full Disclosure: 1-Click GitHub Token Stealing via a VSCode Bug (blog.ammaraskar.com)
219. 微軟首席執行官:我們將從操作系統和應用程序轉向代理 Microsoft CEO: We’re moving from OS and apps to agents instead (9to5mac.com)
222. 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)
223. Edsger——一款專為 reMarkable 2 設計的 Clojure 手寫 REPL Edsger – a handwritten Clojure REPL for the reMarkable 2 (handwritten.danieljanus.pl)
229. 沒有 Let,沒有 Rec,沒問題:Y 和 Z 組合子的入門指南 No Let, No Rec, No Problem: A Gentler Introduction to the Y and Z combinators (irfanali.org)
235. 為 KDE Plasma 最後一個支持 X11 的版本做準備 Preparing for KDE Plasma’s Last X11-Supported Release (blog.davidedmundson.co.uk)
239. 人工智能在軟件工程中的應用:從可能到可證明 Artificial Intelligence for Software Engineering: From Probable to Provable (cacm.acm.org)
240. rustc_codegen_jvm:用於生成 JVM 字節碼的 Rust 編譯器後端 rustc_codegen_jvm: Rust compiler backend to emit JVM bytecode (github.com)
242. Warpgate 0.24(一款無需客戶端的堡壘服務器)新增了 Web SSH 終端 Warpgate 0.24 (a client-less bastion) adds a web SSH terminal (github.com)
247. thunderbolt-ibverbs:我們家裡有InfiniBand thunderbolt-ibverbs: We have InfiniBand at home (blog.hellas.ai)
248. strace-ui、Bonsai_term 與 TUI 的復興 strace-ui, Bonsai_term, and the TUI renaissance (blog.janestreet.com)
252. 如何在數據中心服務器上安裝 SmartOS(2025) How to install SmartOS on a datacenter machine (2025) (blog.jcea.es)
254. Instagram上最新的“漏洞”是我見過最滑稽的一個 The Newest Instagram "Exploit" is the Goofiest I''ve Seen (www.0xsid.com)
257. nbd-vram:在 Linux 上將 NVIDIA GPU 的顯存用作交換空間 nbd-vram: Use your NVIDIA GPU''s VRAM as swap space on Linux (github.com)
268. 燈光與音樂的同步:DJ臺上的馬祖洛算法 Syncing lights with music: Marzullo''s algorithm in the DJ booth (aaronjanse.substack.com)
269. H2JVM——一個用於編寫 JVM 字節碼的 Haskell 庫 H2JVM - A Haskell Library for writing JVM Bytecode (discourse.haskell.org)
271. 使用 Go 的 net/http/httptrace 追蹤 HTTP 請求 Tracing HTTP Requests with Go''s net/http/httptrace (blainsmith.com)
272. Arch Linux:針對所有 varnish 用戶的重大變更,該組件已更名為 vinyl-cache Arch Linux: Breaking changes for all users of varnish, which is renamed to vinyl-cache (archlinux.org)
274. 學習Gleam編程語言的理由與資源 Reasons and Resources for Learning The Gleam Programming Language (www.youtube.com)
278. 支持 DMA 的 UTF-8 電子郵件:DragonFly 郵件代理 UTF8 email with DMA: DragonFly Mail Agent (www.vincentdelft.be)
280. 關於從紅外圖像中讀取SRAM,以及建立信任邊界 On Reading SRAMs in IR Images, and Establishing Bounds on Trust (www.bunniestudios.com)
283. 既然幾乎沒有其他機構使用ISE,為什麼ASTC要使用它呢? Why does ASTC use ISE when almost nothing else does? (fgiesen.wordpress.com)
285. 為大型多人在線角色扮演遊戲(MMORPG)添加離線模式和自定義服務器 Adding Offline Mode and Custom Servers to an MMORPG (plantbasedgames.io)
287. 設計之初即違法:揭露生成式人工智能的人權代價 Unlawful by design: Exposing the human rights costs of generative AI (www.amnesty.org)
293. Cloudflare Turnstile 需要支持指紋識別的 WebGL Cloudflare Turnstile requiring fingerprintable WebGL (hacktivis.me)
296. 一套適用於Odin語言的實用現代色彩空間轉換方案 A pragmatic set of modern colour space transforms for the Odin language (github.com)
298. securix:基於 NixOS 的安全操作系統。提供一個經過強化處理的環境,具備強大的隔離能力、可重現性以及基於策略的配置 securix: NixOS-based secure operating system. Provides a hardened environment with strong isolation, reproducibility, and policy-driven configurations (github.com)