2. 通过采用广泛的事件并取代 OTel，将我们的可观察性平台扩展到 100 Petabytes 以上 Lobste Comment 18:33 Scaling our Observability platform beyond 100 Petabytes by embracing wide events and replacing OTel (clickhouse.com)
3. 开放式迪伦 2025.1 - 开放式迪伦发布 Lobste Comment 18:23 Open Dylan 2025.1 - Open Dylan Release (opendylan.org)
4. Go 解析器中意想不到的安全漏洞 Lobste Comment 18:01 Unexpected security footguns in Go''s parsers (blog.trailofbits.com)
6. Cosmoe：Wayland 上的 BeOS 类库 Lobste Comment 16:57 Cosmoe: BeOS Class Library on top of Wayland (cosmoe.org)
7. 为什么我们无法破解密码学？ Lobste Comment 09:10 Why Can''t We Break Cryptography? (blog.computationalcomplexity.org)
9. AGI 经济比你想象的来得更快 Lobste Comment 12:50 The AGI economy is coming faster than you think (www.freethink.com)
10. ML 当然有单子(2011) Lobste Comment 12:44 Of Course ML Has Monads! (2011) (existentialtype.wordpress.com)
15. 运行和存储 300 多万个 LLM 人工智能请求，无需花费 10 万美元 Lobste Comment 07:15 Running and storing 3 million LLM AI requests without spending 100,000 (boyter.org)
16. Mozilla 将取消 Pocket 和 Fakespot 服务，专注于 Firefox Lobste Comment 06:03 Mozilla is killing its Pocket and Fakespot services to focus on Firefox (arstechnica.com)
18. 最漂亮/最有启发性的代码库是什么？ Lobste Comment 05:51 What are the Most Beautiful/Insightful Code Bases? (lobste.rs)
19. 那次我尝试不用 CSS 浏览网页 Lobste Comment 05:35 That Time I Tried Browsing the Web Without CSS (css-tricks.com)
20. OrioleDB 与 Neon 的区别 Lobste Comment 05:33 The differences between OrioleDB and Neon (www.orioledb.com)
22. 破解 WebAuthn、FIDO2 和伪造密码 Lobste Comment 05:13 Breaking WebAuthn, FIDO2, and Forging Passkeys (www.nullpt.rs)
23. 深入了解 SVT-AV1 的演变（第一部分） Lobste Comment 02:48 Deep Dive into SVT-AV1''s Evolution (Part 1) (wiki.x266.mov)
25. Pragtical - 实用的代码编辑器 Lobste Comment 02:25 Pragtical - The practical and pragmatic code editor (pragtical.dev)
29. Ruby 模式，Ruby 生态系统中 YAML/JSON 配置文件的 JSON 模式集合 Lobste Comment 01:22 Ruby Schema, a collection of JSON schemas for YAML/JSON config files in the Ruby ecosystem (github.com)
30. Phoenix.new - Phoenix 的远程人工智能运行时 Lobste Comment 01:14 Phoenix.new – The Remote AI Runtime for Phoenix (fly.io)
34. 重塑 CRuby 中的内存管理：实践者报告 Lobste Comment 06-20 Reworking Memory Management in CRuby: A Practitioner Report (blog.peterzhu.ca)
35. 为 Lichess 改编 nnue-pytorch 的二进制位置格式 Lobste Comment 06-20 Adapting nnue-pytorch''s binary position format for Lichess (lichess.org)
40. JavaScript 打破了网络（并称之为进步） Lobste Comment 06-20 JavaScript broke the web (and called it progress) (www.jonoalderson.com)
41. 实现卓越的开源软件设计 Lobste Comment 06-20 Achieving Excellence in Open Source Software Design (www.youtube.com)
43. 感受蓝色（Noroff）：朝鲜复杂的网络3入侵内幕 Lobste Comment 06-20 Feeling Blue(Noroff): Inside a Sophisticated DPRK Web3 Intrusion (www.huntress.com)
44. 重温克努斯的 "过早优化 "论文 Lobste Comment 06-20 Revisiting Knuth’s “Premature Optimization” Paper (probablydance.com)
45. 元对象协议：我们为何需要它们以及它们还能做些什么 Lobste Comment 06-20 Metaobject Protocols: Why we want them and what else they can do (cseweb.ucsd.edu)
47. 计划相关研究文献目录（2012 年） Lobste Comment 06-20 Bibliography of Scheme-related Research (2012) (web.archive.org)
48. 我想爱 Linux。它却不爱我：第 4 篇 - Wayland 正在成长。现在我们别无选择 - fireborn Lobste Comment 06-20 I Want to Love Linux. It Doesn’t Love Me Back: Post 4 – Wayland Is Growing Up. And Now We Don’t Have a Choice — fireborn (fireborn.mataroa.blog)
50. 图形用户界面代理GUI-Actor：图形用户界面代理的无坐标视觉接地 Lobste Comment 06-20 GUI-Actor: GUI-Actor: Coordinate-Free Visual Grounding for GUI Agents (github.com)
52. 无人知晓的价值 160 亿美元的数据泄露事件 Lobste Comment 06-19 The 16-billion-record data breach that no one’s ever heard of (cybernews.com)
54. Haskell 竞争编程入门 Lobste Comment 06-19 Introduction to competitive programming in Haskell (byorgey.github.io)
55. 即时循环收集的动态图方法 Lobste Comment 06-19 A Dynamic Graph Approach to Immediate Cycle Collection (dl.acm.org)
56. 正：薄三角形和其他技巧（2019 年！）。 Lobste Comment 06-19 posit: thin triangle and other tricks (2019!) (marc-b-reynolds.github.io)
60. Liberux Nexx：采访 Liberux，了解他们在欧盟制造的 OSHW Linux 手机 Lobste Comment 06-19 Liberux Nexx: An interview with Liberux about their made-in-EU OSHW Linux Phone (linmob.net)
61. 2025 年 Stack Overflow 开发人员调查 Lobste Comment 06-19 2025 Stack Overflow Developer Survey (stackoverflow.az1.qualtrics.com)
62. 用 Rust Async 重写 Kafka：在 Rust 中获得的启示和经验 Lobste Comment 06-19 Rewriting Kafka in Rust Async: Insights and Lessons Learned in Rust (wangjunfei.com)
64. 我觉得开源已经变成了两个世界 Lobste Comment 06-19 I feel open source has turned into two worlds (utcc.utoronto.ca)
65. 文件：库内文件生成 flake-parts 模块 Lobste Comment 06-19 files: In-repository file generation flake-parts module (github.com)
67. 与米切尔-桥本合作的代理工程实践 Lobste Comment 06-19 Agentic Engineering in Action with Mitchell Hashimoto (www.youtube.com)
68. 现在可能是学习软件开发的最佳时机 Lobste Comment 06-19 Now might be the best time to learn software development (substack.com)
69. charmbracelet/獠牙：CLI 入门套件 Lobste Comment 06-19 charmbracelet/fang: The CLI starter kit (github.com)
70. 新的 Linux 漏洞可通过 PAM 和 Udisk 对主要发行版进行完全 Root 访问 Lobste Comment 06-19 New Linux Flaws Enable Full Root Access via PAM and Udisks Across Major Distributions (thehackernews.com)
72. MCP 规范 - 2025-06-18 Lobste Comment 06-19 MCP Specification - 2025-06-18 (modelcontextprotocol.io)
73. 无障碍编程让人感觉无障碍 Lobste Comment 06-19 Accessibility Programming Doesn''t Feel Accessible (acidiclight.dev)
75. 没错，"我们 "并不关心 Linux 上的辅助功能 Lobste Comment 06-19 It’s True, “We” Don’t Care About Accessibility on Linux (tesk.page)
78. GCC、glibc、堆栈解卷和重定位--一个战争故事 Lobste Comment 06-19 GCC, glibc, stack unwinding and relocations – A war story (blog.sergiodj.net)
79. 深入解读斯维奇油墨公司的 BeeKEM 协议 Lobste Comment 06-19 A deep-dive explainer on Ink and Switch''s BeeKEM protocol (meri.garden)
81. 分析周末（业余爱好者）和工作日（工作开发人员）下载 Rust 板条箱的情况 Lobste Comment 06-19 Analysing Rust crates for weekend (hobbyist) vs weekday (working-dev) downloads (boydkane.com)
83. 模糊测试对移植程序的不合理效果 Lobste Comment 06-19 The Unreasonable Effectiveness of Fuzzing for Porting Programs (rjp.io)
84. LLM 代理破坏的是你的平台，而不是你的架构 Lobste Comment 06-18 LLM Agents Are Breaking Your Platform, Not Your Architecture (www.junctionlabs.io)
85. Cock.li 电子邮件提供商数据从 roundcube 泄漏 Lobste Comment 06-18 Cock.li email provider data leak from roundcube (mail.cock.li)
90. 被误解的记忆订购的困境 Lobste Comment 06-18 The plight of the misunderstood memory ordering (www.grayolson.me)
91. 影子：从零开始的 Javascript 浏览器引擎 Lobste Comment 06-18 Shadow: A browser engine from scratch in Javascript (shadow.goose.icu)
92. 人工智能代理的成功率有半衰期吗？ Lobste Comment 06-18 Is there a Half-Life for the Success Rates of AI Agents? (www.tobyord.com)
93. 汉谟拉比Rust 重现 1968 年经典 BASIC 游戏 Lobste Comment 06-18 hammurabi: A Rust recreation of the classic 1968 BASIC game (github.com)
94. LLM 时代的编程语言设计：回归平庸？ Lobste Comment 06-18 Programming Language Design in the Era of LLMs: A Return to Mediocrity? (kirancodes.me)
96. 使用普通英语查询 Postgres 数据库 Lobste Comment 06-18 Query Your Postgres Database Using Plain English (medium.com)
97. 在 Ubuntu 上使用微软的新 CLI 文本编辑器 Lobste Comment 06-18 Using Microsoft''s New CLI Text Editor on Ubuntu (www.omgubuntu.co.uk)
101. OpenTelemetry for Go：测量开销 Lobste Comment 06-18 OpenTelemetry for Go: measuring the overhead (coroot.com)
102. 在命令行上构建 JSON 令人讨厌 Lobste Comment 06-18 Building JSON on the Command Line is Obnoxious (blog.stulta.dev)
104. 巴里-维尔科（Barry Vercoe）逝世，他让所有人都能使用编码声音 Lobste Comment 06-18 Barry Vercoe, who made coding sound accessible to all, has died (cdm.link)
105. 从 SDR 到 "伪 HDR"：Switch 2 上的《马里奥卡丁车世界》削弱了现代显示器的潜力 Lobste Comment 06-18 From SDR to ‘Fake HDR’: Mario Kart World on Switch 2 Undermines Modern Display Potential (www.alexandermejia.com)
107. 复活死亡的洪流跟踪器并找到 300 万个同行者 Lobste Comment 06-18 Resurrecting a dead torrent tracker and finding 3 million peers (kianbradley.com)
108. bzip2 crate 从 C 语言转换为 100% rust 语言 Lobste Comment 06-18 bzip2 crate switches from C to 100% rust (trifectatech.org)
109. 使用 Frida 从 Android 手机创建 QMI 跟踪，对 LTE 语音进行逆向工程设计 Lobste Comment 06-18 Creating QMI traces from Android phones with Frida to reverse engineer Voice over LTE (postmarketos.org)
110. 谷歌翻译对 Vibecoding 的启示 Lobste Comment 06-18 What Google Translate Can Tell Us About Vibecoding (ingrids.space)
111. 复式分类账：现代软件中缺失的基本要素 Lobste Comment 06-18 Double-Entry Ledgers: The Missing Primitive in Modern Software (www.pgrs.net)
113. 在多租户 Kubernetes 设置中管理分离式 DNS Lobste Comment 06-17 Managing split DNS in a multi-tenant Kubernetes setup (medium.com)
114. 我希望在我进入 ARIA 时有人告诉我的事 Lobste Comment 06-17 What I Wish Someone Told Me When I Was Getting Into ARIA (www.smashingmagazine.com)
117. 本地托管联网服务器 Lobste Comment 06-17 Locally hosting an internet-connected server (mjg59.dreamwidth.org)
119. XenevaOS - 重新构想的现代计算 Lobste Comment 06-17 XenevaOS - Modern Computing Reimagined (www.getxeneva.com)
122. Anime.js v4 是一个轻量级 JavaScript 动画库，具有简单但功能强大的 API Lobste Comment 06-17 Anime.js v4 is a lightweight JavaScript animation library with a simple, yet powerful API (animejs.com)
125. 端到端加密：架构上的必要性 Lobste Comment 06-17 End-to-End Encryption: Architecturally Necessary (labs.ripe.net)
126. Slint 1.12 发布，支持 WGPU、iOS 移植和 Figma 变量集成 Lobste Comment 06-17 Slint 1.12 Released with WGPU Support, iOS Port, and Figma Variables Integration (slint.dev)
127. 节流的细微现实：不仅仅是防止滥用 Lobste Comment 06-17 The Nuanced Reality of Throttling: It''s Not Just About Preventing Abuse (blog.joemag.dev)
128. 为什么生成式人工智能编码工具和代理对我不起作用？ Lobste Comment 06-17 Why Generative AI Coding Tools and Agents Do Not Work For Me (blog.miguelgrinberg.com)
131. 评论《思维的幻觉》：从问题复杂性的角度理解推理模型的优势和局限性 Lobste Comment 06-17 Comment on The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity (arxiv.org)
132. 处理第三方报告的安全问题 (#913) - 问题 - GNOME / libxml2 - GNOME / libxml2 Lobste Comment 06-17 Triaging security issues reported by third parties (#913) · Issues · GNOME / libxml2 · (gitlab.gnome.org)
133. Xmake v3.0 发布，改进 c 模块和 jobgraph 支持 Lobste Comment 06-17 Xmake v3.0 released, Improve c modules and jobgraph support (github.com)
135. 由于某种原因，对 rust 进行反向引导 Lobste Comment 06-17 retrobootstrapping rust for some reason (graydon2.dreamwidth.org)
138. 简短、不完整且错误百出的机器人历史 Lobste Comment 06-17 A Brief, Incomplete, and Mostly Wrong History of Robotics (generalrobots.substack.com)
140. 构建无障碍用户界面的自私理由 Lobste Comment 06-16 Selfish reasons for building accessible UIs (nolanlawson.com)
141. lobste.rs的顶级rss feed怎么了？ Lobste Comment 06-16 What happened to the lobste.rs top rss feed? (lobste.rs)
142. 人工智能代理的致命三要素：私人数据、不受信任的内容和外部通信 Lobste Comment 06-16 The lethal trifecta for AI agents: private data, untrusted content, and external communication (simonwillison.net)
143. 在狱中开发数据库：我是如何来到这里的，第 2 部分 Lobste Comment 06-16 Working on databases from prison: How I got here, part 2 (turso.tech)
144. 数学插图：几何和 PostScript 手册 Lobste Comment 06-16 Mathematical Illustrations: A Manual of Geometry and PostScript (personal.math.ubc.ca)
146. rgSQL：帮助您构建自己的数据库引擎的测试套件 Lobste Comment 06-16 rgSQL: A test suite to help you build your own database engine (technicaldeft.com)
148. 你的大脑在 ChatGPT 上：使用人工智能助手完成论文写作任务时认知债务的积累 Lobste Comment 06-16 Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task (arxiv.org)
149. 权力下放的架构方法 Lobste Comment 06-16 An Architectural Approach to Decentralization (www.infocentral.org)
152. DevTUI - 面向开发人员的瑞士军队应用程序 Lobste Comment 06-16 DevTUI - A Swiss-army app for developers (devtui.com)
153. 公共安卓应用程序接口中的笑话和幽默 Lobste Comment 06-16 Jokes and Humour in the public Android API (voxelmanip.se)
154. 在大型语言模型之上构建软件 Lobste Comment 06-16 Building software on top of Large Language Models (simonwillison.net)
157. 破解 "EchoLeak"--首个从微软 365 Copilot 实现数据外渗的零点击人工智能漏洞 Lobste Comment 06-16 Breaking down ‘EchoLeak’, the First Zero-Click AI Vulnerability Enabling Data Exfiltration from Microsoft 365 Copilot (www.aim.security)
158. 对 GCP 公共事件报道的快速解读 Lobste Comment 06-16 Quick takes on the GCP public incident write-up (surfingcomplexity.blog)
161. 使用 Raspberry Pi 修改 HDMI 假插头的 EDID Lobste Comment 06-16 Modifying an HDMI dummy plug’s EDID using a Raspberry Pi (www.downtowndougbrown.com)
162. 最简单的 C 回调，来自 SumatraPDF Lobste Comment 06-16 Simplest C callback, from SumatraPDF (blog.kowalczyk.info)
164. 通过 gRPC 实现远程 SQLite 数据库的 SQLite VFS Lobste Comment 06-15 A SQLite VFS for remote SQLite databases via gRPC (github.com)
166. 为什么 SSL 在 90 年代末更名为 TLS（2014 年） Lobste Comment 06-15 Why SSL was renamed to TLS in late 90s (2014) (tim.dierks.org)
169. 模块化：MLIR 编译器基础设施如何？(人工智能计算民主化，第八部分） Lobste Comment 06-15 Modular: What about the MLIR compiler infrastructure? (Democratizing AI Compute, Part 8) (www.modular.com)
170. 阿波罗 "8 球 "FDAI（飞行引导/姿态指示器）的内部结构 Lobste Comment 06-15 Inside the Apollo "8-Ball" FDAI (Flight Director / Attitude Indicator) (www.righto.com)
171. Final Cartridge III 冰箱的工作原理 Lobste Comment 06-15 How the Final Cartridge III Freezer works (www.pagetable.com)
173. 自我推论的抽象：快速了解模拟电路的古怪认识论 Lobste Comment 06-15 Self-referential abstractions: A quick look at the wacky epistemology of analog circuitry (lcamtuf.coredump.cx)
175. 对软件复杂性三种不同概念的元分析 Lobste Comment 06-14 A meta-analysis of three different notions of software complexity (typesanitizer.com)
176. "探索 Amiga "系列博客（2018 年） Lobste Comment 06-14 "Exploring the Amiga" blog series (2018) (www.thedigitalcatonline.com)
177. 在 Transitous 中添加公共交通数据 Lobste Comment 06-14 Adding public transport data to Transitous (www.volkerkrause.eu)
178. 一次建模，随处呈现：Netflix 的 UDA（统一数据架构 Lobste Comment 06-14 Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix (netflixtechblog.com)
179. HTML 规范变更：属性中的转义 Lobste Comment 06-14 HTML spec change: escaping in attributes (developer.chrome.com)
180. Hypershell：由上下文通用编程驱动的 Rust Shell 脚本类型级 DSL Lobste Comment 06-14 Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming (contextgeneric.dev)
184. Builder.ai 没有 "用 700 名工程师伪造人工智能"。 Lobste Comment 06-14 Builder.ai did not “fake AI with 700 engineers” (blog.pragmaticengineer.com)
186. filedb：基于磁盘的键值存储，灵感来自 Bitcask Lobste Comment 06-14 filedb: Disk Based Key-Value Store Inspired by Bitcask (github.com)
191. 检测字符串中元音的最快方法 Lobste Comment 06-14 The fastest way to detect a vowel in a string (austinhenley.com)
194. 将 George Cave 的 eInk 能源仪表板模块化 Lobste Comment 06-13 Modularizing George Cave''s eInk Energy Dashboard (slipway.co)
195. HTML WARDen（基于 HTML 的维基站点） Lobste Comment 06-13 HTML WARDen (an HTML-based wiki) (ratfactor.com)
198. 泽梅洛选择公理 100 年：它有什么问题？ Lobste Comment 06-13 100 years of Zermelo’s axiom of choice: What was the problem with it? (research.mietek.io)
199. OxCaml 是 Jane Street 对 OCaml 的扩展，现已开源 Lobste Comment 06-13 OxCaml, Jane Street''s extension of OCaml is now open-source (oxcaml.org)
201. 确保 LLM 代理免受即时注入攻击的设计模式 Lobste Comment 06-13 Design Patterns for Securing LLM Agents against Prompt Injections (simonwillison.net)
202. Radicle Desktop：Radicle 点对点代码锻造的图形用户界面 Lobste Comment 06-13 Radicle Desktop: a graphical user interface for the Radicle peer-to-peer code forge (radicle.xyz)
203. 如果月球只有 1 个像素 - 精确到令人乏味的太阳系地图 Lobste Comment 06-13 If the Moon Were Only 1 Pixel - A tediously accurate map of the solar system (joshworth.com)
206. Asterinas：兼容 Linux ABI、基于 Rust 的框架内核操作系统 Lobste Comment 06-13 Asterinas: A Linux ABI-compatible, Rust-based framekernel OS (asterinas.github.io)
207. macOS Tahoe 带来全新磁盘镜像格式 Lobste Comment 06-13 macOS Tahoe brings a new disk image format (eclecticlight.co)
209. 当我谈及 IR 时，我谈论的是什么 Lobste Comment 06-13 What I talk about when I talk about IRs (bernsteinbear.com)
211. Vibes 时代的软件工匠精神案例 Lobste Comment 06-13 The Case for Software Craftsmanship in the Era of Vibes (zed.dev)
212. 光标 YOLO 删除了我电脑中的所有内容 Lobste Comment 06-13 Cursor YOLO deleted everything in my computer (forum.cursor.com)
213. 频繁重新认证并不会提高安全性 Lobste Comment 06-13 Frequent reauth doesn''t make you more secure (tailscale.com)
215. CAN BCM 子系统中的免用程序导致信息泄露 (CVE-2023-52922) Lobste Comment 06-13 Use-after-free in CAN BCM subsystem leading to information disclosure (CVE-2023-52922) (allelesecurity.com)
216. diceomatic：制作儿童骰子游戏的 DSL Lobste Comment 06-13 diceomatic: a DSL for making children''s dice games (robertheaton.com)
218. 对数独的思考，或思想系统化的不可能性 Lobste Comment 06-12 Reflections on Sudoku, Or the Impossibility of Systematizing Thought (rjp.io)
220. CP/M 2.2、CP/M 3.0、CP/M-86、并行 CP/M-86 列表，由 Digital Research 提供 Lobste Comment 06-12 CP/M 2.2, CP/M 3.0, CP/M-86, Concurrent CP/M-86 listings by Digital Research (www.bitsavers.org)
221. 传言谷歌打算终止安卓开源项目 Lobste Comment 06-12 Rumour: Google intends to discontinue the Android Open Source Project (www.osnews.com)
222. 用 Perl 分析 FIT 数据：绘制 PNG 图 Lobste Comment 06-12 Analysing FIT data with Perl: producing PNG plots (peateasea.de)
223. 分布式数据协议 (DDP) 规范 - 作者：Meteorjs Lobste Comment 06-12 Distributed Data Protocol (DDP) specification - by Meteorjs (github.com)
224. Next.js 15.1 在 Vercel 之外无法使用 Lobste Comment 06-12 Next.js 15.1 is unusable outside of Vercel (omarabid.com)
227. 使用 GitHub 动作的轻量级合并队列 Lobste Comment 06-12 A Lightweight Merge Queue using GitHub Actions (sketch.dev)
232. LLM 能否创建完整的特定领域语言？ Lobste Comment 06-12 Could an LLM create a full Domain-Specific Language? (modeling-languages.com)
233. 联合国警告：人工智能热潮导致大型科技公司间接排放量激增 150 Lobste Comment 06-12 AI Boom Drives 150% Surge in Indirect Emissions at Major Tech Firms, UN Warns (esgnews.com)
234. Linus Torvalds 拒绝在 Linux 内核中默认启用 DAMON 的想法 Lobste Comment 06-12 Linus Torvalds Rejects The Idea Of Enabling DAMON By Default In The Linux Kernel (www.phoronix.com)
235. 欧盟推出基于欧盟、注重隐私的 DNS 解决服务 Lobste Comment 06-12 EU launches EU-based, privacy-focused DNS resolution service (www.helpnetsecurity.com)
236. WebRTC 一次性权限将继续存在 Lobste Comment 06-12 WebRTC One-time permissions are here to stay (blog.mozilla.org)
238. Rust 中的重叠变异数据建模模式 Lobste Comment 06-12 Patterns for Modeling Overlapping Variant Data in Rust (mcmah309.github.io)
239. 用 Ada/SPARK 编写经过验证的后缀计算器 Lobste Comment 06-12 Writing a Verified Postfix Calculator in Ada/SPARK (pyjarrett.github.io)
241. 以最笨的方式绕过 GitHub 操作政策 Lobste Comment 06-12 Bypassing GitHub Actions policies in the dumbest way possible (blog.yossarian.net)
243. 从零到演示：新手学习 Bevy 的经历 Lobste Comment 06-12 From zero to demo: a newcomer''s experience learning Bevy (www.youtube.com)
246. sandboxfs 发生了什么？ Lobste Comment 06-12 Whatever happened to sandboxfs? (blogsystem5.substack.com)
249. 证明 Lean4 中最终完美故障检测器的完备性 Lobste Comment 06-11 Proving completeness of an eventually perfect failure detector in Lean4 (protocols-made-fun.com)
252. 我们如何尝试预订火车票，结果却遭遇了一个包含 24.5 万条记录的数据库漏洞 (2023) Lobste Comment 06-11 How we tried to book a train ticket and ended up with a databreach with 245,000 records (2023) (zerforschung.org)
253. hare-update 协助处理代码中的破坏性更改 Lobste Comment 06-11 hare-update assists in addressing breaking changes in your code (harelang.org)
254. 关于 Twitter/X 新加密信息的更多信息 Lobste Comment 06-11 A bit more on Twitter/X’s new encrypted messaging (blog.cryptographyengineering.com)
255. 解释 "本地主机跟踪"。它可能使 Meta 损失 320 亿欧元 Lobste Comment 06-11 “Localhost tracking” explained. It could cost Meta 32b (www.zeropartydata.es)
257. 避免使用生成模型是理性和负责任的做法 Lobste Comment 06-11 Avoiding generative models is the rational and responsible thing to do (www.baldurbjarnason.com)
258. 火狐操作系统（Firefox OS）的故事，来自一位未参与该项目的 mozilla 内部人士 Lobste Comment 06-11 Firefox OS''s story from a mozilla insider not working on the project (ludovic.hirlimann.net)
259. 无故障、有界空间和有界时间编程模式 Lobste Comment 06-11 Patterns for failure-free, bounded-space, and bounded-time programming (dercuano.github.io)
260. Hydroph0bia (CVE-2025-4275) - 基於系微 H2O 的 UEFI 相容韌體的瑣碎 SecureBoot 旁路，第一部分 Lobste Comment 06-11 Hydroph0bia (CVE-2025-4275) - a trivial SecureBoot bypass for UEFI-compatible firmware based on Insyde H2O, part 1 (coderush.me)
261. 红帽和 FreeDesktop 因 Xorg 叉引发大规模审查 Lobste Comment 06-11 Red Hat and FreeDesktop Go into Mass Censorship over Xorg Fork (youtube.com)
264. GNOME 引入对 systemd 更强的依赖性 Lobste Comment 06-11 GNOME introducing stronger dependencies on systemd (blogs.gnome.org)
265. 混合布尔运算（第 1 部分）：简介 Lobste Comment 06-11 Mixed Boolean-Arithmetic (part 1): Introduction (plzin.github.io)
268. 用 Rust 重写 SymCrypt，实现微软密码库的现代化 Lobste Comment 06-11 Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library (www.microsoft.com)
271. 日常工作流程（Cuis-Smalltalk 手册） Lobste Comment 06-11 Daily Workflow (The Cuis-Smalltalk Book) (drcuis.github.io)
272. 为什么医生讨厌他们的电脑（2018） Lobste Comment 06-11 Why Doctors Hate Their Computers (2018) (web.archive.org)
276. 我对人工智能编码代理格局的不加掩饰的看法 Lobste Comment 06-11 My Unfiltered Take on the AI Coding Agent Landscape (xxchan.me)
277. 发布 Multigres：用于 Postgres 的 Vitess Lobste Comment 06-11 Announcing Multigres: Vitess for Postgres (supabase.com)
278. 构建调试器：从零开始编写本地 x64 调试器 Lobste Comment 06-11 Building a Debugger: Write a Native x64 Debugger From Scratch (nostarch.com)
279. Zig 样式的泛型不适合大多数语言 (2022) Lobste Comment 06-11 Zig-style generics are not well-suited for most languages (2022) (typesanitizer.com)
283. CVE-2025-47934 - 欺骗 OpenPGP.js 签名验证 Lobste Comment 06-10 CVE-2025-47934 - Spoofing OpenPGP.js signature verification (codeanlabs.com)
285. 可塑软件：在锁定应用程序的世界中恢复用户的自主权 Lobste Comment 06-10 Malleable software: Restoring user agency in a world of locked-down apps (www.inkandswitch.com)
287. 自动五项测试-GPT-AI：LLM 驱动的软件五项测试 Lobste Comment 06-10 Auto-Pentest-GPT-AI: LLM Powered Pentesting for your software (github.com)
288. Droneboy：无人机音乐应用程序 Lobste Comment 06-10 Droneboy: Drone music application for Gameboy (github.com)
289. WWDC25 新闻：Safari 26 测试版中的 WebKit Lobste Comment 06-10 News from WWDC25: WebKit in Safari 26 beta (webkit.org)
290. 互联网的历史，第二部分：高科技淘金热开始了 Lobste Comment 06-10 A history of the Internet, part 2: The high-tech gold rush begins (arstechnica.com)
291. IBM 正在详细介绍其首个量子计算系统的样子 Lobste Comment 06-10 IBM is now detailing what its first quantum compute system will look like (arstechnica.com)
292. Quarkdown - 拥有超能力的 Markdown Lobste Comment 06-10 Quarkdown - Markdown with superpowers (quarkdown.com)
293. 人工智能辅助编码，让团队摆脱束缚 Lobste Comment 06-10 AI-assisted coding for teams that can''t get away with vibes (blog.nilenso.com)
295. 在 Forth 中实现 DOES，这是我开始这一团糟的全部原因 Lobste Comment 06-10 Implementing DOES in Forth, the entire reason I started this mess (boston.conman.org)
298. container：在 Mac 上使用轻量级虚拟机创建和运行 Linux 容器的工具 Lobste Comment 06-10 container: tool for creating and running Linux containers using lightweight virtual machines on a Mac (github.com)
300. Munal OS：具有 WASM 沙箱功能的图形实验操作系统 Lobste Comment 06-10 Munal OS: A graphical experimental OS with WASM sandboxing (github.com)