3. 关于基于属性的测试在验证形式化规格说明方面的“不可思议的有效性” Lobste Comment 02:48 On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications (proofsandintuitions.net)
4. pg_deltax：一款基于Apache许可证的PostgreSQL时间序列扩展 Lobste Comment 02:29 pg_deltax: Apache-licensed time-series extension for PostgreSQL (github.com)
8. 我们在强化 Turso 安全性的过程中，如何利用 Quint 发现 SQLite 中超过 10 个漏洞 Lobste Comment 05-19 How we used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)
9. 技术揭秘：构建实时和弦识别器 Lobste Comment 05-19 Under the Hood: Building a Real-Time Chord Recognizer (whatchord.earthmanmuons.com)
13. 我的域名在 GitHub Pages 上遭到滥用 Lobste Comment 05-19 My domain got abused on Github Pages (meertens.dev)
16. 一个用 C 语言编写的自平衡跳跃表（又称“splay-list”）库 Lobste Comment 05-19 A self-balancing skip-list (aka "splay-list") library in C (codeberg.org)
17. Lime，一款可在运行时合并语法的解析器生成器 Lobste Comment 05-19 Lime, a parser generator that can merge grammars at runtime (codeberg.org)
18. Noxu DB，Berkeley DB Java Edition 的 Rust 移植版 Lobste Comment 05-19 Noxu DB, a Rust port of Berkeley DB Java Edition (codeberg.org)
19. ProseMirror 模型在富文本转换中的超乎寻常的有效性 Lobste Comment 05-19 The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation (smoores.dev)
20. Windows DLL 加载器锁：Rust 线程如何导致 JVM 挂起 Lobste Comment 05-19 The Windows DLL loader lock: how a Rust thread can hang your JVM (questdb.com)
21. Facebook 的整体配置管理 Lobste Comment 05-19 Holistic Configuration Management at Facebook (research.facebook.com)
22. 利用Comptime处理更多带标签的联合子集 Lobste Comment 05-19 Even More Tagged Union Subsets with Comptime (sinclairtarget.com)
25. 利用代数和大型语言模型在Lean中验证飞行计划漏洞修复 Lobste Comment 05-19 Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io)
26. Spork：一个可作为 fork 使用的 posix_spawn Lobste Comment 05-19 Spork: A posix_spawn you can use as a fork (dl.acm.org)
27. 那位“一概拒绝”的工程师是零利率政策下的产物 Lobste Comment 05-19 The just-say-no engineer was a ZIRP phenomenon (www.seangoedecke.com)
29. Casuarina Linux 简介：一款基于 glibc 的 Chimera Linux 衍生版 Lobste Comment 05-19 Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative (casuarina.org)
30. 针对Bambu违反AGPLv3的全面回应 Lobste Comment 05-19 Comprehensive Response to Bambu''s AGPLv3 Violations (sfconservancy.org)
31. CISA管理员在GitHub上泄露了AWS GovCloud密钥 Lobste Comment 05-19 CISA Admin Leaked AWS GovCloud Keys on Github (krebsonsecurity.com)
34. cargo-crap：在 AI 生成的 Rust 代码中发现未经测试的复杂性 Lobste Comment 05-19 cargo-crap: Finding Untested Complexity in AI-Generated Rust Code (minikin.me)
35. 在大肠杆菌细胞上运行《毁灭战士》……速度非常、非常慢 Lobste Comment 05-19 Running ‘Doom’ on E. coli cells… very, very slowly (www.popsci.com)
39. Flathub究竟是如何运作的？CDN 和缓存层 Lobste Comment 05-19 How does Flathub even work? The CDN and caching layer (barthalion.blog)
42. Go 语言中 select 语句的实现 Lobste Comment 05-19 The implementation of select in Go (internals-for-interns.com)
43. AI 智能体安全——麻省理工学院 6.566 客座讲座 Lobste Comment 05-18 AI Agent Security - MIT 6.566 guest lecture (github.com)
44. 跨文档视图切换：那些无人提及的陷阱 Lobste Comment 05-18 Cross-Document View Transitions: The Gotchas Nobody Mentions (css-tricks.com)
45. 浏览器标签页中的类Linux内核——深入解析BrowserPod架构 Lobste Comment 05-18 A Linux-like kernel in a browser tab - deep dive in the BrowserPod architecture (labs.leaningtech.com)
47. 一个16字节的x86演示程序：带声音的矩阵雨 Lobste Comment 05-18 A 16-byte x86 demo: Matrix rain with sound (hellmood.111mb.de)
48. 开源操作系统融资的复杂性 Lobste Comment 05-18 Complications of funding an open source operating system (posixcafe.org)
49. 使用 OpenCode、Llama.cpp 和 Qwen 3.6 查找您代码中的错误 Lobste Comment 05-18 Find bugs in YOUR code using OpenCode, Llama.cpp and Qwen3.6 (wtarreau.blogspot.com)
50. FediMeteo、HAProxy 与不浪费 snac 线程的艺术 Lobste Comment 05-18 FediMeteo, HAProxy, and the art of not wasting snac threads (it-notes.dragas.net)
52. Calvin - 决定论、分布式 ACID 事务（2020） Lobste Comment 05-18 Calvin - Determinism, Distributed ACID transactions (2020) (www.mydistributed.systems)
55. 研究人员称微软在BitLocker中秘密植入了后门 Lobste Comment 05-18 Researcher says Microsoft secretly built a backdoor into BitLocker (www.techspot.com)
56. 使用 Claude Code 对 Android 恶意软件进行逆向工程 Lobste Comment 05-18 Reverse engineering Android malware with Claude Code (zanestjohn.com)
57. 在 Mac 上反转《Grateful Dead: D2S2》（2022） Lobste Comment 05-18 Reversing ‘Grateful Dead: D2S2’ on Mac (2022) (blog.os9.ca)
58. Rust 异步编程与 ARM 通用定时器 Lobste Comment 05-18 Rust async and the ARM generic timer (thejpster.org.uk)
59. 我能否推荐 eww 作为 Emacs 的创新用户界面？ Lobste Comment 05-18 May I recommend eww for Emacs’s innovative UI? (www.matem.unam.mx)
60. 在FPGA上从零开始设计科学计算器 Lobste Comment 05-18 Designing a Scientific Calculator from scratch in FPGA (baltazarstudios.com)
61. “塞进一张软盘里”——小软件宣言 Lobste Comment 05-18 Fits on a Floppy - A Manifesto for Small Software (fitsonafloppy.com)
62. postmarketOS 2026年4月版：全新启动画面 Lobste Comment 05-18 postmarketOS in 2026-04: new boot splash (postmarketos.org)
64. Bitsocial：面向社交应用的开源点对点网络 Lobste Comment 05-18 Bitsocial: Open Source P2P Network for Social Apps (bitsocial.net)
70. 克劳德·科德成功让 Adobe Lightroom 在 Linux 上运行起来 Lobste Comment 05-17 Claude Code managed to get Adobe Lightroom working on Linux (github.com)
72. 拥抱欧洲——探索欧洲的产品与服务 Lobste Comment 05-17 Go European — Discover European products and services (www.goeuropean.org)
74. Fast16：这款早于“震网”病毒的破坏工具旨在破坏核武器模拟系统 Lobste Comment 05-17 Fast16: Pre-Stuxnet Sabotage Tool Was Built to Subvert Nuclear Weapons Simulations (www.security.com)
75. PyCon US 2026 打包峰会回顾 Lobste Comment 05-17 PyCon US 2026 Packaging Summit Recap (discuss.python.org)
77. DeepSeek-V4-Flash 意味着大型语言模型（LLM）的引导技术再次引起关注 Lobste Comment 05-17 DeepSeek-V4-Flash means LLM steering is interesting again (www.seangoedecke.com)
80. Bazel 远程缓存中的基于内容的分块 Lobste Comment 05-17 Content-defined chunking in Bazel''s remote cache (www.buildbuddy.io)
81. 多语言Lisp：Common Lisp、Racket、Clojure、Emacs Lisp Lobste Comment 05-17 Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp (hyperpolyglot.org)
82. “片段表”——您文本编辑器中的无名英雄 Lobste Comment 05-17 The Piece Table - the Unsung Hero of Your Text Editor (dev.to)
85. Tomy Tutor 与 1983 年的家用电脑现状 Lobste Comment 05-17 The Tomy Tutor and the state of 1983 home computers (oldvcr.blogspot.com)
86. 《暮光》• 为经典冒险重燃光芒 Lobste Comment 05-17 Dusklight • Restoring light to a classic adventure (twilitrealm.dev)
87. 一个用于启用 Django 调试工具栏的复选框 Lobste Comment 05-17 A checkbox to enable the Django debug toolbar (mdk.fr)
88. OpenBSD 对 MAP-E CE 的实验性支持（反馈） Lobste Comment 05-17 experimental OpenBSD MAP-E CE support (feedback) (git.sr.ht)
90. 熔岩灯的徒劳：所谓“随机”的真正含义 Lobste Comment 05-17 The Futility of Lava Lamps: What Random Really Means (loup-vaillant.fr)
92. triad：面向 River Wayland 合成器的数据导向型窗口管理器 Lobste Comment 05-16 triad: data-oriented window manager for the River Wayland compositor (github.com)
93. 近期内核漏洞利用、攻击面缩减、IPSEC示例 Lobste Comment 05-16 Recent Kernel exploits, attack surface reduction, example IPSEC (www.openwall.com)
94. 《系统编程入门》第一部分：程序员编写程序（2025） Lobste Comment 05-16 Starting Systems Programming, Pt 1: Programmers Write Programs (2025) (eblog.fly.dev)
95. 一款适用于 Unix/Linux 系统的 X11 平台、风格类似 90 年代 Keygen 的工具 Lobste Comment 05-16 A 90''s era Keygen-like for X11 for Unix/Linux (github.com)
96. 仅使用 CSS 指定主题颜色的几种方法 Lobste Comment 05-16 A few ways of specifying per-theme colours in only CSS (chrismorgan.info)
98. 第13届“Virtual Bevy”线上聚会的录像现已发布在YouTube上 Lobste Comment 05-16 Virtual Bevy Meetup 13 Recordings now on YouTube (rustunit.com)
100. 廉价智能门铃存在全车队账户接管和通话劫持漏洞 Lobste Comment 05-16 Cheap smart doorbell allows fleet-wide account takeover and call hijacking (www.abgeo.dev)
103. 像浏览 Windows XP 桌面一样浏览维基百科 Lobste Comment 05-16 Explore Wikipedia Like a Windows XP Desktop (explorer.samismith.com)
104. 使用 Rust 解析 Godot 的 .tres 文件并遍历资源图 Lobste Comment 05-16 Using Rust to parse Godot .tres files and walk the resource graph (assethoard.com)
108. CVE-2026-40369：通过 NtQuerySystemInformation 实现内核地址任意递增 Lobste Comment 05-16 CVE-2026-40369: Arbitrary Kernel Address Increment via NtQuerySystemInformation (github.com)
113. 我们利用 AI 代理重构单体应用的经验教训 Lobste Comment 05-15 What we learned using AI agents to refactor a monolith (1password.com)
114. 针对 Pixel 10 的零点击漏洞利用链：一扇门关上，另一扇窗打开 Lobste Comment 05-15 A 0-click exploit chain for the Pixel 10: When a Door Closes, a Window Opens (projectzero.google)
115. 告别 Tailwind，学习如何构建自己的 CSS Lobste Comment 05-16 Moving away from Tailwind, and learning to structure my CSS (jvns.ca)
116. 错误考古学：借助大型语言模型破解一个长达十年的 Swift/C 谜题 Lobste Comment 05-15 Bug Archeology: Solving a decade-old Swift/C mystery (with LLMs) (samkhawase.com)
121. 旧的科技世界正在消亡，而新的却无法诞生 Lobste Comment 05-15 The old world of tech is dying and the new cannot be born (www.baldurbjarnason.com)
123. 永不停歇的双向类型检查 Lobste Comment 05-15 Bidirectional Typechecking That Does Not Stop (semantic-domain.blogspot.com)
125. claude-for-legal：一套用于法律工作流的插件 Lobste Comment 05-15 claude-for-legal: A suite of plugins for legal workflows (github.com)
126. Volkswagen——可检测测试在持续集成（CI）服务器上运行时的情况，并确保测试通过（2015） Lobste Comment 05-15 Volkswagen- detects when your tests are being run in a CI server, and makes them pass (2015) (github.com)
129. Mullvad 退出 IP 地址作为指纹识别载体 Lobste Comment 05-15 Mullvad exit IPs as a fingerprinting vector (tmctmt.com)
130. 用《宝可梦》讲解Prolog基础知识 Lobste Comment 05-15 Prolog Basics Explained with Pokémon (unplannedobsolescence.com)
131. ssh-keysign-pwn：以无特权用户身份读取 root 拥有的文件 Lobste Comment 05-15 ssh-keysign-pwn: Read root-owned files as an unprivileged user (github.com)
133. 在保持对科技工作的热爱的同时，你是否以某种方式践行着科技极简主义？ Lobste Comment 05-15 In what way if any are you a tech minimalist while maintaining your job/love for tech? (lobste.rs)
134. 将 3D Movie Maker 移植到 Linux Lobste Comment 05-15 Porting 3D Movie Maker to Linux (benstoneonline.com)
135. Amazonbot 终于开始遵守 robots.txt 了 Lobste Comment 05-15 Amazonbot is finally respecting robots.txt (xeiaso.net)
136. int a 5; a a a; a ? (2011) Lobste Comment 05-15 int a 5; a a a; a ? (2011) (gynvael.coldwind.pl)
138. “这是由法学硕士写的”这类评论应被标记为跑题 Lobste Comment 05-15 "This is written by an LLM" comments should be flagged as off-topic (lobste.rs)
141. PostgreSQL 18.4 和 17.10 修复了 11 个 CVE Lobste Comment 05-15 PostgreSQL 18.4, 17.10 closing 11 CVEs (www.postgresql.org)
142. SQL 的 ORDER BY 功能已有了长足的发展 Lobste Comment 05-15 SQL’s ORDER BY Has Come a Long Way (modern-sql.com)
143. 首个针对 Apple M5 的公开 macOS 内核内存损坏漏洞利用 Lobste Comment 05-15 First public macOS kernel memory corruption exploit on Apple M5 (blog.calif.io)
144. Linux 安全漏洞、禁运令的破裂以及日益缩短的补丁窗口期 Lobste Comment 05-15 Linux Compromises, Broken Embargoes, and the Shrinking Patch Window (www.askbaize.com)
148. C26 发布了一个无人问津的 SIMD 库 Lobste Comment 05-14 C26 Shipped a SIMD Library Nobody Asked For (lucisqr.substack.com)
151. 曼迪：Goblins 上的 ActivityPub Lobste Comment 05-14 Mandy: ActivityPub on Goblins (spritely.institute)
154. 编程即思考：我为何依然坚持手动编写代码 Lobste Comment 05-14 Coding Is Thinking: Why I Still Write Code by Hand (dev.to)
155. 关于优化受CPU限制的Go热路径的笔记 Lobste Comment 05-14 Notes from Optimizing CPU-Bound Go Hot Paths (blog.andr2i.com)
159. Classic 7 是一款 Windows 10 LTSC 修改版，其外观与 Windows 7 完全一致 Lobste Comment 05-14 Classic 7 is a Windows 10 LTSC mod to look 1:1 to Windows 7 (classic7.lol)
162. 请允许我推荐……了解 Emacs 的模式 Lobste Comment 05-14 May I recommend… understanding Emacs''s patterns (www.chiply.dev)
164. 5年过去，耗资500万美元：为Web开发发明一种新编程语言是个错误 Wasp Lobste Comment 05-14 5 Years and 5M Later: Inventing a New Programming Language for Web Development Was a Mistake Wasp (wasp.sh)
166. 利用一个存在18年的漏洞实现NGINX远程代码执行 Lobste Comment 05-14 Achieving NGINX Remote Code Execution via an 18-Year-Old Vulnerability (depthfirst.com)
167. 利用浏览器测试发现网站中的错别字 Lobste Comment 05-14 Catching Typos on My Website with Browser Testing (wickstrom.tech)
168. rqlite 是如何（以及为何）接管 SQLite 的预写日志的 Lobste Comment 05-14 How (and why) rqlite takes control of the SQLite Write-Ahead Log (philipotoole.com)
169. “点”是一种奇怪且不一致的计量单位 Lobste Comment 05-14 Points are a weird and inconsistent unit of measure (buttondown.com)
170. Fragnesia：一种新的 Linux 权限提升漏洞 Lobste Comment 05-14 Fragnesia: New Linux Privilege Escalation Exploit (github.com)
171. 如果《EndBASIC》里没有BASIC语言，会怎样？ Lobste Comment 05-14 What if there was no BASIC in EndBASIC? (blogsystem5.substack.com)
172. 注册一个免费的 *.city.state.us 地区域名 Lobste Comment 05-13 Setting up a free *.city.state.us locality domain (fredchan.org)
173. Lua 作为一种实用的“软基岩”语言 Lobste Comment 05-13 Lua as a practical "soft-bedrock" language (portal.mozz.us)
174. 撤销 Python 3.14 和 3.15 中的增量垃圾回收 Lobste Comment 05-13 Reverting the incremental GC in Python 3.14 and 3.15 (discuss.python.org)
177. 为非技术分析师设计一种自定义查询语言 Lobste Comment 05-13 Designing a Custom Query Language for Non-Technical Analysts (nchammas.com)
179. YellowKey BitLocker 绕过漏洞 Lobste Comment 05-13 YellowKey Bitlocker Bypass Vulnerability (github.com)
180. Sovereign Tech Fund 向 KDE 软件开发投资逾 100 万欧元 Lobste Comment 05-13 Sovereign Tech Fund invests over 1 million in KDE software development (kde.org)
182. Claude Code RCE：通过设置注入利用深度链接处理程序 Lobste Comment 05-13 Claude Code RCE: Exploiting Deeplink Handlers via Settings Injection (0day.click)
184. 关于东河水源控制功能可用性的最新消息 Lobste Comment 05-13 An update on East River Source Control availability (ersc.io)
185. Dart Live：一款通过 Wasm 在网页端实现的编译器、虚拟机、分析器及热重载工具 Lobste Comment 05-13 Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm (modulovalue.github.io)
186. MacBook Neo 评测：专为普通用户打造的笔记本电脑 Lobste Comment 05-13 MacBook Neo Review: The Laptop For The Rest Of Us (fireborn.mataroa.blog)
187. Tolaria、Rust，以及关于“什么样的 Mac 应用能让我感到舒适”的思考 Lobste Comment 05-13 Tolaria, Rust, and Questions About What Makes a Mac App Feel Good to Me (shapeof.com)
188. 不依赖启发式的确定性全静态二进制文件翻译 Lobste Comment 05-13 Deterministic Fully-Static Whole-Binary Translation without Heuristics (arxiv.org)
189. 面向有志成为高级用户的用户，关于Kakoune的详细介绍 Lobste Comment 05-13 A detailed introduction to Kakoune for the aspiring power user (ficd.sh)
191. Stack Overflow 上那 262,715 个正则表达式问题未能解答的究竟是什么 Lobste Comment 05-13 what 262,715 regex questions on stack overflow haven''t answered (iev.ee)
193. Pycco：一款支持100行文本的文学风格并排文档渲染器 Lobste Comment 05-13 Pycco: 100-line literate-style side-by-side documentation renderer (pycco-docs.github.io)
194. 压缩 OxCaml js_of_ocaml 软件包：从 285 MB 缩减至 4 MB Lobste Comment 05-13 Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB (kcsrk.info)
195. BeBox：BeOS 硬件、照片以及那桩未成行的苹果交易 Lobste Comment 05-13 The BeBox: BeOS Hardware, Photos, and the Apple Deal That Wasn''t (www.jdhodges.com)
196. 很快，我们终于可以将 JavaScript 驱逐到“阴影领域”了 Lobste Comment 05-13 Soon We Can Finally Banish JavaScript to the ShadowRealm (css-tricks.com)
198. “dnsmasq 中存在六个严重安全漏洞的 CVE” Lobste Comment 05-13 "six CVEs for serious security vulnerabilities in dnsmasq" (lists.thekelleys.org.uk)
199. Quack：DuckDB 客户端-服务器协议 Lobste Comment 05-13 Quack: The DuckDB Client-Server Protocol (duckdb.org)
201. 枚举转字符串的开销：C26 反射与传统方法的对比 Lobste Comment 05-13 cost of enum-to-string: C26 reflection vs the old ways (vittorioromeo.com)
203. Bambu Lab 正在滥用开源社会契约 Lobste Comment 05-12 Bambu Lab is abusing the open source social contract (www.jeffgeerling.com)
205. 模拟 Rust 代码的所有方法 Lobste Comment 05-12 All the ways to mock your Rust code (blog.appliedcomputing.io)
206. “杀死一只Cow”让我的 JSON 格式化器速度提升了 42% Lobste Comment 05-12 Killing a Cow made my JSON formatter 42% faster (jacobasper.com)
207. Rockstar是如何将整座城市塞进PlayStation 2内存中的 Lobste Comment 05-12 How Rockstar fit an entire city into PlayStation 2 memory (www.youtube.com)
208. 事后分析：TanStack npm 供应链安全事件 Lobste Comment 05-12 Postmortem: TanStack npm supply-chain compromise (tanstack.com)
209. 在较新版本的 Android 系统上，任何应用都可能泄露某些流量 Lobste Comment 05-12 Any app on recent Android versions can leak certain traffic (mullvad.net)
214. 《在 Linux 和 Unix 系统上编译 Emacs 以提升性能的技术指南》 Lobste Comment 05-12 A Technical Guide to Compiling Emacs for Performance on Linux and Unix systems (www.jamescherti.com)
216. Kettle：用于可验证软件溯源的经过验证的构建方案 Lobste Comment 05-12 Kettle: Attested builds for verifiable software provenance (arxiv.org)
217. CSS 及文本、图片和表格的垂直间距 Lobste Comment 05-12 CSS & vertical rhythm for text, images, and tables (vincent.bernat.ch)
218. floci：轻量、灵活，且完全免费——AWS Local Emulator 的替代方案 Lobste Comment 05-12 floci: Light, fluffy, and always free - The AWS Local Emulator alternative (github.com)
219. 热门 Go 库 fsnotify 因维护者访问权限变更引发供应链安全警报 Lobste Comment 05-12 Popular Go library fsnotify raises supply chain alarms after maintainer access changes (socket.dev)
222. 第12届Plan 9国际研讨会注释摘要 Lobste Comment 05-12 An annotated digest of the 12th International Workshop on Plan 9 (n-gate.com)
231. 从 GNU Emacs 中的 lsp-mode 切换到 Eglot Lobste Comment 05-11 Moving from lsp-mode in GNU Emacs to Eglot (utcc.utoronto.ca)
232. 反极简主义的反扑，才是Oxygen重振雄风背后的真正原因 Lobste Comment 05-11 The anti-minimalist backlash is the bigger story behind Oxygen’s revival (filipfila.wordpress.com)
234. devenv 2.1：通过 libghostty 支持 zsh、fish 和 nushell 的 Nix - devenv Lobste Comment 05-11 devenv 2.1: Nix with zsh, fish, and nushell via libghostty - devenv (devenv.sh)
241. omlx：一款支持连续批处理和 SSD 缓存的 LLM 推理服务器，专为 Apple Silicon 设计——可通过 macOS 菜单栏进行管理 Lobste Comment 05-11 omlx: LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar (github.com)
242. 基于可编程白名单的配置：在 Go 中嵌入 Rye Lobste Comment 05-11 Programmable Whitelist-based Configs: Embedding Rye in Go (ryelang.org)
243. Ratty：一款支持内嵌 3D 图形的终端模拟器 Lobste Comment 05-11 Ratty: A terminal emulator with inline 3D graphics (ratty-term.org)
245. 使用 systemfd 将终端输出重定向到浏览器 Lobste Comment 05-11 Piping terminal output to the browser using systemfd (blog.izissise.net)
248. 最高支持 256 MB 的 FERRIT 模块化 F-RAM 存储设备，可将关键数据保存长达 200 年 Lobste Comment 05-11 Up to 256 MB FERRIT modular F-RAM storage device preserves critical data for up to 200 years (www.cnx-software.com)
249. 《Factorio》如何通过网络同步上百万个物体 Lobste Comment 05-11 How Factorio Syncs A Million Objects over the network (www.youtube.com)
252. 使用密钥解锁加密的 ZFS 卷 Lobste Comment 05-11 Unlocking Encrypted ZFS Volumes with a Passkey (withblue.ink)
253. 您需要能够降低维护成本的人工智能 Lobste Comment 05-11 You Need AI That Reduces Maintenance Costs (www.jamesshore.com)
254. 在不使用 TIOCSTI 的情况下替换 Bash 中的 Ctrl-R Lobste Comment 05-11 Replacing Ctrl-R in Bash without TIOCSTI (blog.rickardlindberg.me)
255. 我的Pastebin克隆版Vivipara以及关于语言的随想 Lobste Comment 05-11 My pastebin clone Vivipara and language musings (akselmo.dev)
256. Tiny-Lua-Compiler：可能是迄今为止最小的 Lua 编译器 Lobste Comment 05-11 Tiny-Lua-Compiler: Possibly the smallest Lua compiler ever (github.com)
257. ClaudeBleed：Claude浏览器扩展中的一个漏洞允许任何扩展程序劫持它 Lobste Comment 05-11 ClaudeBleed: A Flaw In Claude''s Browser Extension Allows Any Extension to Hijack It (layerxsecurity.com)
260. let-go：用 Go 语言编写的“类 Clojure”语言 Lobste Comment 05-11 let-go: Almost Clojure written in Go (github.com)
263. 我们先看到某种行之有效的方法，然后才去理解它 Lobste Comment 05-10 We see something that works, and then we understand it (lemire.me)
264. 使用 Swift 训练大型语言模型（LLM），第一部分：将矩阵乘法性能从 Gflop/s 提升至 Tflop/s Lobste Comment 05-10 Training an LLM in Swift, Part 1: Taking matrix multiplication from Gflop/s to Tflop/s (www.cocoawithlove.com)
265. wayland.fyi 极简主义 Wayland 特别兴趣小组 Lobste Comment 05-10 wayland.fyi minimalist wayland special interest group (wayland.fyi)
266. 最近使用 ChatGPT 5.5 Pro 的体验 Lobste Comment 05-10 A recent experience with ChatGPT 5.5 Pro (gowers.wordpress.com)
267. 那么，你已经安装了 fzf。接下来该做什么？（2023） Lobste Comment 05-10 So you''ve installed fzf. Now what? (2023) (andrew-quinn.me)
268. 适用于类 UNIX 系统的 9p 文件服务器守护进程 Lobste Comment 05-10 9p file server daemon for UNIX-like systems (kamid.omarpolo.com)
270. Debian 必须提供可重现的软件包 Lobste Comment 05-10 Debian must ship reproducible packages (lists.debian.org)
271. 宇宙射线是量子计算机的克星——软件或许能解决这一难题 Lobste Comment 05-10 Cosmic Rays Are Quantum Computers'' Kryptonite—Software might just solve the problem (spectrum.ieee.org)
272. 《双重迪菲-赫尔曼问题及其应用》（2009） Lobste Comment 05-10 The Twin Diffie-Hellman Problem and Applications (2009) (eprint.iacr.org)
273. FreeBSD：通过 execve() 实现本地权限提升 Lobste Comment 05-10 FreeBSD: Local privilege escalation via execve() (www.freebsd.org)
274. 网络自由主义那令人无法容忍的虚伪 Lobste Comment 05-10 The Intolerable Hypocrisy of Cyberlibertarianism (matduggan.com)
275. 用一个 10 MB 的 FST（有限状态转换器）二进制文件替换一个 3 GB 的 SQLite 数据库 Lobste Comment 05-10 Replacing a 3 GB SQLite database with a 10 MB FST (finite state transducer) binary (til.andrew-quinn.me)
277. 《优质的首个问题：提交你的首个开源贡献》 Lobste Comment 05-10 Good First Issue: Make your first open-source contribution (goodfirstissue.dev)
278. 幂等性很简单，直到第二个请求有所不同 Lobste Comment 05-10 Idempotency Is Easy Until the Second Request Is Different (blog.dochia.dev)
279. 快速傅里叶变换（上）：库利-图基法 Lobste Comment 05-10 Fast Fourier Transforms Part 1: Cooley-Tukey (connorboyle.io)
280. 对APL等数组语言的基于原则的重新思考 Lobste Comment 05-10 A principled rethinking of array languages like APL (dercuano.github.io)
285. 在翻转课堂中开启“傻瓜位”会关闭学习功能 Lobste Comment 05-10 Flipping the bozo bit on flips the learning off (surfingcomplexity.blog)
286. 关于DOS、软盘、NetBSD与怀旧情怀 Lobste Comment 05-10 On DOS, floppies, NetBSD and nostalgia (exquisite.tube)
287. 逻辑程序的抽象机器 Lobste Comment 05-10 Abstract Machines for Logic Programs (chrisistyping.bearblog.dev)
288. Aurora：一种适用于矩形矩阵的考虑权重关系的优化器 Lobste Comment 05-10 Aurora: A Leverage-Aware Optimizer for Rectangular Matrices (blog.tilderesearch.com)
290. 让大型语言模型“喝醉”以发现远程 Linux 内核 OOB 写入（及其他） Lobste Comment 05-10 Getting LLMs Drunk to Find Remote Linux Kernel OOB Writes (and More) (heyitsas.im)
291. 那些复杂的 Windows 恶意软件及其分析都去哪儿了？ Lobste Comment 05-10 Where Have All the Complex Windows Malware and Their Analyses Gone? (r136a1.dev)
292. 如今，所有笔记本电脑都内置了安全令牌 Lobste Comment 05-10 Laptops all have built-in security tokens these days (ahelwer.ca)
294. 在非标准 shell 环境中使用 GNU Emacs 的 Tramp 系统的注意事项 Lobste Comment 05-10 Notes on using GNU Emacs'' Tramp system in an unusual shell environment (utcc.utoronto.ca)
296. FFmpeg：互联网视频背后的非凡技术 Lobste Comment 05-10 FFmpeg: The Incredible Technology Behind Video on the Internet (www.youtube.com)
297. Yggdrasil Network 作为嵌入式 Go 库 Lobste Comment 05-10 Yggdrasil Network as an Embedded Go Library (dev.to)
298. 黑客时间：利用音频谐波欺骗原子钟 Lobste Comment 05-10 Hacking Time: Spoofing Atomic Clocks with Audio Harmonics (josephhall.org)
299. 我对代理的信任问题：从提示符注入到 gemini-cli 的供应链漏洞 Lobste Comment 05-10 My Agentic Trust Issues: From Prompt Injection to Supply-Chain Compromise on gemini-cli (www.pillar.security)