Lobste 最新提交 Lite

10-08 Beauty in DVD Menus (vale.rocks)

02:52 Composition over Inheritance Explained using Retro Games (www.youtube.com)

3. 纳维-斯托克斯方程在转换中的失真：为何人工智能自动形式化中的精简验证无法保证自然语言证明的正确性 Lobste Comment

01:16 Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arxiv.org)

4. Hetzner Cloud 网络堆栈的发展历程 Lobste Comment

10-08 The history of the Hetzner Cloud network stack (www.hetzner.com)

5. Rust 错误处理中的缺失环节 Lobste Comment

10-08 The Missing Piece in Rust Error Handling (mcmah309.github.io)

6. 结束Casuarina Linux实验 Lobste Comment

10-08 Ending the Casuarina Linux Experiment (casuarina.org)

7. 在我们的读取密集型工作负载中，RwLock 的性能开销 Lobste Comment

10-08 The Performance Cost of RwLock in Our Read-Heavy Workload (pranitha.dev)

8. 扩展 Guix Lobste Comment

10-08 Extending Guix (guix.gnu.org)

9. 思考将成为一种爱好 Lobste Comment

10-08 Thinking will become a hobby (www.spinellis.gr)

10. specialArgs 被认为是有害的 Lobste Comment

10-08 specialArgs considered harmful (ysun.co)

11. “&”的背后 Lobste Comment

10-08 Beyond the & (lwn.net)

12. Shopify 又回到了原生模式。我认为更大的转变在于形式化验证。 Lobste Comment

10-08 Shopify went back to native. I think the bigger shift is formal verification (martinalderson.com)

13. SPA 与超媒体：基于 PLANKA 评估的协作式看板 Lobste Comment

10-08 SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA (zweiundeins.gmbh)

14. 诚征 Gentoo 基础设施赞助商 Lobste Comment

10-08 Gentoo infrastructure sponsors wanted (www.gentoo.org)

15. 将 Git 仓库迁移到 SHA-256 Lobste Comment

10-08 Migrating Git repos to SHA-256 (exa.y2k.diy)

16. jujutsu (jj) 0.46.0 Lobste Comment

10-08 jujutsu (jj) 0.46.0 (github.com)

17. 语言模型时代的 Clojure Lobste Comment

10-08 Clojure in the Age of Language Models (yogthos.net)

18. 基于代理群的属性测试 Lobste Comment

10-08 Property Testing with Agent Swarms (recursion.wtf)

19. 支撑互联网的人们 Lobste Comment

10-08 The people holding up the internet (sheets.works)

20. 未定义的操作码 ud0 和 ud1 怎么会有参数呢？ Lobste Comment

10-08 How can undefined opcodes ud0 and ud1 have parameters? (devblogs.microsoft.com)

21. 我的网站已被谷歌从索引中移除 Lobste Comment

10-08 I''ve Been Deindexed by Google (kennyqin.com)

22. 新通用顶级域名（gTLD）计划：2026年轮次申请 Lobste Comment

10-08 New gTLD Program: 2026 Round applications (newgtldprogram-aps.icann.org)

23. 关于API的一番牢骚 Lobste Comment

10-08 A rant about APIs (dev.clintonblackburn.com)

24. 蒙特卡洛模拟 Lobste Comment

10-08 Monte-Carlo simulations (eli.thegreenplace.net)

25. 关于将人工智能用作写作助手 Lobste Comment

10-08 On using AI as a writing assistant (ninashamsi.com)

26. “数学末日” Lobste Comment

10-08 The Mathocalypse (scottaaronson.blog)

27. 计算机先驱、曾领导阿波罗计划软件开发的玛格丽特·汉密尔顿去世，享年90岁 Lobste Comment

10-08 Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 (news.mit.edu)

28. 现在，我们所有的房子都建在沙地上 Lobste Comment

10-08 All our houses are built on sand now (po-ru.com)

29. 当海底光缆中断时：了解并防范台湾国际互联网断网的风险 Lobste Comment

10-08 When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan''s International Internet Disconnection (resilience.ocf.tw)

30. 软件开发人员的情况并不乐观 Lobste Comment

10-08 Software developers are not okay (www.baldurbjarnason.com)

31. 关于 Git 引用 Lobste Comment

10-08 On Git Refs (matklad.github.io)

32. 在 C 语言中不指定函数名地调用函数 Lobste Comment

10-08 Calling a function in C without naming it (wiro.world)

33. rat 的最小寄存器分配器 Lobste Comment

10-08 rat''s minimal register allocator (hexrat.cc)

34. 清零，第一部分：数据擦除可能会适得其反 Lobste Comment

10-08 Zeroization, part 1: Wiping can make things worse (00f.net)

35. 为一个小型社区创建发行版构建工具 Lobste Comment

10-08 Creating distro build tooling for a small community (chimera-linux.org)

36. 学习AI/ML知识的最佳书籍/课程/频道，助你实现跨越式进步 Lobste Comment

10-07 Best Books/Courses/Channels to Leapfrog on AI/ML Material (lobste.rs)

37. 22个待处理的curl漏洞 Lobste Comment

10-07 Twenty-two pending curl vulnerabilities (daniel.haxx.se)

38. 面向 Rust 程序员的 C 语言 Lobste Comment

10-07 C for Rust Programmers (bd103.dev)

39. Chromium 强化指南 Lobste Comment

10-07 Chromium Hardening Guide (rknf404.github.io)

40. 展开的代码 Lobste Comment

10-07 Unrolled code (noteflakes.com)

41. 介绍 Mapsnap：历史版桑伯恩保险地图的自动地理配准 Lobste Comment

10-07 Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (www.danvk.org)

42. 软件博客中的反模式 Lobste Comment

10-07 Anti-Patterns in Software Blogging (refactoringenglish.com)

43. 那次并非错误的数据竞争（以及那次确实是错误的数据竞争） Lobste Comment

10-07 The Data Race That Wasn''t a Bug (and the One That Was) (victoriametrics.com)

44. Go 语言中的逃逸分析：栈还是堆？ - YouTube Lobste Comment

10-07 Escape Analysis in Go: Stack or Heap? - YouTube (www.youtube.com)

45. 一个基于纯Rust语言、在“洁净室”环境下实现的Adobe Photoshop开源重构版本 Lobste Comment

10-07 An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust (github.com)

46. 游戏内叠加层的工作原理（2022） Lobste Comment

10-07 How In-Game Overlays Work (2022) (fredemmott.com)

47. 在 Chrome 中传输 JPEG XL 文件 Lobste Comment

10-07 Shipping JPEG XL in Chrome (developer.chrome.com)

48. Mojo 编译器的内部结构 Lobste Comment

10-07 Inside the Mojo compiler (www.youtube.com)

49. Koreader 的阅读统计数据和标注同步功能，用于间隔重复学习 Lobste Comment

10-07 Koreader reading statistics and highlights sync for spaced repetition (blog.zm.is)

50. 利用批处理和聚合实现更快的 HTML 流式传输 Lobste Comment

10-07 Faster streaming HTML with batches and aggregates (andersmurphy.com)

51. 解读《上古卷轴5：天际》中“Magelight XP”的漏洞 Lobste Comment

10-07 Explaining the Magelight XP glitch in Skyrim (blog.alexbeals.com)

52. json2dir：将目录归档转换为易于人类阅读的格式 Lobste Comment

10-07 json2dir: Directory archives, made human-readable (github.com)

53. 注意了！httpd 和 relayd 的新功能 Lobste Comment

10-07 Headers Up! What''s New in httpd and relayd (rsadowski.de)

54. 讨厌AI编程的原因 Lobste Comment

10-07 Reasons to dislike AI coding (www.sicpers.info)

55. Python 3.15 的运行速度如何？ Lobste Comment

10-07 How fast is Python 3.15? (blog.miguelgrinberg.com)

56. OpenAI 发布数学研究目录 Lobste Comment

10-07 OpenAI shares mathematics research catalogue (github.com)

57. 当“随机”其实并不够随机时 Lobste Comment

10-07 When random is not actually random enough (ersc.io)

58. Raspberry Pi Desktop 现已支持 PC 和 Mac Lobste Comment

10-07 Raspberry Pi Desktop now available for PC and Mac (www.raspberrypi.com)

59. COSMIC DE 是否在模仿 KDE Plasma？ Lobste Comment

10-07 Is COSMIC DE mogging KDE Plasma? (thelibre.news)

60. Burn 0.22.0：构建速度更快、扩展更便捷、自动调优更智能 Lobste Comment

10-07 Burn 0.22.0: Faster Builds, Easier Extensions, and Smarter Autotuning (tracel.ai)

61. Janet 谈 x32：32 位指针、64 位速度、内存占用减少 25% Lobste Comment

10-07 Janet on x32: 32-bit Pointers, 64-bit Speed, 25% Less RAM (alexalejandre.com)

62. 程序状态终端协议（OSC 7501） Lobste Comment

10-07 A Terminal Protocol for Program Status (OSC 7501) (mitchellh.com)

63. 如何修复修复程序中的错误 Lobste Comment

10-07 How to fix a bug in a fix (projectzero.google)

64. 那次我跟一个笔记本电脑小偷共事 Lobste Comment

10-07 That Time I Worked With a Laptop Thief (blog.pipetogrep.org)

65. 深入解析 Windows I/O 管理器：详解读取 I/O 请求的初始化过程 Lobste Comment

10-07 Inside the Windows I/O Manager: Deep dive into how read I/O requests are initialized (winware31.blogspot.com)

66. 一份可持续的网络职业，以备这一切过去之后 Lobste Comment

10-07 A sustainable web career, for when all this blows over (dbushell.com)

67. Pared——在不禁用SIP的情况下移除不需要的Apple Intelligence模型 Lobste Comment

10-07 Pared - remove unwanted Apple Intelligence models without disabling SIP (github.com)

68. Perseus：面向云存储系统的故障缓冲检测框架（2023） Lobste Comment

10-07 Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems (2023) (www.usenix.org)

69. 为什么我们应该注入依赖项 Lobste Comment

10-07 Why We Should Inject Dependencies (gist.github.com)

70. Chrome 对近期 ccTLD 注册局被劫持事件的回应 Lobste Comment

10-07 Chrome''s Response to Recent ccTLD Registry Hijacks (blog.google)

71. Gentoo 的 Chromium 软件包的“最后仪式” Lobste Comment

10-07 Last rites for Gentoo''s Chromium package (lwn.net)

72. Brut——专为 Unix 工具打造的“强悍”路由器 Lobste Comment

10-07 Brut, the Brutal Router for Unix Tools (brut.sh)

73. kahawai——一个开源的、模块化的媒体系统 Lobste Comment

10-06 kahawai - an open source, modular media system (github.com)

74. DOS：确定系统运行时间 Lobste Comment

10-06 DOS: Determining system uptime (movq.de)

75. Percona Server 和 MySQL 中的线程池（第 1 部分） Lobste Comment

10-05 Thread Pool in Percona Server and MySQL (Part 1) (www.percona.com)

76. Polars 2.0 发布 Lobste Comment

10-06 Release of Polars 2.0 (pola.rs)

77. 什么是代码模式 Lobste Comment

10-06 What is Codemode (lucumr.pocoo.org)

78. 双向切片 Lobste Comment

10-06 Bidirectional Type Slicing (arxiv.org)

79. 使用 Zig 扩展 Lua 1：Hello World Lobste Comment

10-06 Extend Lua with Zig 1: Hello World (www.robbielyman.com)

80. 人工智能已成为人类面临的最大威胁 Lobste Comment

10-06 AI Just Became Humanity’s Biggest Threat (www.youtube.com)

81. Montray——用于显示 systemd 服务状态的托盘图标 Lobste Comment

10-06 Montray - a tray icon for systemd service health (github.com)

82. 给自建邮件服务器的用户——你们都在用什么？ Lobste Comment

10-06 Email Self Hosters - what are you using? (lobste.rs)

83. 两个针对 arm64 的编译错误在 curl 中引发了安全漏洞 Lobste Comment

10-06 Two arm64-specific miscompiles induce vulnerabilities in curl (mastodon.social)

84. 为什么 Common Lisp 如今是最好的编程语言 Lobste Comment

10-06 Why Common Lisp Is Now the Best Programming Language (www.vivienhenz.com)

85. hutch：面向“轻度被边缘化”群体的 Emacs 本地代码审查工具 Lobste Comment

10-06 hutch: local code reviews in emacs for the mildly disenfranchised (kitallis.in)

86. 为什么Java将引入延续（2019） Lobste Comment

10-06 Why Continuations are Coming to Java (2019) (www.infoq.com)

87. 展开一个循环，使着色器运行速度提升10倍 Lobste Comment

10-06 Unroll a loop, make shader 10x faster (aras-p.info)

88. 我们所熟知的开源已死 Lobste Comment

10-06 Open Source as We Know It Is Dead (jross.me)

89. Cloudflare 如何解决容器中存在的跨租户数据泄露漏洞 Lobste Comment

10-06 How Cloudflare addressed a cross-tenant data exposure vulnerability in Containers (blog.cloudflare.com)

90. 陀思妥耶夫斯基：通过自适应移除多余的合并操作，为基于LSM树的键值存储实现更优的时空权衡 Lobste Comment

10-06 Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging (nivdayan.github.io)

91. 一款用于检查邮件服务器 SPF、DKIM、TLSA 和 TLS 设置的 Go 语言工具 Lobste Comment

10-06 Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers (git.sig-io.nl)

92. spoonful：用 Nix 编写的静态网站生成器 Lobste Comment

10-06 spoonful: static site generator written in Nix (tangled.org)

93. 你不需要效果系统 Lobste Comment

10-06 You don''t need an effect system (burningwitness.github.io)

94. Async Rust：调度器位于何处？ Lobste Comment

10-06 Async Rust: Where does the scheduler live? (herecomesthemoon.net)

95. Gleam 不再编译为 Erlang 源代码了 Lobste Comment

10-06 Gleam doesn''t compile to Erlang source anymore (gleam.run)

96. Mold 3.0.0 正式发布 Lobste Comment

10-05 Mold 3.0.0 Released (github.com)

97. 用 Haskell 开发 GTK 应用程序（第一部分） Lobste Comment

10-05 Making a GTK application in Haskell, part 1 (floreal.tech)

98. Steam 框架上的 Nix Lobste Comment

10-05 Nix on the Steam Frame (johns.codes)

99. 朝着 Elm v1 又迈出一步 Lobste Comment

10-05 Another step towards elm v1 (elm-lang.org)

100. 接入 Go 工具链 Lobste Comment

10-05 Hooking into the Go Toolchain (internals-for-interns.com)

101. 因子概述 Lobste Comment

10-05 Factor Overview (re.factorcode.org)

102. 临时性测试 Lobste Comment

10-05 Ephemeral testing (lemire.me)

103. 科曼奇地形图的逆向工程 Lobste Comment

10-05 Reverse Engineering Comanche Terrain Maps (pikuma.com)

104. 我们将初代《毁灭战士》移植到了 SQL 上 Lobste Comment

10-05 We ported the original Doom to SQL (cedardb.com)

105. 我和Deno的友谊已经结束，现在Node是我最好的朋友 Lobste Comment

10-05 Friendship ended with Deno, now Node is my best friend (dbushell.com)

106. 一款全新的、量身定制的静态网站生成器，用于取代 Jekyll Lobste Comment

10-05 A new, bespoke static site generator to replace Jekyll (nullprogram.com)

107. 在 Podman rootless 环境中使用 docker-compose Lobste Comment

10-05 Using docker-compose with Podman rootless (elou.world)

108. Flirt 现已开源 Lobste Comment

10-05 Flirt is now Open-Source (blog.buenzli.dev)

109. 图夫特的剃刀：数据与墨水比的交互式指南 Lobste Comment

10-05 Tufte''s Razor: an interactive guide to the data-ink ratio (tuftesrazor.scienceux.org)

110. 来源：[email protected] - 伪造任意的苹果iCloud身份 Lobste Comment

10-05 From: [email protected] - Spoofing Arbitrary Apple iCloud Identities (sec-consult.com)

111. 您正在错失计算资源 Lobste Comment

10-05 You''re Leaving Compute on the Table (nishantjosh.dev)

112. RIP，矢量数据库 Lobste Comment

10-05 RIP, vector database (turbopuffer.com)

113. 克劳德说 Lobste Comment

10-05 Claude Says (ohhfishal.net)

114. 实现“撤销”功能 - Computerphile Lobste Comment

10-05 Implementing Undo - Computerphile (www.youtube.com)

115. 广播媒体集团正试图接管地面电视。我们必须捍卫它。 Lobste Comment

10-05 Broadcasting conglomerates are attempting a takeover of over-the-air television. We must defend it (place.reeseric.ci)

116. Jenesis Lobste Comment

10-05 Jenesis (jenesis.build)

117. 构建用于语义代码搜索的RAG管道 Lobste Comment

10-05 Building a RAG Pipeline for Semantic Code Search (blog.jetbrains.com)

118. E-Graphs 的优化 Lobste Comment

10-05 Refinement E-Graphs (www.philipzucker.com)

119. 基于协议的共识型存储恢复机制（2018） Lobste Comment

10-05 Protocol-aware recovery for consensus-based storage (2018) (www.usenix.org)

120. ncdu：NCurses 磁盘使用情况（一个更新后的分支） Lobste Comment

10-05 ncdu: NCurses Disk Usage (an updated fork) (github.com)

121. Iroh 全球内容发现 Lobste Comment

10-05 Iroh global content discovery (www.iroh.computer)

122. 使用 SSH 和 nginx 搭建自托管的 HTTP 隧道 Lobste Comment

10-05 Self-hosted HTTP tunnels with SSH and nginx (vincent.bernat.ch)

123. “破解”Go编译器以高效地将IPv4映射到IPv6 Lobste Comment

10-05 Hacking the Go compiler to efficiently map IPv4 to IPv6 (vincent.bernat.ch)

124. 由 git-sim 绘制的、可自定义的 Git 动画速查表 Lobste Comment

10-05 An animated, customizable Git cheat sheet drawn by git-sim (initialcommit.com)

125. 梭罗 BASIC Lobste Comment

10-05 Thoreau BASIC (thoreaubasic.com)

126. 通过命令行界面（CLI）使用 Flatpak 简直糟透了 Lobste Comment

10-04 Flatpak from the CLI sucks (kowalski7cc.xyz)

127. Obelisk 0.42：持久化代理、分层沙箱 Lobste Comment

10-04 Obelisk 0.42: Durable Agents, Layered Sandboxes (obeli.sk)

128. 改进和稳定 NetBSD 中的 racoon2 IKE 守护进程 Lobste Comment

10-04 Improving and Stabilizing the racoon2 IKE Daemon in NetBSD (blog.netbsd.org)

129. 真值的补集是真，除非它是假的 Lobste Comment

10-04 The complement of true is true, except when it''s false (dryperspective.github.io)

130. 《普通人也能懂的JavaScript引擎JIT漏洞入门》 Lobste Comment

10-04 A Mere Mortal''s Introduction to JIT Vulnerabilities in JavaScript Engines (trustfoundry.net)

131. grubby：一款用 Ruby 编写的、用于 Git 仓库的静态网站生成器 Lobste Comment

10-04 grubby: static site generator for git repos written in Ruby (git.btxx.org)

132. 根据十二种范式下的规范得分对模型进行排名，其中各包含一次中性条件和一次人类提示条件 Lobste Comment

10-04 Models ranked by normative score across twelve paradigms, once neutral and once human-primed (cognit.rajtilak.tech)

133. 我们的 RISC-V 模拟器 PasRISCV Lobste Comment

10-04 Our RISC-V emulator PasRISCV (againstallodds.games)

134. 我们几乎在所有方面都需要设定默认的硬性预算上限 Lobste Comment

10-04 We’re going to need default hard budget caps on pretty much everything (simonwillison.net)

135. Kolibri：一款主权开放重量级模型 Lobste Comment

10-04 Kolibri: A Sovereign Open-Weight Model (aleph-alpha.com)

136. Rust 中的 derive 通常意味着内联 Lobste Comment

10-04 Rust''s derive often implies inline (yossarian.net)

10-04 Why I recommend Renovate over any other dependency update tools (2024) (www.jvt.me)

10-04 Why don’t more developers "use the platform"? (nolanlawson.com)

139. 定制化：针对动态类型面向对象编程语言SELF的编译器技术优化（1989） Lobste Comment

10-04 Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) (dl.acm.org)

140. Android 中的系统级广告拦截 Lobste Comment

10-04 System-level ad-blocking in Android (kevinboone.me)

141. 《Rust：患难与共》 Lobste Comment

10-04 Rust, In Sickness & In Health (www.youtube.com)

142. 在 VPS 上部署 Ruby on Rails Lobste Comment

10-04 Deploy Ruby on Rails on a VPS (rubymadscience.com)

143. BSides 奥兰多 2026 入场证 Lobste Comment

10-04 BSides Orlando 2026 Badge (github.com)

144. 关于 Linux 和 Windows 版 Orion 的最新动态 Lobste Comment

10-03 An Update on Orion for Linux and Windows (blog.kagi.com)

145. 软件质量时代，还是鸵鸟时代？ Lobste Comment

10-03 The Era of Software Quality, or the Era of Ostriches? (blogs.gnome.org)

146. 《编写Cyclone Scheme编译器》（2017） Lobste Comment

10-03 Writing the Cyclone Scheme Compiler (2017) (justinethier.github.io)

147. 双栈滑动窗口聚合 Lobste Comment

10-03 Two-Stack Sliding-Window Aggregation (orlp.net)

148. Go JSON v2 迁移：Go 1.27 中哪些功能不再兼容 Lobste Comment

10-03 Go JSON v2 Migration: What Breaks in Go 1.27 (importstatic.com)

149. 如何利用 C2PA “骇”时间 Lobste Comment

10-03 How to Hack Time, With C2PA (www.da.vidbuchanan.co.uk)

150. 格雷格·克罗-哈特曼——大语言模型时代的安全问题 Lobste Comment

10-03 Greg Kroah-Hartman - Security in the LLM Age (www.youtube.com)

151. Cloudflare OHTTP Gateway 正式发布 Lobste Comment

10-03 Announcing Cloudflare OHTTP Gateway (blog.cloudflare.com)

152. 适用于 CPython 的 Rust（2026 年 Python 语言峰会） Lobste Comment

10-03 Rust for CPython (Python Language Summit 2026) (blog.python.org)

153. 培育并控制一个虫群 Lobste Comment

10-03 Grow and control a swarm (nohope.io)

154. 现代桌面环境的问题与解决方案（让 tmux 成为操作系统） Lobste Comment

10-03 Problems and solutions to the modern desktop (Make tmux the OS) (matduggan.com)

155. 尊重用户对“咔哒声”的恐惧 Lobste Comment

10-03 Respecting your users'' dread of the clankers (thoughtbot.com)

156. 编程语言探索的时代已经来临 Lobste Comment

10-03 The Era of Programming Languages Exploration is upon Us (kirancodes.me)

157. gVisor 正在捐赠给 CNCF Lobste Comment

10-03 gVisor is being donated to CNCF (gvisor.dev)

158. Go 语言中的架构特定 SIMD Lobste Comment

10-03 Arch-specific SIMD in Go (go.dev)

159. 上游 Rust 维护报告 Lobste Comment

10-03 Upstream Rust maintenance report (kobzol.github.io)

160. 我成了攻击目标：攻击者试图通过 Git 的 post-checkout 钩子窃取您的凭据 Lobste Comment

10-03 I got targeted: Trying to get your credentials via a git post-checkout hook (frankwiles.com)

161. Lobsters 对 Sjamaan 的专访 Lobste Comment

10-03 Lobsters Interview with Sjamaan (alexalejandre.com)

162. Zig 0.17.0 发布说明 Lobste Comment

10-03 Zig 0.17.0 Release Notes (ziglang.org)

163. Klassik 在现代的 Plasma 6 上重现了 KDE 3 桌面 Lobste Comment

10-03 Klassik Revives the KDE 3 Desktop on Modern Plasma 6 (linuxiac.com)

164. 避免将 Futhark 运行在 GPU 上 Lobste Comment

10-03 Keeping Futhark off the GPU (futhark-lang.org)

165. macOS 中“全盘访问”功能的更新 Lobste Comment

10-03 Updates to Full Disk Access in macOS (developer.apple.com)

166. 微软加大力度支持Rust Lobste Comment

10-03 Microsoft doubles down on Rust (www.infoworld.com)

167. 使用 Rust 驱动 GDEH0154D67 电子纸显示屏 Lobste Comment

10-03 Driving the GDEH0154D67 e-paper display with Rust (sgt.hootr.club)

168. 代理编码的“四骑士” Lobste Comment

10-03 The Four Horsemen of Agentic Coding (distantprovince.substack.com)

169. Pi Durable Lobste Comment

10-03 Pi Durable (earendil.com)

170. 如果提供了无障碍选项卡，GitHub 仓库的首页现在会显示该选项卡 Lobste Comment

10-02 GitHub repository landing pages now show an accessibility tab, if provided (ericwbailey.website)

171. JetBrains Air：构建面向代理式软件开发的产品体系 Lobste Comment

10-02 JetBrains Air: Building a System of Products for Agentic Software Development (blog.jetbrains.com)

172. SequenceHash：适合普通用户的多重哈希算法 Lobste Comment

10-02 SequenceHash: multihashing for the rest of us (blog.trailofbits.com)

173. 正在拍卖的实际 RFC1149 数据包 Lobste Comment

10-02 Actual RFC1149 packet being auctioned (onlineonly.christies.com)

174. 健忘的 CPU（M4 上的 Linux） Lobste Comment

10-02 The forgetful CPU (Linux on M4) (yuka.dev)

175. 赏樱，为什么？：零零碎碎 Lobste Comment

10-02 Hanami, Why?: Bits & Bobs (aaronmallen.me)

176. 给初入行的软件工程师的建议 Lobste Comment

10-02 Advice to a beginning software engineer (www.seangoedecke.com)

177. 将 Debian 13 用作双 WAN 路由器 Lobste Comment

10-02 Debian 13 as a dual WAN router (www.tqdev.com)

178. GIMP——对LiamQuin的专访 Lobste Comment

10-02 GIMP - Interview with LiamQuin (www.gimp.org)

179. 克劳德式的科学 Lobste Comment

10-02 Claude-shaped science (www.anthropic.com)

180. 泛型常量参数与您 Lobste Comment

10-02 Generic Const Args and You (blog.rust-lang.org)

181. Docker 层中隐藏的设计妥协 Lobste Comment

10-02 The hidden design compromises of Docker layers (loige.co)

182. 受 Emacs 的 rx 启发，适用于 JavaScript/TypeScript 的易读正则表达式 Lobste Comment

10-02 Readable Regular Expressions for JavaScript/TypeScript, Inspired by Emacs'' rx (rahuljuliato.com)

183. “推力”与“转向”（或：又一个关于邓宁-克鲁格效应的轶事案例） Lobste Comment

10-02 Thrust vs. Steer (or: Yet Another Anecdotal Case of the Dunning-Kruger Effect) (write.as)

184. 本周末将举办第十六届RacketCon大会 Lobste Comment

10-02 sixteenth RacketCon this weekend (con.racket-lang.org)

185. @storyteller-platform/epub v1.0.0 发布 Lobste Comment

10-02 @storyteller-platform/epub v1.0.0 release (storyteller-platform.dev)

186. 调度表是可求解的符号：数据流架构上无需调优的片段程序编译 Lobste Comment

10-02 Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures (arxiv.org)

187. Waterfox 6.7.5 新增内置订阅源阅读器 Lobste Comment

10-02 Waterfox 6.7.5 Adds a Built-in Feed Reader (www.waterfox.com)

188. 我们应该能够改变自己的语言 Lobste Comment

10-02 We Should be Able to Change our Languages (jimmyhmiller.com)

189. Git 3.0 即将采用 SHA-256 作为默认值，这将是一个代价高昂的错误 Lobste Comment

10-02 Git 3.0''s upcoming SHA-256 default will be a costly mistake (blog.gitbutler.com)

190. 如何制作文本框：Unicode 与 OpenType 速成课程——吉米·勒菲弗，BSC 2026 Lobste Comment

10-02 How to make a text box: A crash course in Unicode and OpenType - Jimmy Lefevre, BSC 2026 (www.youtube.com)

191. 记录其反转情况的列表 Lobste Comment

10-02 Lists that keep track of their reversal (grim.cargocut.org)

192. 我开发了一个小程序，它会遍历互联网，生成每日个性化的新闻摘要。 Lobste Comment

10-02 I built a small app that scours the internet to create a daily personolized news briefing (github.com)

193. Web开发教育的消亡 Lobste Comment

10-02 The death of web development education (molily.de)

194. Pidgin 3.0 Alpha 3 2.97.0 已发布 Lobste Comment

10-02 Pidgin 3.0 Alpha 3 2.97.0 has been released (discourse.imfreedom.org)

195. outis：通过生成并发送虚假的“用户不存在”退信邮件来对抗AI垃圾邮件 Lobste Comment

10-01 outis: Fight AI spam by generating and sending a fake "user unknown" bounce emails (github.com)

196. 第二枚“金钉”：跨越Valen与Rust边界的内存安全性 Lobste Comment

10-01 The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary (verdagon.dev)

197. 谷歌违背了为Chromebook提供10年更新的承诺 – OSnews Lobste Comment

10-01 Google breaks promise to provide 10 years of updates to Chromebooks – OSnews (www.osnews.com)

198. Rust 1.99.0 发布公告 Lobste Comment

10-01 Announcing Rust 1.99.0 (blog.rust-lang.org)

199. 减轻人工智能变革带来的认知负荷 Lobste Comment

10-01 Reducing the cognitive load of AI changes (amoffat.github.io)

200. [email protected]发布 Lobste Comment

10-01 [email protected] release (lobste.rs)

201. 沙箱技术足以遏制恶意程序吗？ Lobste Comment

10-01 Is sandboxing sufficient to contain rogue agents? (blog.cryptographyengineering.com)

202. WSL 容器现已正式发布 Lobste Comment

10-01 WSL containers is now generally available (blogs.windows.com)

203. 欧盟《儿童保护法》 Lobste Comment

10-01 EU KIDS Act (commission.europa.eu)

204. 哪些公司正在招聘？2026年第四季度 Lobste Comment

10-01 Who''s hiring? Q4 2026 (lobste.rs)

205. IANA 关于 example.com 为何发生变更的电子邮件 Lobste Comment

10-01 IANA''s email about why example.com changed (www.oliverdunk.com)

206. 重振Valve那本出版已有15年的电子书 Lobste Comment

10-01 Reviving Valve''s 15-year-old e-book (nikolan.net)

207. 类型类与模块 Lobste Comment

10-01 Typeclasses vs Modules (sm2n.ca)

208. 一种具有流类型的简单语言（2021） Lobste Comment

10-01 A Simple Language With Flow Typing (2021) (ayazhafiz.com)

209. ESXi 在实际环境中的利用案例 Lobste Comment

10-01 ESXi Exploitation in the Wild (www.huntress.com)

210. 彭博终端简史 Lobste Comment

10-01 A brief history of the Bloomberg Terminal (spectrum.ieee.org)

211. 人工智能版的帕斯卡赌注 Lobste Comment

10-01 The AI Pascal’s Wager (ploum.net)

212. ASM 机器人：《核心战争》的真实 8086 机器码实现 Lobste Comment

10-01 ASM Bots: Core War in real 8086 machine code (asmbots.io)

213. Debian 因 33 个 CVE 漏洞而对 rsync 进行了重大升级 Lobste Comment

10-01 Major rsync upgrade in Debian because of 33 CVEs (lobste.rs)

214. Rust 到 WGSL 转换器 wgsl-rs 已发布 Lobste Comment

10-01 Rust to WGSL transpiler wgsl-rs released (renderling.xyz)

215. 《Block Game》中的软件遮挡剔除 Lobste Comment

10-01 Software occlusion culling in Block Game (enikofox.com)

216. EDG C/C 编译器项目 Lobste Comment

10-01 EDG C/C Compiler Project (github.com)

217. 我们曾将数据库用作消息队列。现在我们使用Kafka Lobste Comment

10-01 We used a database as a message queue. Now we use Kafka (www.tigrisdata.com)

218. 查找错误 Lobste Comment

10-01 Finding Bugs (matklad.github.io)

219. 分支目标重用：JIT 引擎中的 Spectre-v2 攻击 Lobste Comment

10-01 Branch Target Reuse: Spectre-v2 Attacks in JIT Engines (www.vusec.net)

220. Qt 6.12 LTS 正式发布 Lobste Comment

10-01 Qt 6.12 LTS Released (www.qt.io)

221. Songhive — 一个完全自主托管且支持联邦化的音乐平台 Lobste Comment

10-01 Songhive — A fully self-hosted and federated music platform (blog.fabiomanganiello.com)

222. 对可证明安全性的再思考 Lobste Comment

10-01 Another Look at Provable Security (www.math.uwaterloo.ca)

223. Postgres 在 Linux 上的运行情况 Lobste Comment

10-01 Postgres on, vs, with Linux (youtu.be)

224. 2026年开发者现状 Lobste Comment

09-30 State of Devs 2026 (2026.stateofdevs.com)

225. “赏樱，为什么？”：引言 Lobste Comment

09-30 Hanami, Why?: Introductions (aaronmallen.me)

226. Tcl/Tk 9.1 Lobste Comment

09-30 Tcl/Tk 9.1 (www.tcl-lang.org)

227. 2026年第二季度 Backblaze 硬盘统计数据：硬盘故障率 Lobste Comment

09-30 Q2 2026 Backblaze Drive Stats: Hard Drive Failure Rates (www.backblaze.com)

228. TLA 能检查和不能检查的内容 Lobste Comment

09-30 What TLA can and can''t check (buttondown.com)

229. Turbo Haskell Lobste Comment

09-30 Turbo Haskell (comonad.com)

230. 回到“备份”专栏：年度回顾 Lobste Comment

09-30 Back to Backups: A Year in Review (signal.org)

231. foldl 与 foldr 之间的区别 Lobste Comment

09-30 Differences between foldl and foldr (blog.haskell.org)

232. attezt：设备认证、PKCS11 和 ACME Lobste Comment

09-30 attezt: device attestation, PKCS11 and ACME (media.ccc.de)

233. “哑服务器，智能客户端”：使用 Quarry 分发图片 Lobste Comment

09-30 Dumb Servers, Smart Clients: Distributing Images with Quarry (amutable.com)

234. 为我的工作站进行一次免费的音频升级 Lobste Comment

09-30 A no-cost audio upgrade for my workstation (mit.teil.space)

235. snowdesktop：面向开发者的不可变 Debian 桌面环境 Lobste Comment

09-30 snowdesktop: Immutable Debian desktop for developers (github.com)

236. 《加入排序》第一部分：搜索空间的形状 Lobste Comment

09-30 Join Ordering, Part 1: The Shape of the Search Space (deferworks.org)

237. npm 上伪造的 Express 包传播了一种 Linux 蠕虫 Lobste Comment

09-30 Fake Express Packages on npm Spread a Linux Worm (safedep.io)

238. 编码问题尚未解决 Lobste Comment

09-30 Coding is not solved (blog.alexewerlof.com)

239. 《杜鹃的蛋》（小说） - 维基百科 Lobste Comment

09-30 The Cuckoo''s Egg (book) - Wikipedia (en.wikipedia.org)

240. OpenBSD 的 ports 树保留了采用 GPL 许可的 coreutils，而拒绝了 uutils（Rust 重写版） Lobste Comment

09-30 OpenBSD''s ports tree keeps GPL coreutils and rejects uutils (Rust rewrite) (www.mail-archive.com)

241. 《肮脏的优化秘籍》（Playdate版C语言） Lobste Comment

09-30 Dirty Optimization Secrets (C for Playdate) (devforum.play.date)

242. 唯一直观的界面就是乳头 Lobste Comment

09-30 The Only Intuitive Interface Is The Nipple (www.greenend.org.uk)

243. 与普罗米修斯相去甚远 Lobste Comment

09-30 Hardly Promethean (jardo.dev)

244. 如何在2026年9月加快Rust编译器的运行速度 Lobste Comment

09-30 How to speed up the Rust compiler in September 2026 (nnethercote.github.io)

245. 如何在软件工程团队中工作（2022） Lobste Comment

09-30 How to work in a software engineering team (2022) (kimmosaaskilahti.fi)

246. Deser：重新思考 Rust 的序列化 Lobste Comment

09-30 Deser: Rethinking Rust Serialization (lucumr.pocoo.org)

247. ESPARGOS - ESP-SDR：使用 Espressif 的 ESP32 芯片进行原始 IQ 数据捕获 Lobste Comment

09-30 ESPARGOS - ESP-SDR: Raw IQ Capture with Espressif''s ESP32 Chips (espargos.net)

248. 关于当前人工智能领域炒作与狂热现象，我找到的最好解释 Lobste Comment

09-30 The best explanation I''ve found about the state of AI hype and hysteria (www.youtube.com)

249. Change Tours 因为理解代码变更并不容易 Lobste Comment

09-30 Change Tours Because understanding a code change is hard (hannahpotter.github.io)

250. 两种 SQL 查询构建器 Lobste Comment

09-30 Two Kinds of SQL Query Builders (mechanicalrabbit.github.io)

251. Shell 与电子邮件 Lobste Comment

09-30 The Shell & Email (www.machtiani.chat)

252. Nura（postmarketOS）：通往可日常使用的主流手机之路 Lobste Comment

09-30 Nura (postmarketOS): The road to daily-drivable mainline phones (postmarketos.org)

253. 我如何用 Opus 5.5 在四天内开发出一款 iPhone 应用 Lobste Comment

09-30 How I Built an iPhone App in Four Days with Opus 5.5 (projectautonomy.substack.com)

254. 人工智能利润率下滑的势头正在加快 Lobste Comment

09-30 The AI margin collapse is gathering pace (martinalderson.com)

255. Unix 文件和目录权限与模式（2018） Lobste Comment

09-30 Unix File and Directory Permissions and Modes (2018) (wpollock.com)

256. 通过不可信应用获取 OnePlus 15 的 root 权限 Lobste Comment

09-30 Getting root on OnePlus 15 from an untrusted app (blog.nns.ee)

257. 文本转喵音模型 Lobste Comment

09-30 Text-to-meowdio models (www.kmjn.org)

258. ACAB队长——共同追踪执法工作的隐性成本 Lobste Comment

09-30 Captain ACAB - collectively tracking the hidden costs of law enforcement (captainacab.com)

259. 在 Rust 中渴望 Arc Downcasting Lobste Comment

09-29 Pining for Arc Downcasting in Rust (wolfgirl.dev)

260. Aho-Corasick 算法 Lobste Comment

09-29 Aho-Corasick Algorithm (compiler.club)

261. 是什么造就了软件开发工程 Lobste Comment

09-29 What makes software development engineering (parksb.github.io)

262. 我们正遭受攻击！（DDoS攻击） Lobste Comment

09-29 We are under attack! (of a DDoS) (fastnetmon.com)

263. Anubis 目前评论功能出现故障 Lobste Comment

09-29 Anubis currerntly breaking commenting (lobste.rs)

264. 用Haskell开发一个小型遗传算法库的原型（2019） Lobste Comment

09-29 Prototyping a Small Genetic Algorithms Library inHaskell (2019) (anekstein.com)

265. 人工智能并没有让编程变得更简单，它只是让编程以另一种方式变得困难了 Lobste Comment

09-29 AI Didn’t Make Programming Easier. It Just Made It Differently Difficult (cacm.acm.org)

266. MotifCentral - 有关 Motif/Xt/Xlib 的所有内容 Lobste Comment

09-29 MotifCentral - All Things Motif/Xt/Xlib (motif-central.org)

267. 确定性并发 Lobste Comment

09-29 Deterministic Concurrency (www.youtube.com)

268. CoW —— 一个适用于 Wayland 的堆叠式窗口管理器 Lobste Comment

09-29 CoW — a stacking window manager for Wayland (cow-wm.codeberg.page)

269. MicroLLM 实验室——微型大语言模型，第四季度，直接在浏览器中运行 Lobste Comment

09-29 MicroLLM lab - tiny LLMs, Q4, in your browser (stateofutopia.com)

270. PLC组织的最初步骤 Lobste Comment

09-29 First steps of the PLC organization (blog.plcred.org)

271. 我编写单页应用（SPA）自动化测试的经验 Lobste Comment

09-29 My experience writing automated tests for a SPA (reecoute.fr)

272. 使用 GHC 优化以实现快速构建 Lobste Comment

09-29 Optimising for fast builds with GHC (www.youtube.com)

273. 作为 Neovim 用户转用 Emacs Lobste Comment

09-29 Switching To Emacs as a Neovim User (eliasebner.com)

274. 为乐趣和收益而进行浮点数加法 Lobste Comment

09-29 Adding Floating-Point Decimals for Fun and Profit (blog.vero.site)

275. 关于《闪电侠》（2010）的思考 Lobste Comment

09-29 Thoughts on Flash (2010) (web.archive.org)

276. 直观即熟悉 Lobste Comment

09-29 Intuitive equals familiar (dl.acm.org)

277. 安德鲁·凯利发表的《（带标签的）联邦状况》演讲 Lobste Comment

09-29 State of the (Tagged) Union Address by Andrew Kelley (www.youtube.com)

278. 一款真正严肃的人工智能产品会是什么样子？ Lobste Comment

09-29 What Would A Serious AI Product Look Like? (blog.glyph.im)

279. 是时候对人工智能实验室展开调查了 Lobste Comment

09-28 It’s Time to Investigate the AI Labs (calnewport.com)

280. 比尔·盖茨尝试安装“电影制作人” Lobste Comment

09-29 Bill Gates tries to install Movie Maker (www.techemails.com)

281. HardenedBSD 2026年8月/9月状态报告 Lobste Comment

09-29 HardenedBSD August / September 2026 Status Report (hardenedbsd.org)

282. 使用 CSS 检测元素是否重叠 Lobste Comment

09-28 Detect when elements overlap with CSS (ishadeed.com)

283. 对无法解释的故障进行归因分析 Lobste Comment

09-28 the normalization of inexplicable failures (www.ihatethefuture.com)

284. CPython 伪随机数生成器（PRNG）的输出到种子映射 Lobste Comment

09-28 Output-to-seed mappings for CPython''s PRNG (github.com)

285. 如何解决幻觉问题（使用RLCD） Lobste Comment

09-28 How to Solve Hallucination (with RLCD) (www.robw.fyi)

286. 隆重推出 blob-stream：一款无需繁琐操作、成本低廉且支持海量流式传输的 Kafka 替代方案 Lobste Comment

09-28 Announcing blob-stream: a Kafka alternative for no fuss, low cost high volume streaming (blog.bitdrift.io)

287. 劫持 PS5 的 RTMP 流 Lobste Comment

09-28 Hijacking the PS5''s RTMP Stream (yashgarg.dev)

288. GPU 术语表 Lobste Comment

09-28 GPU Glossary (modal.com)

289. Parley——支持标准IRC协议的联合式去中心化聊天平台 Lobste Comment

09-28 Parley - Federated, decentralised chat that speaks plain IRC (git.mills.io)

290. 是的，现在“无AI”也成了一项功能 Lobste Comment

09-28 Yes, no AI is now a feature (blog.documentfoundation.org)

291. 将他们抛在身后 Lobste Comment

09-28 Leaving them behind (dbushell.com)

292. 其实，打包二进制文件挺有意思的 Lobste Comment

09-28 Packing Binary Is Fun, Actually (hereticpleb.vercel.app)

293. 谷歌是什么时候变得这么奇怪的？ Lobste Comment

09-28 When did Google get so weird? (sancho.bearblog.dev)

294. 容器已不再是安全边界 Lobste Comment

09-28 Containers Are No Longer a Security Boundary (depthfirst.com)

295. Shobr：通过浏览器自动化进行工作搜索 CLI、事件溯源、大型语言模型（LLM） Lobste Comment

09-28 Shobr: Job seach CLI via browser automation, event-sourcing, LLM (github.com)

296. 用药房十字架玩“里克滚” Lobste Comment

09-28 Rickrolling with a Pharmacy cross (hugoarnal.com)

297. 务实的拟人化，或者：如何与一只会自动补全的蟋蟀对话 Lobste Comment

09-28 Pragmatic Anthropomorphism, or: How to Talk to an Autocompleting Cricket (blog.lmorchard.com)

298. 是什么让 Lisp 难以阅读？ Lobste Comment

09-28 What makes Lisp difficult to read? (paultm.nl)

299. DogWood：利用一阶时序逻辑监控策略 Lobste Comment

09-28 DogWood: Monitoring Policies using First Order Temporal Logic (aws.amazon.com)

300. 傻瓜的“专业知识” Lobste Comment

09-28 Fool''s Expertise (bcantrill.dtrace.org)