Lobste 最新提交 Lite

1. 那条一分钟后就放弃的通知 Lobste Comment

02:34 The notification that gave up after a minute (jva.lol)

2. 《使用Lean进行形式验证入门》（第1部分） Lobste Comment

01:35 Introduction to Formal Verification with Lean (Part 1) (hashcloak.com)

3. 我造了一只更棒的绳索机器人狗 Lobste Comment

07-19 I Built an Even Better Ropebot Dog (www.youtube.com)

4. CodeSizer：为什么那个二进制文件这么大？ Lobste Comment

07-19 CodeSizer: Why is that binary so big? (github.com)

5. ZTA：零代币架构 Lobste Comment

07-19 ZTA: Zero Token Architecture (www.youtube.com)

6. 适用于 Thunderbird 的 Git 电子邮件补丁审查插件 Lobste Comment

07-19 Git email patch review addon for Thunderbird (mccd.space)

7. Shake 博客 Lobste Comment

07-19 Shake Blog (abhin4v.github.io)

8. 最近你最喜欢读哪个博客？ Lobste Comment

07-19 What is your favorite blog to read recently? (lobste.rs)

9. Skred 现已成为一款支持 MIDI 的合成器和鼓机构建套件 Lobste Comment

07-19 Skred is now a MIDI aware synth and drum machine construction kit (lobste.rs)

10. 适用于阿里巴巴 SAIL 的 Triton 语言 Lobste Comment

07-19 Triton language for Alibaba SAIL (github.com)

11. 我家服务器的消亡与重生 Lobste Comment

07-19 The death and rebirth of my home server (sgt.hootr.club)

07-19 More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows (raymii.org)

13. 数学家们至今仍不清楚乘法运算的最快方法 Lobste Comment

07-19 Mathematicians still don’t know the fastest way to multiply numbers (www.scientificamerican.com)

14. 运河底部的电脑 Lobste Comment

07-19 The computer at the bottom of a canal (negroniventurestudios.com)

15. 硬核 IndieWeb：每天仅需 0.01 美元，即可 100% 独立运营自己的网站 Lobste Comment

07-19 Hardcore IndieWeb: Run your own website 100% independently for only 0.01/day (www.neatnik.net)

16. 软件与人工智能——“预先规划”与“即兴创作” Lobste Comment

07-19 Software and AI - Plotting vs. Pantsing (pyjarrett.github.io)

17. 词典和表格 DefconQ Lobste Comment

07-19 Dictionaries and Tables DefconQ (www.defconq.tech)

18. 研究 Linux 调度器，以及指标为何重要 Lobste Comment

07-19 Studying Linux Schedulers, and Why Metrics Matter (pradyun.net)

19. 通过“弹射”构建类人神经网络 Lobste Comment

07-19 Human-like Neural Nets by Catapulting (gwern.net)

20. 可重复读取隔离级别与快照隔离级别 Lobste Comment

07-19 Repeatable Read vs Snapshot Isolation (jaymcor.github.io)

21. Gleam 已将其源代码镜像到 tangled（一个基于 AT 协议的代码托管平台）上 Lobste Comment

07-19 Gleam has mirrored its source code on tangled (an AT-protocol based forge) (tangled.org)

22. OpenSSL HollowByte：隐藏在11个字节中的DoS漏洞 Lobste Comment

07-19 OpenSSL HollowByte: A DoS Hiding in 11 Bytes (sec.okta.com)

23. 《半秒》——一本关于XZ后门的书 Lobste Comment

07-19 "Half a Second" - a book on the XZ backdoor (www.half-second.com)

24. 一种更优的枚举标志位集 Lobste Comment

07-19 A better bitset for enum flags (www.elbeno.com)

25. 半边数据结构。第二部分 Lobste Comment

07-19 Half-Edge Data Structure. Part2 (alexsyniakov.com)

26. wp2shell：WordPress 核心中的身份验证前远程代码执行漏洞 Lobste Comment

07-19 wp2shell: Pre Authentication RCE in WordPress Core (wp2shell.com)

27. 建筑工作的本质——第4部分 Lobste Comment

07-19 The essence of architectural work - Part 4 (www.ufried.com)

28. “审查人工智能代码”并非一个站得住脚的论点 Lobste Comment

07-19 Reviewing AI Code Is Not A Viable Argument (softwaremaxims.com)

29. 我最优秀的资深工程师上个月辞职了 Lobste Comment

07-19 My Best Senior Engineer Quit Last Month (blog.stackademic.com)

30. APL 案例研究 Lobste Comment

07-19 APL Case Studies (www.dyalog.com)

31. Haunt 0.4.0 发布 Lobste Comment

07-18 Haunt 0.4.0 released (git.dthompson.us)

32. 再见，感谢所有“Bikesheds” Lobste Comment

07-18 Goodbye, and thanks for all the Bikesheds (queue.acm.org)

33. 缓存目录标记规范 Lobste Comment

07-18 Cache Directory Tagging Specification (bford.info)

34. Fediverse 的说法是正确的 Lobste Comment

07-18 The fediverse was right (blog.lvmbdv.dev)

35. NextBSD 项目重启：基于 FreeBSD 内核的苹果开源用户空间工具 Lobste Comment

07-18 NextBSD project revived: Apple''s FOSS user-space tools on the FreeBSD kernel (nextbsd.org)

36. 2026 年的 SSH 上的 PowerShell：Windows 上的 OpenSSH、密钥认证和 PowerShell 7 远程处理 Lobste Comment

07-18 PowerShell over SSH in 2026: OpenSSH on Windows, Key Auth, and PowerShell 7 Remoting (mattmichie.com)

37. 无论是 gcc 还是 clang，都不符合 C 标准。 Lobste Comment

07-18 neither gcc nor clang are compliant with standard c (sebsite.pw)

38. GitRoot Lobste Comment

07-18 GitRoot (gitroot.dev)

39. OpenVMS 上的 DOSBox（Alpha 处理器） Lobste Comment

07-18 DOSBox on OpenVMS (Alpha CPU) (astr0baby.online)

40. Aurora DSQL：可扩展、多区域的 OLTP Lobste Comment

07-18 Aurora DSQL: Scalable, Multi-Region OLTP (arxiv.org)

41. 全字母句是如何运作的？ Lobste Comment

07-18 How does Pangram work? (pangram.substack.com)

42. 退化JPEG Lobste Comment

07-18 Regressive JPEGs (maurycyz.com)

43. 通往 Lisp 的道路：选择哪种 Lisp Lobste Comment

07-18 A Road to Lisp: Which Lisp (scotto.me)

44. Scala on Go Lobste Comment

07-18 Scala on Go (github.com)

45. 经典游戏机技术小窍门 Lobste Comment

07-18 Classic console tech tricks (www.youtube.com)

46. GHC 状态报告 Lobste Comment

07-18 GHC Status Report (www.youtube.com)

47. 另一抹诗意 Lobste Comment

07-18 Another Taste of Verse (www.youtube.com)

48. topcoat：一个用于构建 Web 应用的“开箱即用”框架 Lobste Comment

07-18 topcoat: A batteries-included framework for building web apps (github.com)

49. H-E-B 公司的企业级 Haskell 应用 Lobste Comment

07-18 Enterprise Haskell at H-E-B (blog.haskell.org)

50. Lobsters 对 matheusmoreira 关于 Lone Lisp 的采访 Lobste Comment

07-18 Lobsters Interview with matheusmoreira about Lone Lisp (alexalejandre.com)

51. 《Java的故事》官方纪录片 Lobste Comment

07-18 The Java Story The Official Documentary (www.youtube.com)

52. 认知对等性：可重复性作为差分隐私的评估指标 Lobste Comment

07-18 Epistemic Parity: Reproducibility as an Evaluation Metric for Differential Privacy (cacm.acm.org)

53. 关于运行 SQLite 的几点心得 Lobste Comment

07-18 Learning a few things about running SQLite (jvns.ca)

54. 《故障公寓》、《氛围病》和“氛围雪橇” Lobste Comment

07-18 Faulty Towers, vibe sickness, and the vibe bobsled (dustycloud.org)

55. 研制一台稳定的“追踪摄像头”火星车 Lobste Comment

07-17 Building a Stabilized "Chase Camera" Rover (transistor-man.com)

56. 在网络安全领域，领先的开放重量级模型距离前沿还有多远？ Lobste Comment

07-17 How Far Behind the Frontier are Leading Open Weight Models on Cyber? (www.aisi.gov.uk)

57. 《通往Root之旅》第一集：磁悬浮之王 Lobste Comment

07-17 Journey to Root, Episode I: The Maglev King (blog.calif.io)

58. Fedichat——Fediverse 漫画聊天平台 Lobste Comment

07-17 Fedichat - Comic Chat for the Fediverse (lambadalambda.github.io)

59. 我们正在调整开发者生产力实验的设计方案 Lobste Comment

07-17 We are Changing our Developer Productivity Experiment Design (metr.org)

60. Freya 0.4 - Rust GUI 库 Lobste Comment

07-17 Freya 0.4 - Rust GUI library (freyaui.dev)

61. 在 Haskell 中采用广度优先方式展开树（2025） Lobste Comment

07-17 Unfolding trees breadth-first in Haskell (2025) (blog.poisson.chat)

62. PACT：面向网络的匿名凭证 – Mozilla Hacks Lobste Comment

07-17 PACT: Anonymous Credentials for the Web – Mozilla Hacks (hacks.mozilla.org)

63. 国家抽签 Lobste Comment

07-17 Country Draw (country-draw.vercel.app)

64. 地球自转记录促使10月举行投票，以避免出现负闰秒 Lobste Comment

07-17 Earth Rotation Records Spur October Vote to Avert Negative Leap Second (www.techtimes.com)

65. 在全球范围内阻止《GUARD法案》和年龄验证法律的实施 — 自由软件基金会 — 携手共进，推动自由软件发展 Lobste Comment

07-17 Stop the GUARD Act and age verification laws worldwide — Free Software Foundation — Working together for free software (www.fsf.org)

66. 我们正在用Rust开发Postgres。这就像是数据库界的LLVM。 Lobste Comment

07-16 We''re building Postgres in Rust. Using the LLVM of databases (turso.tech)

67. 在宽指针环境下不使用跳板函数时使用 GCC 的嵌套函数（二） Lobste Comment

07-17 Using GCC''s Nested Functions with Wide Pointers and no Trampolines II (uecker.codeberg.page)

68. 音乐盗版的失落之乐 Lobste Comment

07-16 The Lost Joy of Music Piracy (www.pigeonsandplanes.com)

69. 以下是我搭建自己的AIM服务器的做法 Lobste Comment

07-17 Here''s how I host my own AIM server (veronicaexplains.net)

70. 电池组：咱们来聊聊电池箱吧，宝贝 Lobste Comment

07-17 Battery packs: Let''s talk about crates, baby (smallcultfollowing.com)

71. Zilog Z80 已迎来50周年 Lobste Comment

07-17 The Zilog Z80 has turned 50 (goliath32.com)

72. 我们要大赚一笔 Lobste Comment

07-17 We''re Going to Make Out Like Bandits (www.rocketpoweredjetpants.com)

73. 仅靠修复漏洞无法摆脱“漏洞末日” Lobste Comment

07-16 You can''t bug fix your way out of the vulnpocalypse (alexgaynor.net)

74. clj-refactor.el 4.0 Lobste Comment

07-17 clj-refactor.el 4.0 (metaredux.com)

75. 大语言模型（LLM）的批评者说得对。但我还是会用大语言模型 Lobste Comment

07-16 The LLM Critics Are Right. I Use LLMs Anyway (www.theocharis.dev)

76. Microsoft Comic Chat 现已开源 Lobste Comment

07-17 Microsoft Comic Chat is now open source (opensource.microsoft.com)

77. 一种基于概率、表现达到冠军级别的全新计算机拼字游戏引擎（2021） Lobste Comment

07-16 A novel computer Scrabble engine based on probability that performs at championship level (2021) (upcommons.upc.edu)

78. perldelta——Perl v5.44.0 的新功能 Lobste Comment

07-16 perldelta - what is new for perl v5.44.0 (metacpan.org)

79. 为什么 ML/OCaml 适合编写编译器 Lobste Comment

07-16 Why ML/OCaml are good for writing compilers (flint.cs.yale.edu)

80. README，不是 Lobste Comment

07-16 README, not (blog.yossarian.net)

81. 你更喜欢哪款 gdb 前端（Linux）？ Lobste Comment

07-16 What gdb frontend do you prefer (linux) (lobste.rs)

82. 无需订阅的 WHOOP 4.0 Lobste Comment

07-16 WHOOP 4.0 without a subscription (github.com)

83. 我们的 Rust-to-Zig 重写进展如何 Lobste Comment

07-16 How Our Rust-to-Zig Rewrite is Going (rtfeldman.com)

84. “内存编译器”的真正含义：从位单元到GDS分块 Lobste Comment

07-16 What "Memory Compiler" Actually Means: From Bitcells to GDS Tiling (thecloudlet.github.io)

85. WhatsApp 停运之日 Lobste Comment

07-16 The Day WhatsApp goes dark (xn--gckvb8fzb.com)

86. Forgejo v16.0 现已发布 Lobste Comment

07-16 Forgejo v16.0 is available (forgejo.org)

87. Gecode 6.3.0 和 6.4.0 已发布 Lobste Comment

07-16 Gecode 6.3.0 and 6.4.0 are released (zayenz.se)

88. Guix：从二进制文件创建软件包 Lobste Comment

07-16 Guix: creating a package from a binary (aloysberger.com)

89. 将现代包管理引入 Meson 的原生封装生态系统 Lobste Comment

07-16 Bring modern package management to Meson''s native wrap ecosystem (collider.ee)

90. 用于未传播内核安全补丁的过滤引擎和数据库 Lobste Comment

07-16 A Filtering engine and DB for unpropagated kernel security patches (patchless.natey.sh)

91. 在 ActivityPub 实现端到端加密（E2EE）之前，还有大量工作待完成 Lobste Comment

07-16 The Long Tail of Work Left Until ActivityPub Has E2EE (soatok.blog)

92. 应用的形态 Lobste Comment

07-16 The Shape of Apps (parakeet.co)

93. 林纳斯·托瓦兹谈大语言模型在内核开发中的应用 Lobste Comment

07-16 Linus Torvalds on LLM usage in kernel development (lore.kernel.org)

94. dailyprog 谜题安全网 Lobste Comment

07-16 The dailyprog puzzle safety net (blog.lvmbdv.dev)

95. 使用 SQLite 检测全表扫描 Lobste Comment

07-16 Detecting Full Table Scans With SQLite (tenderlovemaking.com)

96. Linux 上的 TLS 证书验证 Lobste Comment

07-16 TLS Certificate Validation on Linux (www.tomica.net)

97. elfuse：在 macOS Apple Silicon 上运行 Arm64/x86-64 Linux ELF 二进制文件 Lobste Comment

07-16 elfuse: Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon (github.com)

98. 使用延续抽象效果 Lobste Comment

07-16 Abstracting effects with continuations (crowdhailer.me)

99. 随着Epic和解协议被撤销，第三方应用商店将于下周登陆Google Play Lobste Comment

07-16 Third-party app stores coming to Google Play next week as Epic settlement withdrawn (arstechnica.com)

100. 人工智能数据中心与财富集中 Lobste Comment

07-16 AI Data Centers and the Concentration of Wealth (www.schneier.com)

101. 第6次实验 Lobste Comment

07-16 Lab 6 (lab6.com)

102. SQLite 应该有不同版本 Lobste Comment

07-16 SQLite should have editions (mort.coffee)

103. 你的AI并非一种工具 Lobste Comment

07-16 Your AI Is Not a Tool (theconvivialsociety.substack.com)

104. 利用对抗性自对弈消除编码代理中的低效行为 Lobste Comment

07-16 Killing Coding Agent Slop With Adversarial Self-Play (usetelos.ai)

105. 《发明ELIZA——首个聊天机器人如何塑造了人工智能的未来》 Lobste Comment

07-15 Inventing ELIZA - How the First Chatbot Shaped the Future of AI (mitpress.mit.edu)

106. 如何在科技行业组建工会 Lobste Comment

07-15 How to unionize your tech workplace (www.computerworld.com)

107. 微软证实Windows GDID设备标识符无法禁用，该情况已在FBI案件文件中有所记载 Lobste Comment

07-15 Microsoft Confirms Windows GDID Device Identifier That Cannot Be Disabled, Documented in FBI Case Filing (www.ghacks.net)

108. FreeBSD 16 从其基础系统中移除了最后一部分 GPL 代码 Lobste Comment

07-15 FreeBSD 16 Retires The Last Of Its GPL Code From Its Base System (www.phoronix.com)

109. Obelisk 与 Temporal 及 Restate 的比较 Lobste Comment

07-15 Comparing Obelisk with Temporal and Restate (obeli.sk)

110. 关于《K&R C》的一些我以前不知道的内容 Lobste Comment

07-15 a bunch of stuff i used to not know about K&R C (sebsite.pw)

111. 我一直在思考空指针的问题 Lobste Comment

07-15 i''ve been thinking about null pointers (sebsite.pw)

112. 高塔不断拔地而起 Lobste Comment

07-15 The Tower Keeps Rising (lucumr.pocoo.org)

113. 《Over the Edge 2.0》：微软的设计策略仍在削弱浏览器选择权 Lobste Comment

07-15 Over the Edge 2.0: Microsoft’s Design Tactics Still Undermine Browser Choice (research.mozilla.org)

114. 数据的顺序：默认值、性能、确定性与分页 Lobste Comment

07-15 The Order of Data: defaults, performance, determinism & paging (binaryigor.com)

115. @clickhouse/rowbinary：当你的库同时也是一个解析器编译器时 Lobste Comment

07-15 @clickhouse/rowbinary: when your library is also a parser compiler (clickhouse.com)

116. C20 如何改进 for 循环语法 Lobste Comment

07-15 How C20 improved the for-loop syntax (lzon.ca)

117. C弦：一个长达50年的错误 Lobste Comment

07-15 C Strings: A 50-Year Mistake (longtran2904.substack.com)

118. 当软件缺乏尊重时，同理心和愉悦感便毫无意义 Lobste Comment

07-15 Empathy and delight mean nothing when the software is disrespectful (productpicnic.beehiiv.com)

119. 完全披露：Cursor 中存在任意代码执行漏洞 Lobste Comment

07-15 Full disclosure: Arbitrary code execution in Cursor (mindgard.ai)

120. 2026年低资源计算 Lobste Comment

07-15 Low Resource Computing 2026 (lrc.cs.dartmouth.edu)

121. 《记忆大劫案》 Lobste Comment

07-15 The Memory Heist (ayush.digital)

122. 一个现代的 HTTP 请求 Lobste Comment

07-15 A modern HTTP request (nelsonslog.wordpress.com)

123. 使用 CSS 生成颜色 Lobste Comment

07-15 Generative colors with CSS (gomakethings.com)

124. 你最好检查一下你的智能家电 Lobste Comment

07-15 You should probably check on your smart appliances (xeiaso.net)

125. qr-swastika-avoider v0.1.0 Lobste Comment

07-15 qr-swastika-avoider v0.1.0 (crates.io)

126. Emacs Docs：Emacs 值得拥有的现代化文档网站 Lobste Comment

07-15 Emacs Docs: The modern documentation website Emacs deserves (emacsdocs.org)

127. FreeBSD 中的原生 inotify Lobste Comment

07-15 Native inotify in FreeBSD (klarasystems.com)

128. 一款可靠的启动密钥（Ventoy的替代方案），献给巴士底日 Lobste Comment

07-15 A Trusty Boot Key (Ventoy Alternative), for Bastille Day (codeberg.org)

129. 我如何在 Go 中使用 HTMX Lobste Comment

07-15 How I use HTMX with Go (www.alexedwards.net)

130. 可验证的AI推理 Lobste Comment

07-15 Verifiable AI inference (blog.vrypan.net)

131. 关于键、精髓与表演 Lobste Comment

07-15 On keys, essences and performance (ebellani.github.io)

132. 在 Linux 上测量输入延迟：X11 与 Wayland、VRR 以及 DXVK Lobste Comment

07-15 Measuring input latency on Linux: X11 vs Wayland, VRR, and DXVK (marco-nett.de)

133. 适用于 Linux 的（无虚拟机管理程序）Denuvo 绕过方法 Lobste Comment

07-15 A Hypervisor(-less) Denuvo bypass for Linux (cs.rin.ru)

134. whatcable：一款 macOS 菜单栏应用，能用通俗易懂的英语告诉你，插入 Mac 的每根 USB-C 数据线究竟能做什么 Lobste Comment

07-15 whatcable: macOS menu bar app that tells you, in plain English, what each USB-C cable plugged into your Mac can actually do (github.com)

135. 措辞 Lobste Comment

07-15 Temper Language (temperlang.dev)

136. 关于DID的讨论太多了 Lobste Comment

07-15 Too many words about DIDs (steveklabnik.com)

137. 我的图像是如何进行抖动处理的 Lobste Comment

07-15 How my images are dithered (dead.garden)

138. KDE Linux 中的 openQA 测试 Lobste Comment

07-14 openQA Testing in KDE Linux (blogs.kde.org)

139. 向图标“Kommit”致敬 Lobste Comment

07-14 Kommit-ing to a icon (nuno-icons.com)

140. 利用 C26 反射实现优雅的类型擦除 Lobste Comment

07-14 Beautiful Type Erasure with C26 Reflection (ryanjk5.github.io)

141. 张量即力量 Lobste Comment

07-14 Tensor is the might (zserge.com)

142. 2026年，憎恨人工智能 Lobste Comment

07-14 Hating AI in 2026 (www.eamoncaddigan.net)

143. x86 是否已准备好大放异彩？ Lobste Comment

07-14 Is x86 ready to ACE it? (chipsandcheese.com)

144. 速度提升6倍的二进制搜索：从编译代码到机械共情 Lobste Comment

07-14 6 faster binary search: from compiled code to mechanical sympathy (pythonspeed.com)

145. 《侏罗纪公园》中的计算机，细节刻画得淋漓尽致 Lobste Comment

07-14 Jurassic Park computers in excruciating detail (fabiensanglard.net)

146. git-absorb：类似 git commit --fixup，但自动执行 Lobste Comment

07-14 git-absorb: git commit --fixup, but automatic (github.com)

147. 作业队列看似简单，实则颇具挑战性 Lobste Comment

07-14 Job queues are deceptively tricky (typesanitizer.com)

148. CSS-DOS — 一台由CSS构成的计算机 Lobste Comment

07-14 CSS-DOS — A computer made of CSS (css-dos.ahmedamer.co.uk)

149. 时钟设计集 Lobste Comment

07-14 Collection of clock designs (clocks.dev)

150. git history 命令值得更多关注 Lobste Comment

07-14 The git history command deserves more attention (lalitm.com)

151. 从程序员到策展人 Lobste Comment

07-14 From coder to curator (staltz.com)

152. fred：一款所有功能均采用 C 语言实现的文本编辑器——2026 年手工网络博览会 Lobste Comment

07-14 fred: A text editor that uses C for everything - Handmade Network Expo 2026 (www.youtube.com)

153. 图书馆应该记录错误还是传播错误？ Lobste Comment

07-14 Should Libraries Log or Propagate Errors? (lobste.rs)

154. 根据鞋底磨损痕迹推测纽约人的身高 Lobste Comment

07-14 Estimating the heights of New Yorkers from their scuff marks (blog.jse.li)

155. TFTP 蜜罐测试结果 Lobste Comment

07-14 TFTP Honey pot Results (bruceediger.com)

156. 添加第二个中间件导致我们的 TypeScript 类型出现问题 Lobste Comment

07-14 Adding a second middleware broke our typescript types (www.inngest.com)

157. lobste.rs 目前运行在 SQLite 上 Lobste Comment

07-14 lobste.rs is now running on SQLite (lobste.rs)

158. 告别 ARP：仅支持 IPv6 的网络上的 IPv4 服务 Lobste Comment

07-14 A Farewell to ARPs: IPv4 Service on IPv6-Only Networks (labs.ripe.net)

159. FreeBSoD：利用语言模型发现并利用内核漏洞（共2部分，第1部分） Lobste Comment

07-14 FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 1 of 2) (www.praetorian.com)

160. FreeBSoD：利用语言模型发现并利用内核漏洞（共2部分，第2部分） Lobste Comment

07-14 FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 2 of 2) (www.praetorian.com)

161. C语言中的Go风格并发 Lobste Comment

07-14 Go-flavored concurrency in C (antonz.org)

162. “人类 Emacs” Lobste Comment

07-14 Human Emacs (human-emacs.org)

163. 就让我写些数字吧 Lobste Comment

07-14 Just Let Me Write Digits (gendignoux.com)

164. 掌控理念，而非代码—— Lobste Comment

07-13 Control the ideas, not the code - (antirez.com)

165. 请勿在静态文本元素上使用 aria-label（2024） Lobste Comment

07-13 Don’t Use aria-label on Static Text Elements (2024) (benmyers.dev)

166. 在 NFS 出现之前，早期 SunOS 是如何实现无盘工作站的 Lobste Comment

07-13 How early SunOS did diskless workstations before NFS (utcc.utoronto.ca)

167. 如何组织一场 Ruby 会议 Lobste Comment

07-13 How to Organize a Ruby Conference (guides.rubyevents.org)

168. 基于数据导向设计构建高性能解析器 Lobste Comment

07-13 Engineering High-Performance Parsers with Data-Oriented Design (arshad.fyi)

169. crates.io：开发进展 Lobste Comment

07-13 crates.io: development update (blog.rust-lang.org)

170. 编程语言中具有特定目的的语法 Lobste Comment

07-13 Syntax with Purpose in a Programming Language (www.youtube.com)

171. 排水管中的IPv6 Lobste Comment

07-13 IPv6 over drainage pipe (chaos.social)

172. 斯托布·克鲁夫特指数：一台滚动计算机收集“垃圾” Lobste Comment

07-13 The Stob Cruft Index: a rolling computer gathers "cruft" (www.doc.ic.ac.uk)

173. Zig创始人直言不讳，Anthropic则故弄玄虚 Lobste Comment

07-13 Zig Creator Calls Spade a Spade, Anthropic Blows Smoke (raymyers.org)

174. 一款可通过 PRQL 查询任意 HTML 表格的 WebExtension Lobste Comment

07-13 WebExtension to query any HTML table with PRQL (avlasov.cabal.run)

175. 介绍 Bobbin：一款专为 Tangled 设计的无磁盘、仅支持 API 的 AppView Lobste Comment

07-13 Introducing Bobbin: A diskless, API-only AppView for Tangled (blog.tangled.org)

176. WWDC 27 专题：使用 SwiftUI 构建 Mac 应用的最新进展 Lobste Comment

07-13 A WWDC 27 Update on Building a Mac-assed App with SwiftUI (pfandrade.me)

177. 《黑客寓言》——一部可以像手册页一样阅读的讽刺性赛博朋克中篇小说 Lobste Comment

07-13 Hacker Fables - A satirical cyberpunk novella you can read as a man page (hacker-fables.onrender.com)

178. 云端的高效确定性仿真 Lobste Comment

07-13 Efficient deterministic simulation in the Cloud (youtu.be)

179. 借助一个“无用”的 if 语句将代码性能提升四倍 Lobste Comment

07-13 Quadrupling code performance with a "useless" if (purplesyringa.moe)

180. 全面升级的家庭实验室 Lobste Comment

07-13 Overhauled homelab (timharek.no)

181. 不同操作系统的浏览器进行数学运算的方式各不相同；反机器人系统通过分析二进制数据来识别 Lobste Comment

07-13 Browsers Do Math Differently on Every OS; Anti-Bot Systems Read the Bits (scrapfly.dev)

182. “做对”——与CTRAN合作的下一步 Lobste Comment

07-13 Make It Right - Next Steps With CTRAN (thelastpsion.com)

183. 知己知彼：对人工智能辅助软件开发的批判性探讨 Lobste Comment

07-13 Know thine enemy: A critical engagement with AI-assisted software development (medium.com)

184. InfiniteDiffusion：在开放世界地形生成中实现学习精度与程序化实用性的融合 Lobste Comment

07-13 InfiniteDiffusion: Bridging Learned Fidelity and Procedural Utility for Open-World Terrain Generation (xandergos.github.io)

185. 使用 Rust 的 arena 机制解决一个存在三年的问题 Lobste Comment

07-13 Closing a three-year-old issue using Rust arenas (giacomocavalieri.me)

186. “慢软件”：支持高延迟系统开发的论据 Lobste Comment

07-13 Slow Software: The Case for High-latency Systems Development (www.sigops.org)

187. 万物各得其所：我是如何追踪工作的 Lobste Comment

07-12 A Place for Everything: How I Track Work (mikezornek.com)

188. 埃文的柔术教程 Lobste Comment

07-12 Evan''s Jujutsu Tutorial (evmar.github.io)

189. 摩托罗拉 MR2600 路由器中存在未经身份验证的远程代码执行漏洞 Lobste Comment

07-12 Unauthenticated RCE in Motorola''s MR2600 Router (mrbruh.com)

190. EF Core 11 让您的拆分查询运行得更快 Lobste Comment

07-12 EF Core 11 makes your split queries faster (steven-giesel.com)

191. ghostel.el - 基于 libghostty 的终端模拟器 Lobste Comment

07-12 ghostel.el - Terminal emulator powered by libghostty (dakra.github.io)

192. 破解苹果——利用SQL注入实现远程代码执行 — ProjectDiscovery 博客 Lobste Comment

07-12 Hacking Apple - SQL Injection to Remote Code Execution — ProjectDiscovery Blog (projectdiscovery.io)

193. 制作自己的 Windows 98 OEM 安装盘 Lobste Comment

07-12 Make your own Windows 98 OEM Install (www.youtube.com)

194. Haskell 中的数据驱动编程（SICP 2.4.3） Lobste Comment

07-12 Data-directed programming in Haskell (SICP2.4.3) (entropicthoughts.com)

195. 《计算机科学另类视角——编程作为理论构建》 Lobste Comment

07-12 Computer Science Off Course - Programming as Theory Building (rss.com)

196. Ant，一个轻量级的 JavaScript 运行时环境 Lobste Comment

07-12 Ant, a lightweight JavaScript runtime (antjs.org)

197. 比例网络 Lobste Comment

07-12 The Proportional Web (owickstrom.github.io)

198. 用100行Lisp编写的智能体 Lobste Comment

07-12 An Agent in 100 Lines of Lisp (thebeach.dev)

199. 为“不理解自己的代码库”辩护 Lobste Comment

07-12 In defense of not understanding your codebase (www.seangoedecke.com)

200. 阿努比斯到底阻止了谁？ Lobste Comment

07-12 Who does Anubis actually stop? (fzakaria.com)

201. 反应：一个守护进程，用于扫描程序输出中的重复模式，并采取相应行动 Lobste Comment

07-12 reaction: A daemon that scans program outputs for repeated patterns, and takes action (framagit.org)

202. Odyssey Linux Lobste Comment

07-12 Odyssey Linux (odysseylinux.org)

203. gap：UI 文本差异 Lobste Comment

07-12 gap: UI text diff (github.com)

204. RISCBoy RISC-V 自制便携式游戏机 Lobste Comment

07-12 RISCBoy RISC-V homebrew portable game console (github.com)

205. 那个关于无障碍对比度的彩色网格之类的东西 Lobste Comment

07-12 The accessible contrast ratio colour grid thing (beeps.website)

206. 今天我拯救了7,234张老GIF图 Lobste Comment

07-12 Today I Rescued 7,234 Old GIFs (danq.me)

207. MiMo-V2.5 系列的全管道推理优化 Lobste Comment

07-12 Full-Pipeline Inference Optimization for MiMo-V2.5 Series (mimo.xiaomi.com)

208. 我的段错误去哪儿了？ Lobste Comment

07-12 Where did my segfault go? (rmpr.xyz)

209. Zig 中的游戏开发其实相当不错（2025） Lobste Comment

07-12 Gamedev in Zig is actually pretty good (2025) (www.youtube.com)

210. Handsum：一种 LQIP 图像文件格式 Lobste Comment

07-12 Handsum: An LQIP Image File Format (nigeltao.github.io)

211. 好的工具是无形的 Lobste Comment

07-12 Good Tools Are Invisible (www.gingerbill.org)

212. 塞姆弗夫人现在可以接见您了 Lobste Comment

07-11 Madame Semver Will See You Now (nesbitt.io)

213. 与人工智能协作：一个具体案例 Lobste Comment

07-11 Working With AI: A Concrete Example (htmx.org)

214. 人工智能监控与社会进步 Lobste Comment

07-11 AI Surveillance and Social Progress (www.schneier.com)

215. 我将一款安卓应用改造成了网页 Lobste Comment

07-11 I converted an Android app to a webpage (danq.me)

216. 基于Zeal Z80的计算机 Lobste Comment

07-11 Zeal Z80-based computer (zeal8bit.com)

217. 我试着用 NetBSD 作为桌面系统，感觉就像是回到了90年代——不过是种美好的体验 Lobste Comment

07-11 I tried NetBSD as a desktop, and it felt like stepping into the ''90s in a good way (www.howtogeek.com)

218. 关于刮板机情况的最新进展 Lobste Comment

07-11 An update on the scraper situation (lwn.net)

219. 将 Go 添加到浏览器代码运行器中 Lobste Comment

07-11 Adding Go to a browser code runner (blog.lvmbdv.dev)

220. 以组织结构图形式呈现的包管理 Lobste Comment

07-11 Package Management as Org Chart (nesbitt.io)

221. Postgres 已用 Rust 重写，现已通过 100% 的 Postgres 回归测试 Lobste Comment

07-11 Postgres rewritten in Rust, now passing 100% of the Postgres regression tests (github.com)

222. 调试性能退化问题 Lobste Comment

07-11 Debugging performance regressions (hpc.guix.info)

223. 1秒内运行1000个测试（2022年） Lobste Comment

07-11 Running 1000 tests in 1s (2022) (marvinh.dev)

224. 每位 Python 开发者都应了解的 CPython ABI 知识 Lobste Comment

07-11 What Every Python Developer Should Know About the CPython ABI (labs.quansight.org)

225. 经过7年的开发，Scarf 不得不遗憾地放弃了 Haskell Lobste Comment

07-11 After 7 years in production, Scarf has reluctantly moved away from Haskell (avi.press)

226. 汉娜·蒙塔娜 Linux v26.0 Lobste Comment

07-11 Hannah Montana Linux v26.0 (gitlab.com)

227. 增量软件开发环境的实用算法 Lobste Comment

07-10 Practical Algorithms for Incremental Software Development Environments (www2.eecs.berkeley.edu)

228. 两种设计方法 Lobste Comment

07-10 Two Ways To Design (wiki.c2.com)

229. 让我们来编写一个简单的 APL 解释器 Lobste Comment

07-10 Let''s build a simple interpreter for APL (mathspp.com)

230. Cpp2Rust：将 C 自动转换为安全的 Rust 代码 Lobste Comment

07-10 Cpp2Rust: Automatic Translation of C to Safe Rust (github.com)

231. C 语言和 Zig 中的快速图像与视频保真度度量标准 Lobste Comment

07-10 Fast Image & Video Fidelity Metrics in C, Zig (github.com)

232. Superoptimizer——一窥最小的程序 Lobste Comment

07-10 Superoptimizer -- A Look at the Smallest Program (dl.acm.org)

233. 通往 Lisp 的道路：为什么是 Lisp Lobste Comment

07-10 A road to Lisp: Why Lisp (scotto.me)

234. 面向人类与智能体的 Repo-Local 文档系统 Lobste Comment

07-10 Repo-Local Documentation System for Humans & Agents (gist.github.com)

235. 从“卢德派”到“Vibe-Coder” Lobste Comment

07-10 From a Luddite to a Vibe-Coder (www.redpill-linpro.com)

236. Tau：一款教育类编程助手 Lobste Comment

07-10 Tau: An Educational Coding Agent (twotimespi.dev)

237. 评测：iodéOS 提供流畅的“去谷歌化”安卓体验 Lobste Comment

07-09 Review: iodéOS offers a frictionless de-Googled Android experience (www.osnews.com)

238. 如何制作一个圆形液晶时钟 Lobste Comment

07-10 How to build a circular LCD clock (blinry.org)

239. 《Jiki》的幕后故事 Lobste Comment

07-10 The Backstory of Jiki (jiki.io)

240. 页面权重很重要 Lobste Comment

07-10 Page weight matters (nh3.dev)

241. Elm 架构中的批处理任务 Lobste Comment

07-10 A batch job, in The Elm Architecture (cekrem.github.io)

242. 关于分发系统遭破坏未遂事件的声明 Lobste Comment

07-10 Statement regarding attempted distribution sabotage (forum.openmandriva.org)

243. 计算科学中的融洽氛围 Lobste Comment

07-10 Conviviality in computational science (blog.khinsen.net)

244. Lobsters 对 mitchellh 的采访 Lobste Comment

07-09 Lobsters Interview with mitchellh (alexalejandre.com)

245. 你们付钱让我——一位资深的 Linux 用户——在过去一个月里只使用 Windows 11：以下是我的体验 Lobste Comment

07-09 You paid me, a long-time Linux user, to use Windows 11 exclusively for a month: here’s how it went (www.osnews.com)

246. 发布 Rust 1.97.0 Lobste Comment

07-09 Announcing Rust 1.97.0 (blog.rust-lang.org)

247. 基于物理的渲染——PBR 值数据库 Lobste Comment

07-09 Physically Based - The PBR values database (physicallybased.info)

248. 一个用于与大型语言模型（LLMs）进行交互的 Prolog 库 Lobste Comment

07-09 A Prolog library for interfacing with LLMs (github.com)

249. 《我没有杀斯坦利·利伯：如何画画（与9front合作）》 Lobste Comment

07-09 I Did Not Kill Stanley Lieber: How to draw (with 9front) (triapul.cz)

250. 如何在 PostgreSQL 中通过非分区列进行查询时实现剪枝 Lobste Comment

07-09 How to Achieve Pruning When Querying by Non-Partitioned Columns in PostgreSQL (hakibenita.com)

251. 为什么开发者纷纷放弃 GitHub，转而选择 Codeberg 和自托管替代方案 Lobste Comment

07-09 Why developers are ditching GitHub for Codeberg and self-hosting alternatives (www.howtogeek.com)

252. 我对“Bun Rust”重写版的看法 Lobste Comment

07-09 My Thoughts on the Bun Rust Rewrite (andrewkelley.me)

253. Chatto 现已开源 Lobste Comment

07-09 Chatto is now Open Source (www.hmans.dev)

254. 关于NaN的两个案例研究 Lobste Comment

07-09 two case studies of NaN (sebsite.pw)

255. 《和平属于所有人》——Re: Factor Lobste Comment

07-09 Peace For All – Re: Factor (re.factorcode.org)

256. 在 CSS 中尝试使用 random() Lobste Comment

07-09 Experimenting with random() in CSS (polypane.app)

257. Keygen Church - 《Oscuro Domine》 Lobste Comment

07-09 Keygen Church - Oscuro Domine (www.keygenchurch.com)

258. 修复《MechCommander》的“左臂漏洞”——既为乐趣，也为收益 Lobste Comment

07-09 Patching MechCommander’s “left arm bug” for fun and profit (mhloppy.com)

259. kparser——一款适用于 K 语言的小巧且易于阅读的解析器 Lobste Comment

07-09 kparser - small, readable parser for K (github.com)

260. 专访：德鲁·德沃尔特谈无AI版Vim Lobste Comment

07-09 Interview: Drew DeVault on an AI-free version of Vim (jasonpolak.substack.com)

261. OpenMandriva称前贡献者破坏了其软件仓库 Lobste Comment

07-09 OpenMandriva Says Former Contributor Sabotaged Its Repositories (linuxiac.com)

262. 重写《Rust 中的 Bun》 Lobste Comment

07-09 Rewriting Bun in Rust (bun.com)

263. DirtySlide——因一次边界检查缺失而在 macOS 上获得 root 权限 Lobste Comment

07-09 DirtySlide - root on macOS from one missing bounds check (gracecondition.github.io)

264. SpaceWASM：美国宇航局/喷气推进实验室（NASA/JPL）用于航天器序列控制的 Wasm 解释器 Lobste Comment

07-09 SpaceWASM: NASA/JPL''s Wasm interpreter for spacecraft sequencing (github.com)

265. Multigres 如何在池化连接中支持 LISTEN/NOTIFY 功能 Lobste Comment

07-09 How Multigres Supports LISTEN/NOTIFY Across Pooled Connections (multigres.com)

266. 介绍Meerkat：一项关于全球共识的实验 Lobste Comment

07-09 Introducing Meerkat: an experiment in global consensus (blog.cloudflare.com)

267. LisaFPGA：在FPGA内部实现的Apple Lisa计算机 Lobste Comment

07-08 LisaFPGA: the Apple Lisa computer implemented inside an FPGA (github.com)

268. 几乎总是未签名的 Lobste Comment

07-08 Almost Always Unsigned (graphitemaster.github.io)

269. 原生速度 vLLM Transformer 建模后端 Lobste Comment

07-09 Native-speed vLLM transformers modeling backend (huggingface.co)

270. 宣布发布 TypeScript 7.0 Lobste Comment

07-09 Announcing TypeScript 7.0 (devblogs.microsoft.com)

271. 最好的 WebAssembly 运行时，或许根本就不需要运行时 Lobste Comment

07-09 The best WebAssembly runtime may still be no runtime at all (00f.net)

272. Abject 0.8.2 发布 Lobste Comment

07-09 Abject 0.8.2 released (github.com)

273. 《EVE Online》的Carbon引擎现已开源：Fenris Creations 解释了原因 Lobste Comment

07-08 Eve Online''s Carbon engine is now open source: Fenris Creations explains why (www.gamesindustry.biz)

274. Akamai 编写的经过混淆处理的 bash 脚本正通过零售店提供给消费者 Lobste Comment

07-08 Obfuscated bash script by Akamai being supplied to consumers via retail stores (tris.sherliker.net)

275. BotKit：使用 TypeScript 开发的独立 ActivityPub 机器人 Lobste Comment

07-08 BotKit: Standalone ActivityPub bots in TypeScript (botkit.fedify.dev)

276. Zine 0.12.0 Lobste Comment

07-08 Zine 0.12.0 (zine-ssg.io)

277. GitLost：我们是如何诱使 GitHub 的 AI 代理泄露私有仓库的 Lobste Comment

07-08 GitLost: How We Tricked GitHub’s AI Agent into Leaking Private Repos (noma.security)

278. 在不损害开源软件的前提下为其提供资金支持 Lobste Comment

07-08 Funding open-source software without compromising it (yorickpeterse.com)

279. Unicode 的转写规则是图灵完备的 Lobste Comment

07-08 Unicode''s Transliteration Rules Are Turing-Complete (seriot.ch)

280. 一个仅影响左撇子用户的错误 Lobste Comment

07-08 A bug which only affected left-handed users (shkspr.mobi)

281. 让“弃置软件”普惠大众 Lobste Comment

07-08 Democratizing Abandonware (geopjr.dev)

282. NoiseLang：其中 N 5 时为狄拉克δ函数 Lobste Comment

07-08 NoiseLang: Where N 5 is a Dirac delta (manualmeida.dev)

283. 半群复合与最大子数组和问题 Lobste Comment

07-08 Monoid Composition & Maximum Subarray Sum Problem (williamdue.github.io)

284. GNOME 中的无障碍功能 Lobste Comment

07-08 Accessibility in GNOME (blogs.gnome.org)

285. 《极致Haskell：带类型的表达式EDSL（第一部分）》 Lobste Comment

07-08 Extreme Haskell: Typed Expression EDSLs (Part 1) (blog.jle.im)

286. 宣布成立“拯救CTFs基金” Lobste Comment

07-08 Announcing the Save CTFs Fund (osec.io)

287. 构建 Clang 后端并将《Doom》移植到我的自定义字节码虚拟机上 Lobste Comment

07-08 Building a Clang Backend and Porting Doom to my Custom Bytecode VM (pointersgonewild.com)

288. fastSwan：Nvidia ConnectX-7 数据详解 Lobste Comment

07-08 fastSwan: Nvidia ConnectX-7 by numbers (www.fastswan.org)

289. 许可或许充满乐趣（但在法律上存疑）（2024） Lobste Comment

07-08 Licensing can be joyful (and legally dubious) (2024) (ntietz.com)

290. 《计算气球扭结：气球多面体理论》（2008） Lobste Comment

07-08 Computational Balloon Twisting: The Theory of Balloon Polyhedra (2008) (cccg.ca)

291. 吉姆的TrueType二维码字体 Lobste Comment

07-08 Jim''s TrueType QR Code Font (qr.jim.sh)

292. 我喜欢的一个软件工程面试题：计算中位数 Lobste Comment

07-08 a software engineering interview question I like: computing the median (krisshamloo.com)

293. OpenBSD 7.9 及更早版本存在一个“释放后使用”漏洞，可能导致本地权限提升至 root 级别（CVE-2026-57589） Lobste Comment

07-08 OpenBSD through 7.9 has a use-after-free allowing local privilege escalation to root (CVE-2026-57589) (nvd.nist.gov)

294. 关于软件质量的说明 Lobste Comment

07-08 Notes on software quality (anthonyhobday.com)

295. OpenBSD 反返回导向编程缓解措施的最终版本 Lobste Comment

07-08 A Final Return for OpenBSD Anti-Return-Oriented Programming Mitigations (papers.ssrn.com)

296. 关于 OpenBSD 操作系统中采用 Pledges 和 Unveils 的测量研究 Lobste Comment

07-08 A Measurement Study on the Adoption of Pledges and Unveils in the OpenBSD Operating System (arxiv.org)

07-08 New Research: A "Verified" GitHub Commit Is NOT Unique (www.internationalcyberdigest.com)

298. CCL：范畴配置语言 Lobste Comment

07-08 CCL: Categorical Configuration Language (github.com)

299. 您的 Rust 服务并没有内存泄漏——问题可能出在内存分配器上 Lobste Comment

07-08 Your Rust Service Isn''t Leaking — It Could Be the Allocator (pranitha.dev)

300. 我们为何又要开发另一个 Postgres 连接池 Lobste Comment

07-08 Why we built yet another Postgres connection pooler (pgdog.dev)