Lobste 最新提交 Lite

1. 发布 Rust 1.85.0 和 Rust 2024 Lobste Comment

01:37 Announcing Rust 1.85.0 and Rust 2024 (blog.rust-lang.org)

2. 丑陋的代码和蠢事 Lobste Comment

00:15 Ugly Code and Dumb Things (lucumr.pocoo.org)

3. Python 3.14 中的新解释器免费提升了速度 Lobste Comment

00:03 A new interpreter in Python 3.14 delivers a free speed boost (www.infoworld.com)

4. 用 Ruby 实现游戏机模拟器 Lobste Comment

00:02 Implementing a Game Boy emulator in Ruby (sacckey.dev)

5. CMU 17-712：神奇的虫子和如何找到它们 Lobste Comment

02-20 CMU 17-712: Fantastic Bugs and How to Find Them (cmu-fantastic-bugs.github.io)

6. 对莱昂纳德-理查德森（RMM 的成名人物）的回顾性采访 Lobste Comment

02-20 A Retrospective Interview w/Leonard Richardson (of RMM fame) (htmx.org)

7. 五种非确定性 Lobste Comment

02-20 Five Kinds of Nondeterminism (buttondown.com)

8. 关于微软拓扑比特的常见问题 Lobste Comment

02-20 FAQ on Microsoft’s topological qubit thing (scottaaronson.blog)

9. 石灰华 (CVE-2025-24118)：XNU 中的竞赛条件 Lobste Comment

02-20 TRAVERTINE (CVE-2025-24118): Race condition in XNU (jprx.io)

10. sapf：--使用懒列表和类似 APL 的自动映射进行音频合成的类 Forth 语言 Lobste Comment

02-20 sapf: - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping (github.com)

11. 人工智能与多洗一分钟澡 Lobste Comment

02-20 AI vs. an extra minute in the shower (kmaasrud.com)

12. PgBouncer 有用、重要，也充满危险 Lobste Comment

02-20 PgBouncer is useful, important, and fraught with peril (jpcamara.com)

13. IPv6 过渡 Lobste Comment

02-20 The IPv6 transition (blog.apnic.net)

14. Meshtastic：利用低功耗设备进行分散式通信 Lobste Comment

02-20 Meshtastic: decentralized communication with low-power devices (lwn.net)

15. 树莓派 RP2040 速度意外提升，解锁 200MHz 官方模式 Lobste Comment

02-20 The Raspberry Pi RP2040 Gets a Surprise Speed Boost, Unlocks an Official 200MHz Mode (www.hackster.io)

16. 我们相信您已经收到了本地系统管理员的例行讲座 Lobste Comment

02-20 We trust you have received the usual lecture from the local System Administrator (lobste.rs)

17. 通过基于属性的测试揭开 Rust 中单子的神秘面纱 Lobste Comment

02-20 Demystifying monads in Rust through property-based testing (sunshowers.io)

18. 我在 "9 号计划 "演变过程中的所见所闻 Lobste Comment

02-20 What I Saw at the Evolution of Plan 9 (adi.onl)

19. 骑士电视复活 Lobste Comment

02-20 Knight TV resurrection (pdp-6.net)

20. 在 Rust 中构建自己的 SQLite，第 5 部分：评估查询 Lobste Comment

02-20 Build your own SQLite in Rust, Part 5: Evaluating queries (blog.sylver.dev)

21. 实用合金：正式软件设计实践指南 Lobste Comment

02-20 Practical Alloy: A hands-on guide to formal software design (practicalalloy.github.io)

22. Typst 0.13 现已发布：实验性 HTML 导出、语义段落等 Lobste Comment

02-20 Typst 0.13 is out now: Experimental HTML export, semantic paragraphs, and more (typst.app)

23. modview：轻松可视化包含 Go 项目所有外部依赖关系的 mod 图 Lobste Comment

02-20 modview: Effortlessly visualize mod graph with all external dependencies for your Go projects (github.com)

24. 不完美的系统其实很好蓝天的有损时间线 Lobste Comment

02-20 When Imperfect Systems are Good, Actually: Bluesky’s Lossy Timelines (jazco.dev)

25. GymTok：使用 Alt-Svc 标头破解 TLS Lobste Comment

02-20 GymTok: Breaking TLS Using the Alt-Svc Header (blog.pspaul.de)

26. 所以你想要更好的调试信息？ Lobste Comment

02-20 So you want better debug info? (walnut356.github.io)

27. 著名开源项目代码示例集 (2021) Lobste Comment

02-20 A collection of code examples from prominent open-source projects (2021) (codecatalog.org)

28. U-Boot 中的多个漏洞 Lobste Comment

02-20 Multiple Vulnerabilities in U-Boot (www.openwall.com)

29. 欧洲大型空间级 FPGA 的开源 FPGA 工具链 Lobste Comment

02-20 An open source FPGA toolchain for a large European space-grade FPGA (blog.yosyshq.com)

30. Debian 映像的秘密迷宫 Lobste Comment

02-20 The secret maze of Debian images (blog.fai-project.org)

31. 使用测试/同步测试工具测试并发代码 - Go 编程语言 Lobste Comment

02-20 Testing concurrent code with testing/synctest - The Go Programming Language (go.dev)

32. 放松的 Radix 平衡树彼得-霍恩-汗 Lobste Comment

02-20 Relaxed Radix Balanced Trees Peter Horne-Khan (peter.horne-khan.com)

33. 格雷格-克罗阿-哈曼（Greg Kroah-Hartman）提出了用 Rust 编写新 Linux 内核驱动程序的令人信服的理由 Lobste Comment

02-19 Greg Kroah-Hartman Makes A Compelling Case For New Linux Kernel Drivers To Be Written In Rust (www.phoronix.com)

34. HTTP3, 2, 1 Lobste Comment

02-19 HTTP3, 2, 1 (maxmcd.com)

35. 成为 Mac 上的快乐 Nixer Lobste Comment

02-19 Being a happy Nixer on a Mac (paretosecurity.com)

36. Rust 中线性类型的痛苦（2017 年） Lobste Comment

02-19 The Pain Of Linear Types In Rust (2017) (faultlore.com)

37. 重写规则都去哪儿了？ Lobste Comment

02-19 Where are all the Rewrite Rules? (www.philipzucker.com)

38. 俄罗斯网络钓鱼活动利用 Signal 的设备链接功能 Lobste Comment

02-19 Russian phishing campaigns exploit Signal''s device-linking feature (www.bleepingcomputer.com)

39. 每行改动三次 Lobste Comment

02-19 Changing every line three times (daniel.haxx.se)

40. 建议从调用者上下文同步启动任务 Lobste Comment

02-19 Proposal: Starting tasks synchronously from caller context (github.com)

41. 用数学编程 Lambda 微积分 Lobste Comment

02-19 Programming with Math The Lambda Calculus (youtu.be)

42. 学习：计算机科学中最难的问题 Lobste Comment

02-19 Learning: the hardest problem in computer science (www.herostrat.us)

43. 在电子游戏中，玩家从不移动 Lobste Comment

02-19 In Video Games, The Player Never Moves (www.youtube.com)

44. 添加 Wayland 颜色管理协议 Lobste Comment

02-19 Add Wayland color-management protocol (gitlab.freedesktop.org)

45. 仅限附录的节目 Lobste Comment

02-19 Append-only programming (iafisher.com)

46. 通过多语言交换为本地法律硕士提供服务 Lobste Comment

02-19 Serving local LLMs with MLX (kconner.com)

47. 实现简单而富有表现力的查询语言 Lobste Comment

02-19 Towards A Simple and Expressive Query Language (www.youtube.com)

48. 被误解的 Tcl》（2006 年） Lobste Comment

02-19 Tcl the Misunderstood (2006) (antirez.com)

49. 连续分数算术（1978 年） Lobste Comment

02-19 Continued Fraction Arithmetic (1978) (perl.plover.com)

50. 介绍 Pi-hole v6 Lobste Comment

02-19 Introducing Pi-hole v6 (pi-hole.net)

51. 通用葡萄酒/质子开发员（开放源码程序员） Lobste Comment

02-19 General Wine/Proton Developer (Open-Source Programmer) (www.codeweavers.com)

52. 用户研究就是讲故事 Lobste Comment

02-19 User Research is Storytelling (alistapart.com)

53. 贝尔罗伊技术团队：2024 年回顾 Lobste Comment

02-19 Bellroy Technology Team: 2024 in Review (exploring-better-ways.bellroy.com)

54. 用 SQL/PGQ 在 Postgresql 中表示图形 Lobste Comment

02-19 Representing graphs in Postgresql with SQL/PGQ (www.enterprisedb.com)

55. 克里斯-比斯卡迪：小实验的成长（与拉斯特和贝维一起） Lobste Comment

02-19 Chris Biscardi: Growing little experiments (with Rust & Bevy) (www.youtube.com)

56. 针对 OpenSSH 支持 VerifyHostKeyDNS 的客户端的 MitM 攻击 Lobste Comment

02-19 MitM attack against OpenSSH''s VerifyHostKeyDNS-enabled client (marc.info)

57. 使用组件构建 Rails 应用程序 Lobste Comment

02-19 Build Rails Apps with Components (terminalwire.com)

58. 这些年的 Common Lisp：2023-2024 年回顾 Lobste Comment

02-19 These years in Common Lisp: 2023-2024 in review (lisp-journey.gitlab.io)

59. exo software - 在计算机、智能手机或 SBC 集群上运行的分布式 LLM 解决方案 Lobste Comment

02-18 exo software - A distributed LLM solution running on a cluster of computers, smartphones, or SBCs (www.cnx-software.com)

60. SWE-Lancer：前沿法学硕士能否从现实世界的自由软件工程中赚取 100 万美元？ Lobste Comment

02-18 SWE-Lancer: Can Frontier LLMs Earn 1 Million from Real-World Freelance Software Engineering? (arxiv.org)

61. 日本工程师谈任天堂 Switch 面临的困难 Lobste Comment

02-18 Japanese engineers talk about difficulties they faced with the Nintendo Switch (automaton-media.com)

62. 回顾信号使用的加密技术 Lobste Comment

02-18 Reviewing the Cryptography Used by Signal (soatok.blog)

63. 自主设计软件 Lobste Comment

02-18 Self-Designing Software (cacm.acm.org)

64. go-attention：纯围棋中的全神贯注机制和转换器 Lobste Comment

02-18 go-attention: A full attention mechanism and transformer in pure Go (github.com)

65. 代码样式表：代码 CSS Lobste Comment

02-18 Code Style Sheets: CSS for Code (arxiv.org)

66. 学习精益：第一部分 Lobste Comment

02-18 Learning Lean: Part 1 (rkirov.github.io)

67. mtr 指标 Lobste Comment

02-18 mtr metrics (mk16.de)

68. 为 Linux 6.14 合并了新的 "假总线 "应用程序接口，包括 Rust 和 C 绑定功能 Lobste Comment

02-18 New "faux bus" API merged for Linux 6.14, including both Rust & C bindings (www.phoronix.com)

69. ArcaOS 5.1.1 发布（现代 OS/2） Lobste Comment

02-18 ArcaOS 5.1.1 released (modern OS/2) (www.arcanoae.com)

70. ACCESS.bus：被遗忘的 USB 竞争对手 Lobste Comment

02-18 ACCESS.bus: The Forgotten USB Competitor (tedium.co)

71. 新来的初级开发人员实际上不会编程 Lobste Comment

02-18 New Junior Developers Can’t Actually Code (nmn.gl)

72. 环形缓冲器里有什么？在 Rust 中使用它们 Lobste Comment

02-18 What''s in a ring buffer? And using them in Rust (ntietz.com)

73. Swift 演进建议：固定大小的数组 InlineArray Lobste Comment

02-18 Swift Evolution Proposal: InlineArray, a fixed-size array (github.com)

74. nes86：NES 上的 x86 仿真 Lobste Comment

02-18 nes86: x86 emulation on the NES (github.com)

75. 我为什么要在 2025 年编写 Scheme 实现（答案就是 Async Rust） Lobste Comment

02-18 Why I''m Writing a Scheme Implementation in 2025 (The Answer is Async Rust) (maplant.com)

76. 选择浏览器 Lobste Comment

02-18 Choosing a browser (eligrey.com)

77. 调试无法调试的应用程序 Lobste Comment

02-18 Debugging An Undebuggable App (bryce.co)

78. 浏览器如何真正加载网页 Lobste Comment

02-18 How browsers REALLY load Web pages (fosdem.org)

79. 14 年的 systemd Lobste Comment

02-18 14 years of systemd (lwn.net)

80. Mac 菜单栏和 SwiftUI Lobste Comment

02-18 The Mac Menubar and SwiftUI (troz.net)

81. 无障碍调色板测试仪 Lobste Comment

02-17 Accessible color palette tester (palette-tester.9elements.com)

82. 我能否合乎道德地使用法律硕士？ Lobste Comment

02-17 Can I ethically use LLMs? (ntietz.com)

83. 框中链接：在 X 上分享信号链接，不会受到审查 Lobste Comment

02-17 Link in a box: Share Signal links on X without getting censored (link-in-a-box.vercel.app)

84. 设计/制作优雅的全参数扬声器音箱 Lobste Comment

02-17 Design/build of some elegant, fully parametric speaker cabinets (calbryant.uk)

85. 00 0：C 线程本地存储性能 Lobste Comment

02-17 00 0: C thread-local storage performance (yosefk.com)

86. searchcode.com 的 SQLite 数据库可能比你的大 6 太字节 Lobste Comment

02-17 searchcode.com’s SQLite database is probably 6 terabytes bigger than yours (boyter.org)

87. SharingGRDB：SwiftData 的替代方案 Lobste Comment

02-17 SharingGRDB: A SwiftData Alternative (www.pointfree.co)

88. 用户体验设计重做 #1--重做我的大学囤积物 Lobste Comment

02-17 UX Design Rework #1 - reworking my university hoarding (bhoot.dev)

89. 为什么测试先行的开发如此艰难 Lobste Comment

02-17 Why Test-First Development Is So Damn Hard (jarosz.dev)

90. Lambda微积分教程介绍（2015） Lobste Comment

02-17 A Tutorial Introduction to the Lambda Calculus (2015) (arxiv.org)

91. f8 - 为提高 C 语言和内存效率而设计的 8 位架构 Lobste Comment

02-17 f8 - an 8 bit architecture designed for C and memory efficiency (fosdem.org)

92. 戳破无稽之谈研究的泡沫 Lobste Comment

02-17 Popping the bubble of nonsense research (www.youtube.com)

93. 关于词嵌入--第 3 部分：word2vec 的秘密成分 Lobste Comment

02-17 On word embeddings - Part 3: The secret ingredients of word2vec (www.ruder.io)

94. 用触控笔让网络更易读 Lobste Comment

02-17 Making the Web More Readable With Stylus (www.wezm.net)

95. Gitingest：提示友好代码库 Lobste Comment

02-17 Gitingest: Prompt-friendly codebase (gitingest.com)

96. 什么时候 OOP 是比其他范式更有用的建模方法？ Lobste Comment

02-17 When is OOP a More Useful Modelling Approach than Other Paradigms? (lobste.rs)

97. 这个 ESP32 天线阵列可以看到 WiFi Lobste Comment

02-17 This ESP32 antenna array can see WiFi (www.youtube.com)

98. 连续分数算术》（2005 年） Lobste Comment

02-17 Arithmetic with Continued Fractions (2005) (perl.plover.com)

99. 七大智慧支柱 Lobste Comment

02-17 The seven pillars of wisdom (interoperable-europe.ec.europa.eu)

100. 尽管设置了超时，但仍出现 SQLITE_BUSY 错误时该怎么办？ Lobste Comment

02-17 What to do about SQLITE_BUSY errors despite setting a timeout (berthub.eu)

101. 简单的 Github 报告生成器 Lobste Comment

02-17 A Simple Github Report Generator (github.com)

102. 可逆编程语言的原理 Lobste Comment

02-17 Principles of a reversible programming language (dl.acm.org)

103. 德拉：将工作委托给其他工具的任务运行程序 Lobste Comment

02-17 Dela: a task runner that delegates the work to other tools (github.com)

104. 连续分数算术 Lobste Comment

02-17 Arithmetic with Continued Fractions (perl.plover.com)

105. 公民技术的第三次浪潮 Lobste Comment

02-17 Civic Tech''s Third Wave (www.jpt.sh)

106. 安卓计算器如何处理实数 Lobste Comment

02-17 How Android''s calculator works with real numbers (chadnauseam.com)

107. GF2P8AFFINEQB 位矩阵乘法指令的意外用途 Lobste Comment

02-17 Unexpected uses of the GF2P8AFFINEQB bit matrix multiply instruction (gist.github.com)

108. logis - git 提交历史中的自动科学日志 Lobste Comment

02-16 logis - an automatic scientific log in your git commit history (github.com)

109. atproto 能否缩小规模？ Lobste Comment

02-16 Can atproto scale down? (bsky.bad-example.com)

110. remco 是一款轻量级配置管理工具 (2023) Lobste Comment

02-16 remco is a lightweight configuration management tool (2023) (github.com)

111. 备注人工智能副驾驶代码质量 Lobste Comment

02-16 Notes: AI Copilot Code Quality (kracekumar.com)

112. 用于 iOS/watchOS 安全通信的 DSL - defn.io Lobste Comment

02-16 DSLs for Safe iOS/watchOS Communication — defn.io (defn.io)

113. 我如何执行 SSA 表格 Lobste Comment

02-16 How I implement SSA form (gist.github.com)

114. 修改墨西哥湾（在谷歌地图中） Lobste Comment

02-16 Modding the Gulf of Mexico Back (in Google Maps) (www.youtube.com)

115. 墨西哥湾：完美的编程语言 Lobste Comment

02-16 GulfOfMexico: perfect programming language (github.com)

116. Taichi：Python 中的高性能并行编程 Lobste Comment

02-16 Taichi: High-performance Parallel Programming in Python (www.taichi-lang.org)

117. 美国国家航空航天局列出了软件开发的 10 条规则 Lobste Comment

02-16 NASA has a list of 10 rules for software development (www.cs.otago.ac.nz)

118. fixi.js - 最小化的通用超媒体控件 Lobste Comment

02-16 fixi.js - minimal general hypermedia controls (github.com)

119. 使用 llm-mlx 和 Apple 的 MLX 框架在 macOS 上运行 LLM Lobste Comment

02-16 Run LLMs on macOS using llm-mlx and Apple’s MLX framework (simonwillison.net)

120. 事后分析--影响OpenStreetMap.org的网络故障--2024年12月15日 Lobste Comment

02-16 Post-Mortem - Network Outage Affecting OpenStreetMap.org - 15 December 2024 (operations.osmfoundation.org)

121. 破解旧 ZIP 文件，帮助开放非国大 "武拉行动 "秘密密码的源代码 Lobste Comment

02-16 Cracking an old ZIP file to help open source the ANC''s "Operation Vula" secret crypto code (blog.jgc.org)

122. Devenv 遥测警告 Lobste Comment

02-16 Devenv telemetry warning (chaos.social)

123. 空间深度挖掘：ATProto Automerge Lobste Comment

02-16 Roomy Deep Dive: ATProto Automerge (blog.muni.town)

124. 使用 Gleam 构建的瞬态馈送聚合器 Lobste Comment

02-16 A transient feed aggregator built with Gleam (github.com)

125. 宣布 Interop 2025 Lobste Comment

02-16 Announcing Interop 2025 (webkit.org)

126. 暗黑破坏神》黑客如何揭露速跑丑闻 Lobste Comment

02-15 How Diablo hackers uncovered a speedrun scandal (arstechnica.com)

127. 并行随机数：像 1、2、3 一样简单 Lobste Comment

02-15 Parallel Random Numbers: As Easy as 1, 2, 3 (www.thesalmons.org)

128. 双子座 Lobste Comment

02-15 Gemini (protocol) (en.wikipedia.org)

129. 如何后门大型语言模型 Lobste Comment

02-15 How to Backdoor Large Language Models (blog.sshh.io)

130. 8088 MPH 决赛：新旧CGA对比（及其他血淋淋的细节）（2015年） Lobste Comment

02-15 8088 MPH Final: Old vs. New CGA (and Other Gory Details) (2015) (int10h.org)

131. SQLite-on-the-Server 被误解：超大规模优于微小规模 Lobste Comment

02-15 SQLite-on-the-Server Is Misunderstood: Better At Hyper-Scale Than Micro-Scale (rivet.gg)

132. Agit-Flow 和 git-repo Lobste Comment

02-15 Agit-Flow and git-repo (git-repo.info)

133. 人工智能正在扼杀技术应用 Lobste Comment

02-15 AI is Stifling Tech Adoption (vale.rocks)

134. 使用 FreeBSD 构建容错反向代理 Lobste Comment

02-15 Building a fault-tolerant reverse proxy with FreeBSD (www.subnetspider.com)

135. 以 10,000 美元的价格泄露任何 YouTube 用户的电子邮件 Lobste Comment

02-15 Leaking the email of any YouTube user for 10,000 (brutecat.com)

136. 曼哈顿最勤奋的字体 Lobste Comment

02-15 The hardest working font in Manhattan (aresluna.org)

137. TeX 和 Typst：布局模型 Lobste Comment

02-15 TeX and Typst: Layout Models (laurmaedje.github.io)

138. 类型安全的变量 printf，无宏 Lobste Comment

02-15 Type safe variadic printf, without macros (www.stranger.systems)

139. 20 岁的 PSP 现在可以连接 WPA2 Wifi 网络了 Lobste Comment

02-15 The 20 year old PSP can now connect to WPA2 Wifi Networks (wololo.net)

140. 首次分析苹果公司的 USB 限制模式旁路（CVE-2025-24200） Lobste Comment

02-15 First analysis of Apple''s USB Restricted Mode bypass (CVE-2025-24200) (blog.quarkslab.com)

141. 为什么客户类型应源于查询和片段，而不是模式？ Lobste Comment

02-15 Why Your Client Types Should Derive from Queries and Fragments — Not the Schema (medium.com)

142. 海库活动与合同报告》，2025 年 1 月 Lobste Comment

02-15 Haiku Activity & Contract Report, January 2025 (www.haiku-os.org)

143. SQLite 的简单声明式模式迁移 Lobste Comment

02-15 Simple declarative schema migration for SQLite (david.rothlis.net)

144. 在一个 NearlyFreeSpeech 网站下托管多个网站 Lobste Comment

02-14 Hosting Multiple Websites Under One NearlyFreeSpeech Site (btxx.org)

145. 服务器上 SQLite 的警笛声 Lobste Comment

02-14 Siren Call of SQLite on the Server (pid1.dev)

146. XOR Lobste Comment

02-14 XOR (www.chiark.greenend.org.uk)

147. 使用 Go 扩展 Wasm 应用程序 - Go 编程语言 Lobste Comment

02-14 Extensible Wasm Applications with Go - The Go Programming Language (go.dev)

148. 如何建立自己的 MCP 服务器？ Lobste Comment

02-14 How to build your own MCP server? (www.devshorts.in)

149. 现代编译器如何选择将哪些变量放入寄存器？ Lobste Comment

02-14 How do modern compilers choose which variables to put in registers? (langdev.stackexchange.com)

150. 用自定义调度程序暴露并发错误 [LWN.net] Lobste Comment

02-14 Exposing concurrency bugs with a custom scheduler [LWN.net] (lwn.net)

151. 山核桃DNS正朝着生产准备就绪的方向迈进 Lobste Comment

02-14 Hickory DNS is moving toward production readiness (www.memorysafety.org)

152. 用于身份验证令牌的 OCaml GADT Lobste Comment

02-14 OCaml GADTs for Authentication Tokens (dev.to)

153. 在 Zig 中切换字符串 Lobste Comment

02-14 Switching on Strings in Zig (www.openmymind.net)

154. 小小欢乐书 Lobste Comment

02-14 The Tiny Book of Great Joys (muffinman.io)

155. Zed 现在可通过新的开放模型预测下一次编辑 Lobste Comment

02-14 Zed now predicts next edit with new open model (zed.dev)

156. 包豪斯：九十年的灵感》（2009 年） Lobste Comment

02-14 Bauhaus: Ninety Years of Inspiration (2009) (www.smashingmagazine.com)

157. UNIX 操作系统是一个集成开发环境 (2021) Lobste Comment

02-14 The UNIX Operating System is an IDE (2021) (0x19.org)

158. 利用神经网络求解离散化浅水方程 Lobste Comment

02-14 Solving the discretised shallow water equations using neural networks (www.sciencedirect.com)

159. 启动 Interop 2025 Lobste Comment

02-14 Launching Interop 2025 (hacks.mozilla.org)

160. 生成式人工智能对批判性思维的影响 Lobste Comment

02-14 The Impact of Generative AI on Critical Thinking (www.microsoft.com)

161. LLVM 中的自定义断言 Lobste Comment

02-14 Custom asserts in LLVM (www.neilhenning.dev)

162. 阿特金森超文本阅读 Next 和阿特金森超文本阅读 Mono Lobste Comment

02-14 Atkinson Hyperlegible Next and Atkinson Hyperlegible Mono (www.brailleinstitute.org)

163. 关于臃肿 Lobste Comment

02-14 On Bloat (commandcenter.blogspot.com)

164. Terminader：合并 Finder 和 Terminal Lobste Comment

02-14 Terminader: merging the Finder and Terminal (github.com)

165. shot-scraper 1.6 支持 HTTP 档案 Lobste Comment

02-14 shot-scraper 1.6 with support for HTTP Archives (simonwillison.net)

166. TSforge Lobste Comment

02-14 TSforge (massgrave.dev)

167. 在 TypeScript 中使用品牌类型 Lobste Comment

02-14 Using Branded Types in TypeScript (egghead.io)

168. 使用 Spritely Goblins 对机器部署工具进行原型开发 Lobste Comment

02-14 Prototyping a machine deployment tool with Spritely Goblins (www.terracrypt.net)

169. 如何在 PATH 中添加目录 Lobste Comment

02-14 How to add a directory to your PATH (jvns.ca)

170. 开发人员在创建应用程序接口和代码文档时面临的挑战 Lobste Comment

02-14 Challenges Developers Face in Creating API and Code Documentation (www.coderabbit.ai)

171. 关于柔术和马吉特：经验报告 Lobste Comment

02-14 On Jujutsu and Magit: experience report (blog.alarsyo.net)

172. 为什么我创建的超个性化搜索引擎并不出色？ Lobste Comment

02-14 why I built a hyper-personalized seach engine that isn''t very good (search.technomancy.us)

173. 2024 年生锈状况调查结果 Lobste Comment

02-14 2024 State of Rust Survey Results (blog.rust-lang.org)

174. 构成在计算机编程中的作用（1995 年） Lobste Comment

02-14 Role of Composition in Computer Programming (1995) (dl.acm.org)

175. 马尔坎辞去朝日 Linux 项目负责人职务 Lobste Comment

02-14 Marcan Resigns as Asahi Linux project lead (asahilinux.org)

176. 用 PHP 加速后量子加密技术的应用 Lobste Comment

02-14 Accelerating The Adoption of Post-Quantum Cryptography with PHP (paragonie.com)

177. 辞去 Asahi Linux 项目负责人职务 Lobste Comment

02-13 Resigning as Asahi Linux project lead (marcan.st)

178. 编译针对 SIMD 的阵列语言 Lobste Comment

02-14 Compiling Array Languages for SIMD (vmchale.com)

179. 解释我的快速 6502 代码生成器 Lobste Comment

02-13 Explaining my fast 6502 code generator (pubby.games)

180. 来自 pcg32 的随机数，速度为 200 Gbit/s Lobste Comment

02-13 random numbers from pcg32 at 200 Gbit/s (dotat.at)

181. 重新评估韦兰 Lobste Comment

02-13 Reassessing Wayland (dudemanguy.github.io)

182. 程序不会杀人，电脑才会 Lobste Comment

02-13 Programs don''t kill people, computers do (crowdhailer.me)

183. 进入 Vᴏʀᴛᴇx 的后裔 Lobste Comment

02-13 A Descent Into the Vᴏʀᴛᴇx (tigerbeetle.com)

184. 用 222 行 Pulumi 构建自己的 GitHub 代码空间替代方案 Lobste Comment

02-13 Build Your Own GitHub Codespaces Alternative in 222 Lines of Pulumi (devcontainer.community)

185. devenv 1.4：使用人工智能生成 Nix 开发者环境 Lobste Comment

02-13 devenv 1.4: Generating Nix Developer Environments Using AI (devenv.sh)

186. 自制偏振合成孔径雷达无人机 Lobste Comment

02-13 Homemade polarimetric synthetic aperture radar drone (hforsten.com)

187. 密码学为何不基于 NP-完备问题 Lobste Comment

02-13 Why cryptography is not based on NP-complete problems (blintzbase.com)

188. 修复 elm-review 中的多文件问题 Lobste Comment

02-13 Multi-files fixes in elm-review (jfmengels.net)

189. FLAC 1.5.0 已发布 Lobste Comment

02-13 FLAC 1.5.0 released (xiph.org)

190. 法律硕士不中断面试 Lobste Comment

02-13 LLMs Do Not Break Interviews (blog.sulami.xyz)

191. 不会做出错误决定的工程师 Lobste Comment

02-13 Engineers who won’t commit force bad decisions (www.seangoedecke.com)

192. 老 C 语言，新 C 技巧：NULL ! ptr Lobste Comment

02-13 Old C dog, new C tricks: NULL ! ptr (subethasoftware.com)

193. FreeBSD 上的 GhostBSD pkg(8) 资源库 Lobste Comment

02-13 GhostBSD pkg(8) Repository on FreeBSD (vermaden.wordpress.com)

194. Ki 编辑器现在支持 "揭示 Lobste Comment

02-13 Ki Editor now supports Reveal (ki-editor.github.io)

195. 质疑评估非加密哈希函数的标准 Lobste Comment

02-13 Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions (cacm.acm.org)

196. 微型 JIT 实现更快的 FFI Lobste Comment

02-13 Tiny JITs for a Faster FFI (railsatscale.com)

197. schemesh：将 Unix shell 和 Lisp REPL 融合在一起 Lobste Comment

02-13 schemesh: A Unix shell and Lisp REPL, fused together (github.com)

198. 我如何利用 macOS 文件夹操作实现电脑生活自动化 Lobste Comment

02-13 How I Automated My Computer Life With macOS Folder Actions (interfacecraft.online)

199. 英国要求为 iCloud 备份加密设置后门 Lobste Comment

02-13 U.K. asks to backdoor iCloud Backup encryption (blog.cryptographyengineering.com)

200. 你没有链接 libc 的所有部分 Lobste Comment

02-13 you don''t link all of libc (flak.tedunangst.com)

201. 推理模型只是 LLM Lobste Comment

02-13 Reasoning models are just LLMs (antirez.com)

202. 阿尔彭格洛计划和文件 Lobste Comment

02-13 Alpenglow Plan & Documentation (phetsims.github.io)

203. 不连续派生 AT Lobste Comment

02-13 Derivative AT a Discontinuity (alok.github.io)

204. Zodiac：简单的 Clojure 框架 Lobste Comment

02-13 Zodiac: simple Clojure framework (github.com)

205. 通过表情符号偷运任意数据 Lobste Comment

02-13 Smuggling arbitrary data through an emoji (paulbutler.org)

206. 先用一种语言迭代，再用所有其他语言迭代（2016 年） Lobste Comment

02-13 Iteration in one language, then all the others (2016) (eev.ee)

207. 效率和横向可扩展性是否存在矛盾？ Lobste Comment

02-13 Are Efficiency and Horizontal Scalability at odds? (buttondown.com)

208. 您的网络，您的规则：掌握自己的 DNS Lobste Comment

02-13 Your Network, Your Rules: Take Charge With Own DNS (dzone.com)

209. 您使用调试器吗？ Lobste Comment

02-13 Do you use a debugger? (www.sandordargo.com)

210. 跳过：声明式编码和连续计算的反应式框架 Lobste Comment

02-13 Skip: A reactive framework to code declaratively and compute continuously (skiplabs.io)

211. Rails 异步查询示例 Lobste Comment

02-13 Rails async queries by example (www.honeybadger.io)

212. 糟糕的智能手表认证 Lobste Comment

02-13 Bad Smart Watch Auth (sprocketfox.io)

213. Syd：Linux 安全应用程序沙箱简介 Lobste Comment

02-13 Syd: An Introduction to Secure Application Sandboxing for Linux (fosdem.org)

214. 每种迭代器变体概览 Lobste Comment

02-12 A survey of every iterator variant (blog.yoshuawuyts.com)

215. 通过废弃的亚马逊 S3 存储桶发送恶意软件 Lobste Comment

02-12 Delivering Malware Through Abandoned Amazon S3 Buckets (www.schneier.com)

216. 哎哟末端的无痛加压和减压 Lobste Comment

02-12 ouch: Painless compression and decompression in the terminal (github.com)

217. Go 1.24 的 "omitzero "是多年来生态系统的又一最佳补充之一 Lobste Comment

02-12 Go 1.24''s omitzero is another one of the best additions to the ecosystem in years (www.jvt.me)

218. 英雄联盟》重播的数据搜刮和逆向工程 Lobste Comment

02-12 Data scraping and reverse engineering League of Legends replays (maknee.github.io)

219. Linux 机器到底是如何连接互联网的？ Lobste Comment

02-12 How does a Linux machine connect to the internet, really? (pjg1.site)

220. 用代码从头开始编写 CRDT 文本 Lobste Comment

02-12 Text CRDTs from scratch, in code (www.youtube.com)

221. 与 Jakub Jarosz 一起学习 Go 的安全、开发和测试 Lobste Comment

02-12 Security, devops, and testing in Go with Jakub Jarosz (gopodcast.dev)

222. AWS 的系统正确性实践：利用正式和半正式方法 Lobste Comment

02-12 Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods (dl.acm.org)

223. 使用 JavaScript 的 "using "关键字进行无尘室测试 Lobste Comment

02-12 Clean room tests with JavaScript''s using keyword (blog.disintegrator.dev)

224. Rust for Linux Lobste Comment

02-12 Rust for Linux (fosdem.org)

225. 节省击键次数的简单终端助手 Lobste Comment

02-12 A simple terminal helper to save keystrokes (github.com)

226. 汤森路透在有关人工智能、版权和合理使用的早期法庭辩论中获胜 Lobste Comment

02-12 Thomson Reuters wins an early court battle over AI, copyright, and fair use (www.theverge.com)

227. 内维快乐（内部结构的串联说明） Lobste Comment

02-12 Intensional Joy (a concatenative account of internal structure) (pithlessly.github.io)

228. ELEET：文本和表格的高效学习查询执行 Lobste Comment

02-12 ELEET: Efficient Learned Query Execution over Text and Tables (www.vldb.org)

229. HOTDOG：带有 Windows 3.1 Hot Dog Stand、Mac Classic 和 Aqua UI 的 X11 窗口管理器 Lobste Comment

02-12 HOTDOG: X11 Window Manager with Windows 3.1 Hot Dog Stand, Mac Classic and Aqua UI (github.com)

230. JJ 小抄 Lobste Comment

02-12 JJ cheat sheet (justinpombrio.net)

231. Go 1.24 发布 Lobste Comment

02-12 Go 1.24 is released (go.dev)

232. 42links：用 Lisp 写成的书签服务器 Lobste Comment

02-12 42links: A bookmarking server, written in Lisp (code.rosaelefanten.org)

233. 关闭 Upspin 基础设施 Lobste Comment

02-12 Turning down Upspin infrastructure (groups.google.com)

234. 参考计数：比听起来更难（2015） Lobste Comment

02-12 Reference Counting: Harder than it Sounds (2015) (www.playingwithpointers.com)

235. 否认的阶段 Lobste Comment

02-12 Stages of Denial (nsl.com)

236. 通过 ROP 实现 RCE Lobste Comment

02-12 ROPing our way to RCE (modzero.com)

237. Windows 7：2025 年的视角（无论是否带有玫瑰色调） Lobste Comment

02-12 Windows 7: A 2025 perspective (rose-tinted or not) (www.dedoimedo.com)

238. 可以吗？ Lobste Comment

02-12 Is it okay? (www.robinsloan.com)

239. 使用 apt-eatmydata 为安装增效：因为谁还需要碰撞安全？ Lobste Comment

02-12 Supercharge Your Installs with apt-eatmydata: Because Who Needs Crash Safety Anyway? (balintreczey.hu)

240. 用 1 个字节成为蒸汽甲板上的霸主 Lobste Comment

02-12 Being Overlord on the Steam Deck with 1 Byte (blog.quarkslab.com)

241. 用 Racket 编写我自己的抖动算法 Lobste Comment

02-12 Writing my own dithering algorithm in Racket (amanvir.com)

242. 奥利奥：保护 ASLR 免受微架构攻击 (2024) Lobste Comment

02-12 Oreo: Protecting ASLR Against Microarchitectural Attacks (2024) (arxiv.org)

243. 开源软件与企业影响 Lobste Comment

02-12 Open Source Software and Corporate Influence (www.alilleybrinker.com)

244. 无聊的技术是成熟而不是陈旧 Lobste Comment

02-11 Boring tech is mature, not old (rubenerd.com)

245. llm-sort：使用 LLM 对输入行进行语义排序 Lobste Comment

02-12 llm-sort: Sort input lines semantically with LLMs (github.com)

246. 虚构的事实？QWERTY 键盘的传奇（2013 年） Lobste Comment

02-12 Fact of Fiction? The Legend of the QWERTY Keyboard (2013) (www.smithsonianmag.com)

247. 未来的技能是 "专注"，而不是 "人工智能 Lobste Comment

02-11 The skill of the future is ''Focus'', not ''AI'' (www.carette.xyz)

248. Composiphrase：类似于 Vim 的可组合编辑语言，但更有特色 Lobste Comment

02-12 Composiphrase: Composable editing language like Vim, but moreso (www.willghatch.net)

249. 机器：学习；人类：不学习 Lobste Comment

02-12 Machine: Learning; Human: Unlearning (wickstrom.tech)

250. lzbench 压缩基准测试 Lobste Comment

02-11 lzbench Compression Benchmark (morotti.github.io)

251. 在磨坊工作数字设备公司的故事 Lobste Comment

02-11 Work at the Mill: The story of Digital Equipment Corporation (www.abortretry.fail)

252. 你的人工智能看不到大猩猩 Lobste Comment

02-11 Your AI can’t see gorillas (chiraaggohel.com)

253. 微软发布基于 MIT 许可的 DocumentDB（NoSQL atop Postgres） Lobste Comment

02-11 Microsoft releases DocumentDB (NoSQL atop Postgres) under MIT license (opensource.microsoft.com)

254. 生成 SSA 的方法目录 Lobste Comment

02-11 A catalog of ways to generate SSA (bernsteinbear.com)

255. 前沿人工智能系统已突破自我复制红线 Lobste Comment

02-11 Frontier AI systems have surpassed the self-replicating red line (arxiv.org)

256. SQL 中的尾部逗号如何？ Lobste Comment

02-11 How about trailing commas in SQL? (peter.eisentraut.org)

257. 用标记指针解决 Rust 中的 ABA 问题 Lobste Comment

02-11 Solving the ABA Problem in Rust with Tagged Pointers (minikin.me)

258. 功能标志与配置选项 (2020) Lobste Comment

02-11 Feature Flags vs Configuration Options (2020) (www.cs.cmu.edu)

259. 用 Perl 编写 git 扩展 Lobste Comment

02-11 Writing git extensions in Perl (dev.to)

260. GameFontLibrary 电子游戏字体和排版数据库 Lobste Comment

02-11 GameFontLibrary Video Game Fonts & Typography Database (www.gamefontlibrary.com)

261. 我是如何学会不再担心并爱上法律硕士的？ Lobste Comment

02-11 How I learned to stop worrying and love the LLM (smallcultfollowing.com)

262. 使用 Nix 在 Steam Deck 上持续运行软件包 Lobste Comment

02-11 Persistent packages on Steam Deck using Nix (chrastecky.dev)

263. 使用 EBMC 比较两种 Verilog CPU 实现 Lobste Comment

02-11 Comparing Two Verilog CPU Implementations using EBMC (www.philipzucker.com)

264. 推出 auxcord.org - 让朋友们在您的派对上排队听音乐 Lobste Comment

02-11 Launching auxcord.org - Let friends queue their music at your party (krausefx.com)

265. NixOS 和可移植可执行文件 Lobste Comment

02-11 NixOS and Actually Portable Executables (jackkelly.name)

266. 我们用 Go 和 WebAssembly 代替了 React 前端 - Dagger Lobste Comment

02-11 We Replaced Our React Frontend with Go and WebAssembly - Dagger (dagger.io)

267. 使用 Plan 9 的操作系统抽象简介 Lobste Comment

02-11 Introduction to Operating System Abstractions using Plan 9 (archive.org)

268. Anansi-tags（现在采用 NodeJS） Lobste Comment

02-11 Anansi-tags (now in NodeJS!) (www.npmjs.com)

269. Copyover MUD 服务器的工作原理 Lobste Comment

02-11 How Copyover MUD Servers Worked (jackkelly.name)

270. 大学生发明更快的哈希表 Lobste Comment

02-11 Undergraduate Invents Faster Hash Table (www.quantamagazine.org)

271. 航站楼的一些挫折 Lobste Comment

02-11 Some terminal frustrations (jvns.ca)

272. Bjarne Stroustrup：21 世纪的 C Lobste Comment

02-11 Bjarne Stroustrup: 21st Century C (cacm.acm.org)

273. 遵循 IEEE 754 浮点标准的基本函数和 NOT (2020) Lobste Comment

02-11 Elementary Functions and NOT Following the IEEE 754 Floating-Point Standard (2020) (www.hlsl.co.uk)

274. Ciao Prolog 系统（以 WASM 为目标的 Prolog 实现） Lobste Comment

02-11 The Ciao Prolog System (Prolog implementation targeting WASM) (ciao-lang.org)

275. 免费维基主机，无广告 Lobste Comment

02-11 Free Wiki Hosting, No Ads (miraheze.org)

276. 您应该更多地使用 /tmp/ Lobste Comment

02-11 You Should Use /tmp/ More (atthis.link)

277. 出版了一系列 Node.js 安全编码书籍 Lobste Comment

02-11 Published a series of Node.js Secure Coding books (www.nodejs-security.com)

278. X 宏的不合理效果 Lobste Comment

02-11 The Unreasonable Effectiveness of X Macros (ph3at.github.io)

279. 3D 高斯溅射 WebGL 查看器 Lobste Comment

02-11 3D Gaussian Splatting WebGL viewer (gsplat.tech)

280. pkarr：公钥可寻址资源记录（主权顶级域） Lobste Comment

02-11 pkarr: Public Key Addressable Resource Records (sovereign TLDs) (github.com)

281. 如何分解日志复制协议 Lobste Comment

02-10 How to disaggregate a log replication protocol (jack-vanlightly.com)

282. 用 WebAssembly 对 Perl 进行沙箱化 Lobste Comment

02-10 Sandboxing Perl with WebAssembly (andrews.substack.com)

283. 对在 C 26 中增加光纤的建议表示关切 Lobste Comment

02-10 Concerns with the proposed addition of fibers to C 26 (isocpp.org)

284. PeerAuth Lobste Comment

02-10 PeerAuth (ksze.github.io)

285. 用户界面引擎 Lobste Comment

02-10 Yucan UI Engine (yucan-ui.com)

286. K 呢？ Lobste Comment

02-10 What about k? (xpqz.github.io)

287. 独立情结：（人工智能）助手应该是独立的个体，而不是傀儡 Lobste Comment

02-10 Stand Alone Complex: (AI) Assistants should be individuals, not puppets (blog.cortex.im)

288. 表面稳定分形抖动功能演示 Lobste Comment

02-10 Feature Demo of Surface-Stable Fractal Dithering (www.youtube.com)

289. 计算棘手的概率 Lobste Comment

02-10 Computing Tricky Probabilities (www.msoos.org)

290. 我用原始 txt 写博客 Lobste Comment

02-10 I blog with raw txt (misc.l3m.in)

291. HarmonyOS："深蓝洞察 "是 2024 年最独特的安全新生态 Lobste Comment

02-10 HarmonyOS: "Deep Blue Insight" is the most unique new security ecology in 2024 (www.harmony-developers.com)

292. ConnectX-5 固件工具和初步分析 Lobste Comment

02-10 ConnectX-5 Firmware tooling and initial analysis (irisc-research-syndicate.github.io)

293. sqlite-wasm-http Lobste Comment

02-10 sqlite-wasm-http (github.com)

294. Rust 试图赶上 Ada 的状态 Lobste Comment

02-10 The state of Rust trying to catch up with Ada (fosdem.org)

295. 命名总和类型往往很难 Lobste Comment

02-10 Naming sum types is often hard (chrisdone.com)

296. 住宅电话联网 Lobste Comment

02-10 residential networking over telephone (computer.rip)

297. 黑曜石出版目录枚举 Lobste Comment

02-10 Obsidian Publish Directory Enumeration (ezrizhu.com)

298. Linux 补丁调整 s2idle 期间的交流电插拔行为，以与 Windows 匹配 Lobste Comment

02-10 Linux Patches Adjust AC Plug/Unplug Behavior During s2idle To Match Windows (www.phoronix.com)

299. 与 Rust 相比，Ada 的内存安全性如何？ Lobste Comment

02-10 How Does Ada''s Memory Safety Compare Against Rust? (ajxs.me)

300. 爆米花任务是什么？ Lobste Comment

02-10 WTF are Popcorn Tasks? (madole.xyz)