3. 用消去量词解决屠宰竞赛问题 Lobste Comment 07:09 Slaughtering Competition Problems with Quantifier Elimination (grossack.site)
8. Tiny，面向TypeScript的类型优先模式验证工具 Lobste Comment 01:21 Tiny, types-first schema validation for TypeScript (github.com)
9. 使用AlphaZero和课程学习解决Hi-Q问题 Lobste Comment 01:11 Solve Hi-Q with AlphaZero and Curriculum Learning (www.robw.fyi)
12. 低质量的代码示例会导致大型语言模型在无关领域产生偏差 Lobste Comment 12-28 Poor code examples cause LLM misalignment in unrelated domains (www.quantamagazine.org)
15. 使用BGP任播构建多站点Kubernetes集群 Lobste Comment 12-28 Building a Multi-Site Kubernetes Cluster with BGP Anycast (kyriakos.papadopoulos.tech)
17. 那个让我开始关注未定义行为的开发错误 Lobste Comment 12-28 The production bug that made me care about undefined behavior (gaultier.github.io)
20. Petlibro：您的宠物喂食器正向任何询问者提供数据 Lobste Comment 12-28 Petlibro: Your Pet Feeder Is Feeding Data To Anyone Who Asks (bobdahacker.com)
22. Release age v1.3.0：后量子（及更多） Lobste Comment 12-28 Release age v1.3.0: post-quantum (and more) (github.com)
24. 39C3：签还是不签：GPG及其相关工具的实际漏洞 Lobste Comment 12-28 39C3: To sign or not to sign: Practical vulnerabilities in GPG & friends (media.ccc.de)
25. 服务器雷达 - 追踪赫兹纳服务器价格并接收邮件提醒 Lobste Comment 12-28 Server Radar - Track Hetzner Server Prices & Receive Email Alerts (radar.iodev.org)
28. Fastverse：一套高性能且低依赖性的R软件包组合 Lobste Comment 12-28 Fastverse: A Suite of High-Performance and Low-Dependency R Packages (fastverse.org)
29. CVE-2025-14847：MongoBleed Lobste Comment 12-28 CVE-2025-14847: MongoBleed (cybersecuritynews.com)
32. 若在Chrome浏览器中打开此PNG文件，其显示效果将与Safari浏览器不同。 Lobste Comment 12-28 This PNG will show different version if you open it in Chrome than in Safari (lr0.org)
34. TTY层：过去、现在与未来 Lobste Comment 12-28 The TTY Layer: the Past, Present, and Future (www.youtube.com)
35. 为什么从Rust调用我的汇编函数比从C调用更慢？ Lobste Comment 12-27 Why is calling my asm function from Rust slower than calling it from C? (ohadravid.github.io)
36. Commandry - 面向标准ML的命令行解析器 Lobste Comment 12-27 Commandry - A Command-Line Parser for Standard ML (github.com)
37. 画架一周年！用Clojure构建专属IDE的整整一年 Lobste Comment 12-27 Easel Turns One! One year of building my own IDE in Clojure (blog.phronemophobic.com)
39. 在 Ubuntu 上开始使用 Playdate Lobste Comment 12-27 Getting started with Playdate on Ubuntu (sethmlarson.dev)
40. Linux内核社区关于机器学习/大型语言模型工具在内核开发中的讨论 Lobste Comment 12-27 Linux kernel community discussion on ML/LLM tools in kernel development (lwn.net)
41. 认识批评家：Opera软件公司的代码检查系统（2019年？） Lobste Comment 12-27 Meet Critic: Code Inspection System in Opera Software (2019?) (sudonull.com)
42. 你无法设计你未曾参与开发的软件 Lobste Comment 12-27 You can''t design software you don''t work on (seangoedecke.com)
44. QNX自主托管开发者桌面将QNX 8.0引入Wayland Xfce桌面环境 Lobste Comment 12-27 QNX Self-Hosted Developer Desktop Brings QNX 8.0 To A Wayland Xfce Desktop (www.phoronix.com)
48. rapace - 基于共享内存/工作区/TCP/内存的RPC Lobste Comment 12-27 rapace - RPC over SHM / WS / TCP / MEM (rapace.bearcove.eu)
49. nix-prompt：一个简洁且模块化的bash提示符，提供恰到好处的自定义选项 Lobste Comment 12-27 nix-prompt: a clean and modular bash prompt with just the right amount of customization options (github.com)
50. llm-grep：同时使用经典和语义正则表达式匹配行 Lobste Comment 12-27 llm-grep: Match lines using both classic and semantic regular expressions (github.com)
51. 在 Python / Wasm 环境中启用 C 线程 Lobste Comment 12-27 "Enabling" C threads in a Python / Wasm environment (yosefk.com)
52. CONTRACT.md：AI编码助手的顽皮清单 Lobste Comment 12-27 CONTRACT.md: The Naughty List for AI Coding Agents (www.discussdontcode.com)
54. 为性能与乐趣重构FlashAttention Lobste Comment 12-27 Reimplementing FlashAttention for performance and giggles (aminediro.com)
55. 从意图到证明：Web应用的Dafny验证 Lobste Comment 12-27 From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)
56. 简化 vst3-rs 的构建流程 Lobste Comment 12-27 Simplifying the build process for vst3-rs (micahrj.github.io)
57. 展示：Twine——一款用于动态追踪生产环境中Elixir系统调用的工具 Lobste Comment 12-27 Show: Twine - A tool to dynamically trace calls in production Elixir systems (github.com)
59. 关于亚稳态故障与系统间交互 Lobste Comment 12-27 On Metastable Failures and Interactions Between Systems (charap.co)
61. profiling.sampling：统计分析器 Lobste Comment 12-27 profiling.sampling: Statistical profiler (docs.python.org)
62. 今日学到：serde 的借用可能很危险 Lobste Comment 12-27 TIL: serde''s borrowing can be treacherous (yossarian.net)
65. 大师 - 桌面人工智能代理指挥中心（免费/开源） Lobste Comment 12-26 Maestro - Desktop AI Agent Command Center (Free/OSS) (runmaestro.ai)
67. 我是个笔记本电脑怪咖，所以才喜欢我的新款Framework 13 Lobste Comment 12-26 I''m a laptop weirdo and that''s why I like my new Framework 13 (blog.matthewbrunelle.com)
70. Sendspin：音乐体验协议 Lobste Comment 12-26 Sendspin: Music Experience Protocol (www.sendspin-audio.com)
72. 关于内核开发中机器学习工具的政策方向 Lobste Comment 12-26 Toward a policy for machine-learning tools in kernel development (lwn.net)
75. 实现Backblaze生命周期规则无法即时完成的自动化操作 Lobste Comment 12-26 Automating What Backblaze Lifecycle Rules Don''t Do Instantly (blog.tymscar.com)
76. 当驱动程序挑战内核的假设时 Lobste Comment 12-26 When a driver challenges the kernel''s assumptions (miod.online.fr)
83. Python 3.15 的 Windows x86-64 解释器速度有望提升 15%。 Lobste Comment 12-25 Python 3.15’s interpreter for Windows x86-64 should hopefully be 15% faster (fidget-spinner.github.io)
86. Gleam v1.14 - 2025年欢乐节日版 Lobste Comment 12-25 Gleam v1.14 - the happy holidays release 2025 (gleam.run)
88. 宣布 rules_img：Bazel 中更快捷的容器镜像生成路径 Lobste Comment 12-25 Announcing rules_img: a faster path to container images in Bazel (tweag.io)
89. 数学上极其复杂的2025年最神秘的圣诞老人活动 Lobste Comment 12-25 Mathematically extra-complicated Secretest Santa 2025 (youtube.com)
90. 他妈的平易近人的Swift并发 Lobste Comment 12-25 Fucking Approachable Swift Concurrency (fuckingapproachableswiftconcurrency.com)
92. 玩具优化器中的加载与存储转发 Lobste Comment 12-25 Load and store forwarding in the Toy Optimizer (bernsteinbear.com)
93. 使用Vectorize构建搜索引擎，仅需160行代码 Lobste Comment 12-25 Using Vectorize to build a search engine in 160 loc (blog.partykit.io)
94. phoenix - 一款用Zig语言从零编写的现代X服务器 Lobste Comment 12-25 phoenix - A modern X server written from scratch in Zig (git.dec05eba.com)
95. 包管理器总把Git当作数据库来用，结果永远行不通 Lobste Comment 12-25 Package managers keep using git as a database, it never works out (nesbitt.io)
96. Advent of Code 2025：Haskell 解决方案回顾（全部12天） Lobste Comment 12-25 Advent of Code 2025: Haskell Solution Reflections for all 12 Days (blog.jle.im)
98. 专为AmigaOS4和MorphOS设计的下一代主板 Lobste Comment 12-25 The Next-Gen Mainboard Designed with AmigaOS4 and MorphOS in mind (mirari.vitasys.nl)
100. Advent of Code 2025：人工智能大语言模型特辑 Lobste Comment 12-25 Advent of Code 2025: The AI LLM Edition (github.com)
101. 迪达洛斯：时空中的数据流（2009） Lobste Comment 12-25 Dedalus: Datalog in Time and Space (2009) (www.eecs.berkeley.edu)
102. Datafun - 一种对Datalog进行泛化的函数式语言 Lobste Comment 12-25 Datafun - functional language that generalizes Datalog (www.rntz.net)
104. JPEG截图如何击败我们精美的H.264网络编解码器管道 Lobste Comment 12-25 How JPEG Screenshots Defeated Our Beautiful H.264 WebCodecs Pipeline (blog.helix.ml)
108. （我的）Linux桌面第二年（游戏篇） Lobste Comment 12-25 (My) Second Year of the Linux Desktop (For Gaming) (blog.matthewbrunelle.com)
111. ZipPop：一款节省空间的解压脚本 Lobste Comment 12-25 ZipPop: a space conserving unzipping script (github.com)
112. 炫酷Python：Python交互式开发 Lobste Comment 12-25 Swanky Python: Interactive development for Python (emacsconf.org)
113. 我如何以及为何从苹果服务转向自有服务器 Lobste Comment 12-25 How and why I moved from Apple Services to my own server (bastiangruber.ca)
115. 我对2026年开放社交网络的预测 Lobste Comment 12-24 My 2026 Open Social Web Predictions (www.timothychambers.net)
119. tygor：适用于 Go TypeScript 应用的类型安全后端 Lobste Comment 12-24 tygor: Type-safe backend for Go TypeScript apps (github.com)
121. 在SumatraPDF中实现C优化字符串向量 Lobste Comment 12-24 Implementation of optimized vector of strings in C in SumatraPDF (blog.kowalczyk.info)
122. FreeBSD：2025年在ThinkPad X200平板电脑上的安装 Lobste Comment 12-24 FreeBSD: Installation on a ThinkPad X200 Tablet in 2025 (rtfm.co.ua)
125. 交互式可视化 GitHub Actions Matrix 配置 Lobste Comment 12-24 Interactively visualize GitHub Actions Matrix configurations (katexochen.github.io)
127. Meta正在其服务器上使用为Valve Steam Deck设计的Linux调度程序 - Phoronix Lobste Comment 12-24 Meta Is Using The Linux Scheduler Designed For Valve''s Steam Deck On Its Servers - Phoronix (www.phoronix.com)
129. 他们给我提出了一个无法拒绝的提议（1997） Lobste Comment 12-24 They made me an offer I couldn''t refuse (1997) (jens.mooseyard.com)
130. 我们让四款AI编程助手重建扫雷游戏——结果令人震惊 Lobste Comment 12-24 We asked four AI coding agents to rebuild Minesweeper—the results were explosive (arstechnica.com)
131. 纯硅演示编程：无CPU，无内存，仅4k门 Lobste Comment 12-24 Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates (www.a1k0n.net)
133. cpu：Go语言中的cpu命令，灵感源自Plan 9操作系统的cpu命令 Lobste Comment 12-24 cpu: cpu command in Go, inspired by the Plan 9 cpu command (github.com)
134. 针对已验证库的自动化校验修复 Lobste Comment 12-24 Mostly Automated Proof Repair for Verified Libraries (kirancodes.me)
135. 对发现的Unix V4磁带的初步分析 Lobste Comment 12-24 An initial analysis of the discovered Unix V4 tape (www.spinellis.gr)
136. sqlite-wasm-http：SQLite WASM 的实验性 HTTP 虚拟文件系统驱动程序 Lobste Comment 12-24 sqlite-wasm-http: An experimental HTTP VFS driver for SQLite WASM (github.com)
138. Unix "find" 表达式编译为字节码 Lobste Comment 12-24 Unix "find" expressions compiled to bytecode (nullprogram.com)
139. NixOS 25.11 最小安装 ISO 镜像的复制 Lobste Comment 12-23 Reproducing the NixOS 25.11 Minimal Installation ISO (arnout.engelen.eu)
141. folder.zone：实时共享端到端加密文件夹 Lobste Comment 12-23 folder.zone: Share end-to-end encrypted folders live (folder.zone)
143. 通过折叠与扭转实现弗洛凯码上的逻辑门 Lobste Comment 12-23 Logical gates on Floquet codes via folds and twists (arxiv.org)
145. mquickjs：微型QuickJS JavaScript引擎 Lobste Comment 12-23 mquickjs: Micro QuickJS Javascript Engine (github.com)
147. Vigil - 专为Zig设计的简洁高效构建监视器（灵感源自Rust的Bacon） Lobste Comment 12-23 Vigil - A clean, fast build watcher for Zig (inspired by Bacon for Rust) (github.com)
149. 功能讨论：在故事中回复多个评论 Lobste Comment 12-23 Feature discussion: replying to multiple comments in story (lobste.rs)
151. 使用 PostgreSQL 18 实现数据库即时克隆 Lobste Comment 12-23 Instant database clones with PostgreSQL 18 (boringsql.com)
154. 仅111行代码实现的最轻量级笔记应用 Lobste Comment 12-23 The lightest notes app implementation in 111 loc (github.com)
155. 下载量达5.6万次的NPM包被发现窃取WhatsApp消息 Lobste Comment 12-23 NPM Package With 56K Downloads Caught Stealing WhatsApp Messages (www.koi.ai)
157. FreeBSD 缩小笔记本电脑差距：第一年项目进展报告 Lobste Comment 12-23 FreeBSD Closes the Laptop Gap: Year One Project Update (freebsdfoundation.org)
159. 我预言过Mac应用公证不过是安全戏剧 Lobste Comment 12-23 I foretold that Mac app notarization is security theater (lapcatsoftware.com)
161. 七款编程游戏助你提升编程技能 Lobste Comment 12-23 Seven Coding Games to Help You Build Your Programming Chops (www.maketecheasier.com)
162. 米里有什么“新”动态（对了，还有一份米里报纸！） Lobste Comment 12-23 What''s "new" in Miri (and also, there''s a Miri paper!) (www.ralfj.de)
163. 从零到QED：精益4.0中形式化的非正式入门指南 Lobste Comment 12-23 From Zero to QED: An informal introduction to formality in Lean 4 (sdiehl.github.io)
164. 关于Debian错误跟踪器的讨论——虽令人不适却势在必行 Lobste Comment 12-23 An uncomfortable but necessary discussion about the Debian bug tracker (nibblestew.blogspot.com)
165. 面向Clan的安全点对点应用平台 Lobste Comment 12-23 Towards a secure peer-to-peer app platform for Clan (clan.lol)
166. 提议用Rust内核扩展替代eBPF Lobste Comment 12-22 Proposed Rust kernel extensions in place of eBPF (www.phoronix.com)
169. 保护隐私的疫苗接种核查：与法兰克福卫生部门合作实现的MPC概念验证部署 Lobste Comment 12-22 Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department (sine.foundation)
170. SQLite查询中简易的计时列安全机制 Lobste Comment 12-22 Simplistic Comptime Column Safety in SQLite Queries (kristoff.it)
171. 理解您的 Linux 图形驱动程序堆栈 Lobste Comment 12-22 Understanding your Linux graphics driver stack (timur.hu)
173. 我曾担任首席技术官。以下是我用来瞬间筛掉50%不合格申请者的15秒编程测试题： Lobste Comment 12-22 I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants (josezarazua.com)
174. 5分钟内使用GitHub Actions/Pages构建专属RSS每日摘要 Lobste Comment 12-22 Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes (github.com)
175. 当SIMD失效时：浮点运算的结合律 Lobste Comment 12-22 When SIMD Fails: Floating Point Associativity (xania.org)
176. 在支持休眠功能的ZFS上安装Void Linux Lobste Comment 12-22 Installing Void Linux on ZFS with Hibernation Support (it-notes.dragas.net)
178. QBasic64 Phoenix 4.3.0 发布 Lobste Comment 12-22 QBasic64 Phoenix 4.3.0 released (qb64phoenix.com)
179. typed-arrow：Rust语言的一流编译时箭头模式 Lobste Comment 12-22 typed-arrow: First-class compile‑time Arrow schemas for Rust (github.com)
182. 日志记录很糟糕——你的日志在欺骗你 Lobste Comment 12-22 Logging Sucks - Your Logs Are Lying To You (loggingsucks.com)
184. 垃圾回收与移动语义的认知负担（2023） Lobste Comment 12-22 The Cognitive Burden of Garbage Collection vs Move Semantics (2023) (insanitybit.github.io)
186. 十三载锈蚀岁月与露的诞生 Lobste Comment 12-22 Thirteen years of Rust and the birth of Rue (steveklabnik.com)
191. 《纽约时报》游戏的计算复杂度 Lobste Comment 12-21 Computational complexity of New York Times games (www.arxiv.org)
192. 探索基于Java的Emacs Lisp投机性即时编译技术 Lobste Comment 12-21 Exploring Speculative JIT Compilation for Emacs Lisp with Java (kyo.iroiro.party)
194. 我如何保护我的forgejo实例免受AI网络爬虫的侵害 Lobste Comment 12-21 How I protect my forgejo instance from AI Web Crawlers (her.esy.fun)
195. 美国国家标准与技术研究院博尔德分部的原子时标出现故障 Lobste Comment 12-21 The atomic time scale at NIST Boulder has failed (journa.host)
199. 在IRIX系统上通过simh PDP11仿真器运行的"UNIX v4磁带" Lobste Comment 12-21 The "UNIX v4 tape" running in simh PDP11 emu on IRIX (oldbytes.space)
201. polyproto：一款令人耳目一新的简单去中心化联合协议 Lobste Comment 12-21 polyproto: A refreshingly simple decentralised, federated protocol (polyproto.org)
202. 任务注入——利用自主人工智能代理的能动性 Lobste Comment 12-21 Task Injection – Exploiting agency of autonomous AI agents (bughunters.google.com)
203. 基于归一化压缩距离的文本相似性搜索 Lobste Comment 12-21 Text similarity search via normalized compression distance (discourse.haskell.org)
204. 基于QuickCheck的属性测试入门（2020） Lobste Comment 12-21 An introduction to property-based testing with QuickCheck (2020) (jesper.sikanda.be)
205. 不小心用Git给自己挖坑 Lobste Comment 12-21 Shooting myself in the foot with Git by accident (utcc.utoronto.ca)
206. 德州仪器CC-40入侵Gopherspace（附TI-74 BASICALC） Lobste Comment 12-21 The Texas Instruments CC-40 invades Gopherspace (plus TI-74 BASICALC) (oldvcr.blogspot.com)
207. romforth：超便携、小巧、裸机Forth，适用于多种处理器 Lobste Comment 12-21 romforth: Ultra Portable, Small, Baremetal Forth for various processors (github.com)
211. 我花了一周时间断开IPv4连接，只为理解IPv6的过渡机制 Lobste Comment 12-21 I spent a WEEK without IPv4 to understand IPv6 transition mechanisms (www.apalrd.net)
213. Granule，一种具有分级模态类型的静态类型线性函数式语言 Lobste Comment 12-21 Granule, a statically-typed linear functional language with graded modal types (github.com)
217. .meow——酷儿社群的专属域名，现已启动众筹 Lobste Comment 12-21 .meow, the domain for the Queer Community, starts fundraising (www.kickstarter.com)
218. 基于反射的C自动化等效性检查（C26） Lobste Comment 12-21 Automated Equality Checks in C with Reflection (C26) (lemire.me)
219. 更新的LLM基准测试（Gemini 3 Flash） Lobste Comment 12-21 Updated LLM Benchmark (Gemini 3 Flash) (entropicthoughts.com)
220. 使用synctest/pprof检测goroutine泄漏 Lobste Comment 12-20 Detecting goroutine leaks with synctest/pprof (antonz.org)
221. 基于引用的目标定位在Shadow DOM中 Lobste Comment 12-20 Targeting by Reference in the Shadow DOM (meyerweb.com)
222. Go语言中的哈希表与自托管编译器的优势 Lobste Comment 12-20 Hash tables in Go and advantage of self-hosted compilers (rushter.com)
223. 引导Hacker News观点的神秘力量 Lobste Comment 12-20 The Mysterious Forces Steering Views on Hacker News (xn--gckvb8fzb.com)
224. 在Lean4中验证随机最大割近似算法的界限 Lobste Comment 12-20 Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4 (abhamra.com)
225. UnifyBio：转化数据科学的强力工具 - Benjamin Kamphaus Lobste Comment 12-20 UnifyBio: Power Tools for Translational Data Science - Benjamin Kamphaus (www.youtube.com)
227. 十年Datomic之旅——戴维斯·谢泼德与乔纳森·英迪格（Netflix） Lobste Comment 12-20 A Decade on Datomic - Davis Shepherd & Jonathan Indig (Netflix) (www.youtube.com)
229. 通过格结构理解Dart类修饰符 Lobste Comment 12-20 Understanding Dart Class Modifiers by Using Lattices (modulovalue.com)
237. 学习Ruby和Rails编程的书籍清单（2023年版） Lobste Comment 12-20 A List of Books to Learn Programming with Ruby and Rails (2023) (www.writesoftwarewell.com)
240. Pi 5 NAS 配备定制碳纤维面板，由 Makera Z1 制造 Lobste Comment 12-20 Pi 5 NAS With Custom Carbon Fibre Panels, Made on the Makera Z1 (www.the-diy-life.com)
241. Lite3，一种兼容JSON的零拷贝序列化格式 Lobste Comment 12-20 Lite3, a JSON-Compatible Zero-Copy Serialization Format (github.com)
243. 8位波莱罗（全球最宏大的芯片音乐？） Lobste Comment 12-20 8-bit Boléro (the world’s most ambitious chiptune?) (linusakesson.net)
247. map::operator[] 应当为 nodiscard Lobste Comment 12-19 map::operator[] should be nodiscard (quuxplusone.github.io)
248. 有限状态转换器用于置换镶嵌 Lobste Comment 12-19 Finite-state transducers for substitution tilings (arxiv.org)
249. 用Rust语言编写的WireGuard实现 Lobste Comment 12-19 WireGuard implementation written in Rust (mullvad.net)
251. 当视角欺骗：Rust中的变量模式掉落脚枪 Lobste Comment 12-19 When Scope Lies: The Wildcard Pattern Drop Footgun in Rust (obeli.sk)
253. 在Apple Music上创建并播放音乐播放列表 Lobste Comment 12-19 generate and play music playlists on apple music (github.com)
257. 提示缓存：大型语言模型令牌成本降低10倍，但如何实现？ Lobste Comment 12-19 Prompt caching: 10x cheaper LLM tokens, but how? (ngrok.com)
258. LionsOS 设计、实现与性能 Lobste Comment 12-19 LionsOS Design, Implementation and Performance (arxiv.org)
259. pg_textsearch：PostgreSQL BM25相关性排序全文搜索扩展 Lobste Comment 12-19 pg_textsearch: PostgreSQL extension for BM25 relevance-ranked full-text search (github.com)
262. 如何用一个简单技巧破解Discord、Vercel等平台 Lobste Comment 12-19 how to hack discord, vercel and more with one easy trick (kibty.town)
263. 停止丢失意图：Rust 中的缺席、空值与值 Lobste Comment 12-19 Stop Losing Intent: Absent, Null, and Value in Rust (minikin.me)
264. headson：结构化数据的头/尾处理工具——支持JSON/YAML及源代码的摘要/预览功能 Lobste Comment 12-19 headson: head/tail for structured data - summarize/preview JSON/YAML and source code (github.com)
265. dogalog：基于Prolog的实时编码音乐环境 Lobste Comment 12-19 dogalog: Prolog-based livecoding music environment (github.com)
267. 我被黑了，我的服务器今早开始挖门罗币了 Lobste Comment 12-19 I got hacked, my server started mining Monero this morning (blog.jakesaunders.dev)
269. Tuitar——便携式吉他训练工具与DIY套装 Lobste Comment 12-19 Tuitar – A portable guitar training tool and DIY kit (github.com)
270. 你的工作是交付经过验证的可运行代码。 Lobste Comment 12-19 Your job is to deliver code you have proven to work (simonwillison.net)
273. 亲爱的ACM，你搞错了人工智能的方向，但你仍有机会做对。 Lobste Comment 12-18 Dear ACM, you''re doing AI wrong but you can still get it right (anil.recoil.org)
274. 通过ND6路由器通告实现远程代码执行 Lobste Comment 12-18 Remote code execution via ND6 Router Advertisements (www.freebsd.org)
275. OBS Studio获得全新渲染器：OBS如何采用Metal技术 Lobste Comment 12-18 OBS Studio Gets A New Renderer: How OBS Adopted Metal (obsproject.com)
277. 微软悄然终止IntelliCode服务，转而推广付费版Copilot Lobste Comment 12-18 Microsoft quietly kills IntelliCode in favor of the paid Copilot (visualstudiomagazine.com)
278. lightning-extra：适用于云原生机器学习的PyTorch Lightning插件与实用工具 Lobste Comment 12-18 lightning-extra: PyTorch Lightning plugins and utilities for cloud-native machine learning (github.com)
283. 介绍 Qt 任务树模块，作为 Qt 6.11 的一部分 Lobste Comment 12-18 Introducing the Qt Task Tree Module, Part of Qt 6.11 (www.qt.io)
288. Linux内核Rust代码首次出现CVE漏洞 Lobste Comment 12-18 Linux Kernel Rust Code Sees Its First CVE Vulnerability (www.phoronix.com)
289. 朝日Linux进展报告：Linux 6.18 Lobste Comment 12-17 Asahi Linux Progress Report: Linux 6.18 (asahilinux.org)
291. Loro-extended：一套用于构建本地优先应用程序和多智能体系统的工具包，基于Loro框架 Lobste Comment 12-17 loro-extended: A toolkit for building local-first applications and multi-agent systems with Loro (github.com)
292. 在Hacktoberfest期间维护开源软件 Lobste Comment 12-17 Maintaining an open source software during Hacktoberfest (crocidb.com)
293. IRC的ping超时问题怎么会演变成一场诉讼？ Lobste Comment 12-17 How did IRC ping timeouts end up in a lawsuit? (mjg59.dreamwidth.org)
295. 基于Docker构建更安全的容器生态系统：免费强化版Docker镜像 Lobste Comment 12-17 A Safer Container Ecosystem with Docker: Free Docker Hardened Images (www.docker.com)
296. 关于类型系统的错误问题 Lobste Comment 12-17 The Wrong Question About Type Systems (furkan3ayraktar.github.io)
297. 原始的Mozilla"恐龙"标志设计稿 Lobste Comment 12-17 The original Mozilla "Dinosaur" logo artwork (www.jwz.org)
299. 推特（很可能）正在爬网收集互联网数据用于人工智能 Lobste Comment 12-17 How Twitter is (probably) crawling the Internet for AI (kitsunemimi.pw)
300. 日志级别''error''应表示存在需要修复的问题 Lobste Comment 12-17 Log level ''error'' should mean that something needs to be fixed (utcc.utoronto.ca)