Lobste 最新提交 Lite

1. nix-prompt：一個簡潔且模塊化的bash提示符，提供恰到好處的自定義選項 Lobste Comment

08:01 nix-prompt: a clean and modular bash prompt with just the right amount of customization options (github.com)

2. llm-grep：同時使用經典和語義正則表達式匹配行 Lobste Comment

06:18 llm-grep: Match lines using both classic and semantic regular expressions (github.com)

3. 在 Python / Wasm 環境中啟用 C 線程 Lobste Comment

05:42 "Enabling" C threads in a Python / Wasm environment (yosefk.com)

4. CONTRACT.md：AI編碼助手的頑皮清單 Lobste Comment

05:29 CONTRACT.md: The Naughty List for AI Coding Agents (www.discussdontcode.com)

5. 我對Kubernetes的思考 Lobste Comment

04:41 How I think about Kubernetes (garnaudov.com)

6. 為性能與樂趣重構FlashAttention Lobste Comment

04:39 Reimplementing FlashAttention for performance and giggles (aminediro.com)

7. 從意圖到證明：Web應用的Dafny驗證 Lobste Comment

03:41 From Intent to Proof: Dafny Verification for Web Apps (midspiral.com)

8. 簡化 vst3-rs 的構建流程 Lobste Comment

03:17 Simplifying the build process for vst3-rs (micahrj.github.io)

9. 展示：Twine——一款用於動態追蹤生產環境中Elixir系統調用的工具 Lobste Comment

02:44 Show: Twine - A tool to dynamically trace calls in production Elixir systems (github.com)

10. 紫外線怎麼變得這麼快 Lobste Comment

02:16 How uv got so fast (nesbitt.io)

11. 關於亞穩態故障與系統間交互 Lobste Comment

01:52 On Metastable Failures and Interactions Between Systems (charap.co)

12. Calibre新增AI"討論"功能 Lobste Comment

01:09 Calibre adds AI ''discussion'' feature (lwn.net)

13. profiling.sampling：統計分析器 Lobste Comment

00:49 profiling.sampling: Statistical profiler (docs.python.org)

14. 今日學到：serde 的借用可能很危險 Lobste Comment

00:30 TIL: serde''s borrowing can be treacherous (yossarian.net)

15. 玩蒙蒂霍爾遊戲 Lobste Comment

12-26 Play the Monty Hall game (monty.donk.systems)

16. Rust中的貸款代數 Lobste Comment

12-26 The Algebra of Loans in Rust (nadrieril.github.io)

17. 大師 - 桌面人工智能代理指揮中心（免費/開源） Lobste Comment

12-26 Maestro - Desktop AI Agent Command Center (Free/OSS) (runmaestro.ai)

18. GNU Mes 及其模塊系統 Lobste Comment

12-26 GNU Mes and the module system (ekaitz.elenq.tech)

19. 我是個筆記本電腦怪咖，所以才喜歡我的新款Framework 13 Lobste Comment

12-26 I''m a laptop weirdo and that''s why I like my new Framework 13 (blog.matthewbrunelle.com)

20. 羅布·派克對通用人工智能發飆 Lobste Comment

12-26 Rob Pike Goes Nuclear over GenAI (imgur.com)

21. 精美的複製品 Lobste Comment

12-26 Beautiful reprs (pomponchik.org)

22. Sendspin：音樂體驗協議 Lobste Comment

12-26 Sendspin: Music Experience Protocol (www.sendspin-audio.com)

23. 用Haskell編寫NES模擬器 Lobste Comment

12-26 Writing an NES emulator in Haskell (arthi-chaud.github.io)

24. 關於內核開發中機器學習工具的政策方向 Lobste Comment

12-26 Toward a policy for machine-learning tools in kernel development (lwn.net)

25. 古希臘幾何學 Lobste Comment

12-26 Ancient Greek geometry (sciencevsmagic.net)

26. 微架構：底層發生的故事 Lobste Comment

12-26 Microarchitecture: What Happens Beneath (www.youtube.com)

27. 實現Backblaze生命週期規則無法即時完成的自動化操作 Lobste Comment

12-26 Automating What Backblaze Lifecycle Rules Don''t Do Instantly (blog.tymscar.com)

28. 當驅動程序挑戰內核的假設時 Lobste Comment

12-26 When a driver challenges the kernel''s assumptions (miod.online.fr)

29. 雙重對偶洗牌 Lobste Comment

12-26 doubly dual shuffles (dotat.at)

30. 兩個腦袋比一個好？ Lobste Comment

12-26 Are Two Heads Better Than One? (eieio.games)

31. 發佈 KC3 v0.1.16 Lobste Comment

12-26 Released KC3 v0.1.16 (www.kmx.io)

32. 被時間遺忘的HTML元素 Lobste Comment

12-25 The HTML Elements Time Forgot (htmhell.dev)

33. 永恆遊戲 Lobste Comment

12-25 Timeless Games (cxong.github.io)

34. 微軟終於要淘汰RC4算法 Lobste Comment

12-25 Microsoft Is Finally Killing RC4 (www.schneier.com)

35. Python 3.15 的 Windows x86-64 解釋器速度有望提升 15%。 Lobste Comment

12-25 Python 3.15’s interpreter for Windows x86-64 should hopefully be 15% faster (fidget-spinner.github.io)

36. 揭開3D圖形奧秘的公式 Lobste Comment

12-25 One formula that demystifies 3D graphics (www.youtube.com)

37. x86架構的自引用頁表 Lobste Comment

12-25 Self-referencing Page Tables for the x86-Architecture (0l.de)

38. Gleam v1.14 - 2025年歡樂節日版 Lobste Comment

12-25 Gleam v1.14 - the happy holidays release 2025 (gleam.run)

39. ssh 小小聖誕 Lobste Comment

12-25 ssh tiny.christmas (eieio.games)

40. 宣佈 rules_img：Bazel 中更快捷的容器鏡像生成路徑 Lobste Comment

12-25 Announcing rules_img: a faster path to container images in Bazel (tweag.io)

41. 數學上極其複雜的2025年最神秘的聖誕老人活動 Lobste Comment

12-25 Mathematically extra-complicated Secretest Santa 2025 (youtube.com)

42. 他媽的平易近人的Swift併發 Lobste Comment

12-25 Fucking Approachable Swift Concurrency (fuckingapproachableswiftconcurrency.com)

43. Ruby 4.0.0 正式發佈 Lobste Comment

12-25 Ruby 4.0.0 Released (www.ruby-lang.org)

44. 玩具優化器中的加載與存儲轉發 Lobste Comment

12-25 Load and store forwarding in the Toy Optimizer (bernsteinbear.com)

45. 使用Vectorize構建搜索引擎，僅需160行代碼 Lobste Comment

12-25 Using Vectorize to build a search engine in 160 loc (blog.partykit.io)

46. phoenix - 一款用Zig語言從零編寫的現代X服務器 Lobste Comment

12-25 phoenix - A modern X server written from scratch in Zig (git.dec05eba.com)

47. 包管理器總把Git當作數據庫來用，結果永遠行不通 Lobste Comment

12-25 Package managers keep using git as a database, it never works out (nesbitt.io)

48. Advent of Code 2025：Haskell 解決方案回顧（全部12天） Lobste Comment

12-25 Advent of Code 2025: Haskell Solution Reflections for all 12 Days (blog.jle.im)

49. 新類型指數模式在Zig中 Lobste Comment

12-25 Newtype Index Pattern In Zig (matklad.github.io)

50. 專為AmigaOS4和MorphOS設計的下一代主板 Lobste Comment

12-25 The Next-Gen Mainboard Designed with AmigaOS4 and MorphOS in mind (mirari.vitasys.nl)

51. QEMU 10.2.0 版本發佈 Lobste Comment

12-25 QEMU version 10.2.0 released (www.qemu.org)

52. Advent of Code 2025：人工智能大語言模型特輯 Lobste Comment

12-25 Advent of Code 2025: The AI LLM Edition (github.com)

53. 迪達洛斯：時空中的數據流（2009） Lobste Comment

12-25 Dedalus: Datalog in Time and Space (2009) (www.eecs.berkeley.edu)

54. Datafun - 一種對Datalog進行泛化的函數式語言 Lobste Comment

12-25 Datafun - functional language that generalizes Datalog (www.rntz.net)

55. 2025矩陣假日特別篇 Lobste Comment

12-25 The 2025 Matrix Holiday Special (matrix.org)

56. JPEG截圖如何擊敗我們精美的H.264網絡編解碼器管道 Lobste Comment

12-25 How JPEG Screenshots Defeated Our Beautiful H.264 WebCodecs Pipeline (blog.helix.ml)

57. 諾斯特羅指南針 #1 Lobste Comment

12-25 Nostr Compass #1 (yakihonne.com)

58. 歐盟地區的查詢與數據攝取問題 Lobste Comment

12-25 Querying and Ingest issues in EU (status.honeycomb.io)

59. Wayback 0.3 版本發佈 Lobste Comment

12-25 Wayback 0.3 Released (wayback.freedesktop.org)

60. （我的）Linux桌面第二年（遊戲篇） Lobste Comment

12-25 (My) Second Year of the Linux Desktop (For Gaming) (blog.matthewbrunelle.com)

61. Curl 2025 評估報告 Lobste Comment

12-25 A curl 2025 review (daniel.haxx.se)

62. cjanet Lobste Comment

12-25 cjanet (github.com)

63. ZipPop：一款節省空間的解壓腳本 Lobste Comment

12-25 ZipPop: a space conserving unzipping script (github.com)

64. 炫酷Python：Python交互式開發 Lobste Comment

12-25 Swanky Python: Interactive development for Python (emacsconf.org)

65. 我如何以及為何從蘋果服務轉向自有服務器 Lobste Comment

12-25 How and why I moved from Apple Services to my own server (bastiangruber.ca)

66. "AI"是糟糕的用戶體驗 Lobste Comment

12-25 "AI" is bad UX (buttondown.com)

67. 我對2026年開放社交網絡的預測 Lobste Comment

12-24 My 2026 Open Social Web Predictions (www.timothychambers.net)

68. SBOM現狀報告 Lobste Comment

12-24 Nix State of the SBOM (arnout.engelen.eu)

69. 準時制軟件 Lobste Comment

12-24 Just in time software (commaok.xyz)

70. 我正在退回我的Framework 16 Lobste Comment

12-24 I''m returning my Framework 16 (yorickpeterse.com)

71. tygor：適用於 Go TypeScript 應用的類型安全後端 Lobste Comment

12-24 tygor: Type-safe backend for Go TypeScript apps (github.com)

72. 避免使用微框架 Lobste Comment

12-24 Avoid mini-frameworks (laike9m.com)

73. 在SumatraPDF中實現C優化字符串向量 Lobste Comment

12-24 Implementation of optimized vector of strings in C in SumatraPDF (blog.kowalczyk.info)

74. FreeBSD：2025年在ThinkPad X200平板電腦上的安裝 Lobste Comment

12-24 FreeBSD: Installation on a ThinkPad X200 Tablet in 2025 (rtfm.co.ua)

75. 2003年的互聯網是怎樣的 Lobste Comment

12-24 What the Internet Was Like in 2003 (cybercultural.com)

76. 幾個3D AABB技巧 Lobste Comment

12-24 A Couple 3D AABB Tricks (gpfault.net)

77. 交互式可視化 GitHub Actions Matrix 配置 Lobste Comment

12-24 Interactively visualize GitHub Actions Matrix configurations (katexochen.github.io)

78. 基於Nix的定製交叉編譯器 Lobste Comment

12-24 Custom Cross Compiler with Nix (www.hobson.space)

79. Meta正在其服務器上使用為Valve Steam Deck設計的Linux調度程序 - Phoronix Lobste Comment

12-24 Meta Is Using The Linux Scheduler Designed For Valve''s Steam Deck On Its Servers - Phoronix (www.phoronix.com)

80. 從第一性原理出發的關注 Lobste Comment

12-24 Attention From First Principles (metaworld.me)

81. 他們給我提出了一個無法拒絕的提議（1997） Lobste Comment

12-24 They made me an offer I couldn''t refuse (1997) (jens.mooseyard.com)

82. 我們讓四款AI編程助手重建掃雷遊戲——結果令人震驚 Lobste Comment

12-24 We asked four AI coding agents to rebuild Minesweeper—the results were explosive (arstechnica.com)

83. 純硅演示編程：無CPU，無內存，僅4k門 Lobste Comment

12-24 Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates (www.a1k0n.net)

84. 你最喜歡的技術寫作作品有哪些？ Lobste Comment

12-24 Your favorite pieces of technical writing? (lobste.rs)

85. cpu：Go語言中的cpu命令，靈感源自Plan 9操作系統的cpu命令 Lobste Comment

12-24 cpu: cpu command in Go, inspired by the Plan 9 cpu command (github.com)

86. 針對已驗證庫的自動化校驗修復 Lobste Comment

12-24 Mostly Automated Proof Repair for Verified Libraries (kirancodes.me)

87. 對發現的Unix V4磁帶的初步分析 Lobste Comment

12-24 An initial analysis of the discovered Unix V4 tape (www.spinellis.gr)

88. sqlite-wasm-http：SQLite WASM 的實驗性 HTTP 虛擬文件系統驅動程序 Lobste Comment

12-24 sqlite-wasm-http: An experimental HTTP VFS driver for SQLite WASM (github.com)

89. LAVD：Meta的新默認調度程序 Lobste Comment

12-24 LAVD: Meta’s New Default Scheduler (lpc.events)

90. Unix "find" 表達式編譯為字節碼 Lobste Comment

12-24 Unix "find" expressions compiled to bytecode (nullprogram.com)

91. NixOS 25.11 最小安裝 ISO 鏡像的複製 Lobste Comment

12-23 Reproducing the NixOS 25.11 Minimal Installation ISO (arnout.engelen.eu)

92. Linux內核僅僅是一個程序 Lobste Comment

12-23 The Linux kernel is just a program (serversfor.dev)

93. folder.zone：實時共享端到端加密文件夾 Lobste Comment

12-23 folder.zone: Share end-to-end encrypted folders live (folder.zone)

94. MSBuild的奇妙之處 Lobste Comment

12-23 The wonder of MSBuild (mmagueta.capivaras.dev)

95. 通過摺疊與扭轉實現弗洛凱碼上的邏輯門 Lobste Comment

12-23 Logical gates on Floquet codes via folds and twists (arxiv.org)

96. 薛定諤的測試：/dev/mem案例 Lobste Comment

12-23 Schrödinger’s test: The /dev/mem case (elisa.tech)

97. mquickjs：微型QuickJS JavaScript引擎 Lobste Comment

12-23 mquickjs: Micro QuickJS Javascript Engine (github.com)

98. 門鎖 Lobste Comment

12-23 dirlock (gitlab.steamos.cloud)

99. Vigil - 專為Zig設計的簡潔高效構建監視器（靈感源自Rust的Bacon） Lobste Comment

12-23 Vigil - A clean, fast build watcher for Zig (inspired by Bacon for Rust) (github.com)

100. 預算有限的Web引擎持續集成 Lobste Comment

12-23 Web engine CI on a shoestring budget (youtu.be)

101. 功能討論：在故事中回覆多個評論 Lobste Comment

12-23 Feature discussion: replying to multiple comments in story (lobste.rs)

102. 這次會議本可以一封郵件解決 Lobste Comment

12-23 This Meeting could have been an Email (substack.com)

103. 使用 PostgreSQL 18 實現數據庫即時克隆 Lobste Comment

12-23 Instant database clones with PostgreSQL 18 (boringsql.com)

104. 我們龍了沒？ Lobste Comment

12-23 Are we Loong yet? (areweloongyet.com)

105. 為什麼量子密碼分析是胡扯 Lobste Comment

12-23 Why Quantum Cryptanalysis is Bollocks (youtu.be)

106. 僅111行代碼實現的最輕量級筆記應用 Lobste Comment

12-23 The lightest notes app implementation in 111 loc (github.com)

107. 下載量達5.6萬次的NPM包被發現竊取WhatsApp消息 Lobste Comment

12-23 NPM Package With 56K Downloads Caught Stealing WhatsApp Messages (www.koi.ai)

108. 基於可表示對象的備忘錄法（2022） Lobste Comment

12-23 Memoization via Representables (2022) (iagoleal.com)

109. FreeBSD 縮小筆記本電腦差距：第一年項目進展報告 Lobste Comment

12-23 FreeBSD Closes the Laptop Gap: Year One Project Update (freebsdfoundation.org)

110. 介紹開放表單 Lobste Comment

12-23 Introducing Open Forms (www.aryank.in)

111. 我預言過Mac應用公證不過是安全戲劇 Lobste Comment

12-23 I foretold that Mac app notarization is security theater (lapcatsoftware.com)

112. Lua 5.5 發佈 Lobste Comment

12-23 Lua 5.5 Released (www.lua.org)

113. 七款編程遊戲助你提升編程技能 Lobste Comment

12-23 Seven Coding Games to Help You Build Your Programming Chops (www.maketecheasier.com)

114. 米里有什麼“新”動態（對了，還有一份米里報紙！） Lobste Comment

12-23 What''s "new" in Miri (and also, there''s a Miri paper!) (www.ralfj.de)

115. 從零到QED：精益4.0中形式化的非正式入門指南 Lobste Comment

12-23 From Zero to QED: An informal introduction to formality in Lean 4 (sdiehl.github.io)

116. 關於Debian錯誤跟蹤器的討論——雖令人不適卻勢在必行 Lobste Comment

12-23 An uncomfortable but necessary discussion about the Debian bug tracker (nibblestew.blogspot.com)

117. 面向Clan的安全點對點應用平臺 Lobste Comment

12-23 Towards a secure peer-to-peer app platform for Clan (clan.lol)

118. 提議用Rust內核擴展替代eBPF Lobste Comment

12-22 Proposed Rust kernel extensions in place of eBPF (www.phoronix.com)

119. 電子郵件的簡潔性與去中心化聊天 Lobste Comment

12-23 Email Simplicity vs Decentralized Chat (lobste.rs)

120. 自然編程語言 Lobste Comment

12-22 Nature Programming Language (nature-lang.org)

121. 保護隱私的疫苗接種核查：與法蘭克福衛生部門合作實現的MPC概念驗證部署 Lobste Comment

12-22 Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department (sine.foundation)

122. SQLite查詢中簡易的計時列安全機制 Lobste Comment

12-22 Simplistic Comptime Column Safety in SQLite Queries (kristoff.it)

123. 理解您的 Linux 圖形驅動程序堆棧 Lobste Comment

12-22 Understanding your Linux graphics driver stack (timur.hu)

124. Clojure中的群集四叉樹 Lobste Comment

12-22 Flocking Quadtrees in Clojure (www.lbjgruppen.com)

125. 我曾擔任首席技術官。以下是我用來瞬間篩掉50%不合格申請者的15秒編程測試題： Lobste Comment

12-22 I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants (josezarazua.com)

126. 5分鐘內使用GitHub Actions/Pages構建專屬RSS每日摘要 Lobste Comment

12-22 Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes (github.com)

127. 當SIMD失效時：浮點運算的結合律 Lobste Comment

12-22 When SIMD Fails: Floating Point Associativity (xania.org)

128. 在支持休眠功能的ZFS上安裝Void Linux Lobste Comment

12-22 Installing Void Linux on ZFS with Hibernation Support (it-notes.dragas.net)

129. 微前沿 Lobste Comment

12-22 Tinyfront (tinyfront.mooo.com)

130. QBasic64 Phoenix 4.3.0 發佈 Lobste Comment

12-22 QBasic64 Phoenix 4.3.0 released (qb64phoenix.com)

131. typed-arrow：Rust語言的一流編譯時箭頭模式 Lobste Comment

12-22 typed-arrow: First-class compile‑time Arrow schemas for Rust (github.com)

132. Debian 的 Git 遷移 Lobste Comment

12-22 Debian’s git transition (diziet.dreamwidth.org)

133. Qubes OS 4.3.0 已發佈 Lobste Comment

12-22 Qubes OS 4.3.0 has been released (www.qubes-os.org)

134. 日誌記錄很糟糕——你的日誌在欺騙你 Lobste Comment

12-22 Logging Sucks - Your Logs Are Lying To You (loggingsucks.com)

135. 地鐵上的我 Lobste Comment

12-22 I Program on the Subway (www.scd31.com)

136. 垃圾回收與移動語義的認知負擔（2023） Lobste Comment

12-22 The Cognitive Burden of Garbage Collection vs Move Semantics (2023) (insanitybit.github.io)

137. Python 3.15 的新特性 Lobste Comment

12-22 What’s new in Python 3.15 (docs.python.org)

138. 十三載鏽蝕歲月與露的誕生 Lobste Comment

12-22 Thirteen years of Rust and the birth of Rue (steveklabnik.com)

139. 功能機之旅——八個月更新 Lobste Comment

12-22 dumbphone journey -- eight month update (blog.frog.equipment)

140. 反括號 Lobste Comment

12-22 Inverse parentheses (kellett.im)

141. ELF罪行：程序解釋器的樂趣 Lobste Comment

12-22 ELF Crimes: Program Interpreter Fun (nytpu.com)

142. ARIN IPv4錯誤分配事件 Lobste Comment

12-22 ARIN IPv4 misissue incident (www.arin.net)

143. 《紐約時報》遊戲的計算複雜度 Lobste Comment

12-21 Computational complexity of New York Times games (www.arxiv.org)

144. 探索基於Java的Emacs Lisp投機性即時編譯技術 Lobste Comment

12-21 Exploring Speculative JIT Compilation for Emacs Lisp with Java (kyo.iroiro.party)

145. 無障礙功能不可選擇退出 Lobste Comment

12-21 You Can''t Opt-Out of Accessibility (vale.rocks)

146. 我如何保護我的forgejo實例免受AI網絡爬蟲的侵害 Lobste Comment

12-21 How I protect my forgejo instance from AI Web Crawlers (her.esy.fun)

147. 美國國家標準與技術研究院博爾德分部的原子時標出現故障 Lobste Comment

12-21 The atomic time scale at NIST Boulder has failed (journa.host)

148. 網頁/HTML中應避免的事項（2017年） Lobste Comment

12-21 Web/HTML things to avoid (2017) (www.catb.org)

149. 平臺效應（2006） Lobste Comment

12-21 The Inner-Platform Effect (2006) (thedailywtf.com)

150. Win32中隱藏控件的助記符 Lobste Comment

12-21 Mnemonics for hidden controls in Win32 (www.abareplace.com)

151. 在IRIX系統上通過simh PDP11仿真器運行的"UNIX v4磁帶" Lobste Comment

12-21 The "UNIX v4 tape" running in simh PDP11 emu on IRIX (oldbytes.space)

152. 標籤提案：去中心化 Lobste Comment

12-21 Tag proposal: decentralization (lobste.rs)

153. polyproto：一款令人耳目一新的簡單去中心化聯合協議 Lobste Comment

12-21 polyproto: A refreshingly simple decentralised, federated protocol (polyproto.org)

154. 任務注入——利用自主人工智能代理的能動性 Lobste Comment

12-21 Task Injection – Exploiting agency of autonomous AI agents (bughunters.google.com)

155. 基於歸一化壓縮距離的文本相似性搜索 Lobste Comment

12-21 Text similarity search via normalized compression distance (discourse.haskell.org)

156. 基於QuickCheck的屬性測試入門（2020） Lobste Comment

12-21 An introduction to property-based testing with QuickCheck (2020) (jesper.sikanda.be)

157. 不小心用Git給自己挖坑 Lobste Comment

12-21 Shooting myself in the foot with Git by accident (utcc.utoronto.ca)

158. 德州儀器CC-40入侵Gopherspace（附TI-74 BASICALC） Lobste Comment

12-21 The Texas Instruments CC-40 invades Gopherspace (plus TI-74 BASICALC) (oldvcr.blogspot.com)

159. romforth：超便攜、小巧、裸機Forth，適用於多種處理器 Lobste Comment

12-21 romforth: Ultra Portable, Small, Baremetal Forth for various processors (github.com)

160. 更快的實用模塊化求逆算法 Lobste Comment

12-21 Faster practical modular inversion (purplesyringa.moe)

161. Go語言中容量提示的工作原理 Lobste Comment

12-21 How capacity hints work in Go (www.grobinson.net)

162. Go特性：現代化Go修復 Lobste Comment

12-21 Go feature: Modernized go fix (antonz.org)

163. 我花了一週時間斷開IPv4連接，只為理解IPv6的過渡機制 Lobste Comment

12-21 I spent a WEEK without IPv4 to understand IPv6 transition mechanisms (www.apalrd.net)

164. 基岩 (2012) Lobste Comment

12-21 Bedrock (2012) (infrequently.org)

165. Granule，一種具有分級模態類型的靜態類型線性函數式語言 Lobste Comment

12-21 Granule, a statically-typed linear functional language with graded modal types (github.com)

166. 備份Spotify Lobste Comment

12-21 Backing up Spotify (annas-archive.li)

167. 接力賽中的偉大構想 Lobste Comment

12-21 The Big Ideas in Relay (youtu.be)

168. Ruby的網站進行了全面改版 Lobste Comment

12-21 Ruby''s website got an overhaul (www.ruby-lang.org)

169. .meow——酷兒社群的專屬域名，現已啟動眾籌 Lobste Comment

12-21 .meow, the domain for the Queer Community, starts fundraising (www.kickstarter.com)

170. 基於反射的C自動化等效性檢查（C26） Lobste Comment

12-21 Automated Equality Checks in C with Reflection (C26) (lemire.me)

171. 更新的LLM基準測試（Gemini 3 Flash） Lobste Comment

12-21 Updated LLM Benchmark (Gemini 3 Flash) (entropicthoughts.com)

172. 使用synctest/pprof檢測goroutine洩漏 Lobste Comment

12-20 Detecting goroutine leaks with synctest/pprof (antonz.org)

173. 基於引用的目標定位在Shadow DOM中 Lobste Comment

12-20 Targeting by Reference in the Shadow DOM (meyerweb.com)

174. Go語言中的哈希表與自託管編譯器的優勢 Lobste Comment

12-20 Hash tables in Go and advantage of self-hosted compilers (rushter.com)

175. 引導Hacker News觀點的神秘力量 Lobste Comment

12-20 The Mysterious Forces Steering Views on Hacker News (xn--gckvb8fzb.com)

176. 在Lean4中驗證隨機最大割近似算法的界限 Lobste Comment

12-20 Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4 (abhamra.com)

177. UnifyBio：轉化數據科學的強力工具 - Benjamin Kamphaus Lobste Comment

12-20 UnifyBio: Power Tools for Translational Data Science - Benjamin Kamphaus (www.youtube.com)

178. 業務服務水平目標 Lobste Comment

12-20 Business SLOs (medium.com)

179. 十年Datomic之旅——戴維斯·謝潑德與喬納森·英迪格（Netflix） Lobste Comment

12-20 A Decade on Datomic - Davis Shepherd & Jonathan Indig (Netflix) (www.youtube.com)

180. 將HTML5解析器移植到Swift Lobste Comment

12-20 Porting an HTML5 Parser to Swift (ikyle.me)

181. 通過格結構理解Dart類修飾符 Lobste Comment

12-20 Understanding Dart Class Modifiers by Using Lattices (modulovalue.com)

182. 教學法建議 Lobste Comment

12-20 Pedagogy Recommendations (parentheticallyspeaking.org)

183. CSS 網格通道簡介 Lobste Comment

12-20 Introducing CSS Grid Lanes (webkit.org)

184. 性能提示 Lobste Comment

12-20 Performance Hints (abseil.io)

185. 通過Tailscale暴露遊戲服務器 Lobste Comment

12-20 Exposing game servers over Tailscale (chameth.com)

186. 猶他大學UNIX V4磁帶 Lobste Comment

12-20 UNIX V4 tape from University of Utah (archive.org)

187. Unix v4 磁帶 Lobste Comment

12-20 Unix v4 Tape (discuss.systems)

188. 人們喜歡Rust的哪些方面？ Lobste Comment

12-20 What do people love about Rust? (blog.rust-lang.org)

189. 學習Ruby和Rails編程的書籍清單（2023年版） Lobste Comment

12-20 A List of Books to Learn Programming with Ruby and Rails (2023) (www.writesoftwarewell.com)

190. Rust 的區塊模式 Lobste Comment

12-20 Rust’s Block Pattern (notgull.net)

191. 最可怕的引導加載程序代碼 Lobste Comment

12-20 The scariest boot loader code (miod.online.fr)

192. Pi 5 NAS 配備定製碳纖維面板，由 Makera Z1 製造 Lobste Comment

12-20 Pi 5 NAS With Custom Carbon Fibre Panels, Made on the Makera Z1 (www.the-diy-life.com)

193. Lite3，一種兼容JSON的零拷貝序列化格式 Lobste Comment

12-20 Lite3, a JSON-Compatible Zero-Copy Serialization Format (github.com)

194. 救命啊，我的網站太小了 Lobste Comment

12-20 Help my website is too small (lukeplant.me.uk)

195. 8位波萊羅（全球最宏大的芯片音樂？） Lobste Comment

12-20 8-bit Boléro (the world’s most ambitious chiptune?) (linusakesson.net)

196. 致Raycast的情書 Lobste Comment

12-20 A love letter to Raycast (rmoff.net)

197. 黑客新聞：誠實版 Lobste Comment

12-20 Hacker News: Honest Edition (dosaygo-studio.github.io)

198. 構建透明密鑰服務器 Lobste Comment

12-19 Building a Transparent Keyserver (words.filippo.io)

199. map::operator[] 應當為 nodiscard Lobste Comment

12-19 map::operator[] should be nodiscard (quuxplusone.github.io)

200. 有限狀態轉換器用於置換鑲嵌 Lobste Comment

12-19 Finite-state transducers for substitution tilings (arxiv.org)

201. 用Rust語言編寫的WireGuard實現 Lobste Comment

12-19 WireGuard implementation written in Rust (mullvad.net)

202. 租賃衛士：正確處理筏板租賃 Lobste Comment

12-19 LeaseGuard: Raft Leases Done Right (emptysqua.re)

203. 當視角欺騙：Rust中的變量模式掉落腳槍 Lobste Comment

12-19 When Scope Lies: The Wildcard Pattern Drop Footgun in Rust (obeli.sk)

204. 動手吧，自己託管 Postgres Lobste Comment

12-19 Go ahead, self-host Postgres (pierce.dev)

205. 在Apple Music上創建並播放音樂播放列表 Lobste Comment

12-19 generate and play music playlists on apple music (github.com)

206. 重塑撥號調制解調器（2019） Lobste Comment

12-19 Reinventing the dial-up modem (2019) (saket.me)

207. Ruby 中不存在布爾值（2022） Lobste Comment

12-19 Booleans don''t exist in Ruby (2022) (thoughtbot.com)

208. 一個測試難題 Lobste Comment

12-19 A testing conundrum (nedbatchelder.com)

209. 提示緩存：大型語言模型令牌成本降低10倍，但如何實現？ Lobste Comment

12-19 Prompt caching: 10x cheaper LLM tokens, but how? (ngrok.com)

210. LionsOS 設計、實現與性能 Lobste Comment

12-19 LionsOS Design, Implementation and Performance (arxiv.org)

211. pg_textsearch：PostgreSQL BM25相關性排序全文搜索擴展 Lobste Comment

12-19 pg_textsearch: PostgreSQL extension for BM25 relevance-ranked full-text search (github.com)

212. 我首次通過代理構建取得勝利 Lobste Comment

12-19 My first win building with agents (olano.dev)

213. 拜託你他媽試試HTMX Lobste Comment

12-19 Please Just Fucking Try HTMX (pleasejusttryhtmx.com)

214. 如何用一個簡單技巧破解Discord、Vercel等平臺 Lobste Comment

12-19 how to hack discord, vercel and more with one easy trick (kibty.town)

215. 停止丟失意圖：Rust 中的缺席、空值與值 Lobste Comment

12-19 Stop Losing Intent: Absent, Null, and Value in Rust (minikin.me)

216. headson：結構化數據的頭/尾處理工具——支持JSON/YAML及源代碼的摘要/預覽功能 Lobste Comment

12-19 headson: head/tail for structured data - summarize/preview JSON/YAML and source code (github.com)

217. dogalog：基於Prolog的實時編碼音樂環境 Lobste Comment

12-19 dogalog: Prolog-based livecoding music environment (github.com)

218. 充分利用位數組 Lobste Comment

12-19 Making the Most of Bit Arrays (gearsco.de)

219. 我被黑了，我的服務器今早開始挖門羅幣了 Lobste Comment

12-19 I got hacked, my server started mining Monero this morning (blog.jakesaunders.dev)

220. 硬件認證的Nix構建 Lobste Comment

12-19 Hardware-Attested Nix Builds (garnix.io)

221. Tuitar——便攜式吉他訓練工具與DIY套裝 Lobste Comment

12-19 Tuitar – A portable guitar training tool and DIY kit (github.com)

222. 你的工作是交付經過驗證的可運行代碼。 Lobste Comment

12-19 Your job is to deliver code you have proven to work (simonwillison.net)

223. 部分內聯 Lobste Comment

12-18 Partial inlining (xania.org)

224. TOML 1.1.0 版本發佈 Lobste Comment

12-18 TOML 1.1.0 released (github.com)

225. 親愛的ACM，你搞錯了人工智能的方向，但你仍有機會做對。 Lobste Comment

12-18 Dear ACM, you''re doing AI wrong but you can still get it right (anil.recoil.org)

226. 通過ND6路由器通告實現遠程代碼執行 Lobste Comment

12-18 Remote code execution via ND6 Router Advertisements (www.freebsd.org)

227. OBS Studio獲得全新渲染器：OBS如何採用Metal技術 Lobste Comment

12-18 OBS Studio Gets A New Renderer: How OBS Adopted Metal (obsproject.com)

228. NVMe 並非硬盤（2021） Lobste Comment

12-18 NVME is not a hard disk (2021) (blog.koehntopp.info)

229. 微軟悄然終止IntelliCode服務，轉而推廣付費版Copilot Lobste Comment

12-18 Microsoft quietly kills IntelliCode in favor of the paid Copilot (visualstudiomagazine.com)

230. lightning-extra：適用於雲原生機器學習的PyTorch Lightning插件與實用工具 Lobste Comment

12-18 lightning-extra: PyTorch Lightning plugins and utilities for cloud-native machine learning (github.com)

231. 交互式流體排版 Lobste Comment

12-18 Interactive Fluid Typography (electricmagicfactory.com)

232. 環空間：人類網絡構想 Lobste Comment

12-18 Ringspace: A Proposal for the Human Web (taggart-tech.com)

233. 多媒體素描本 Lobste Comment

12-18 A Multimedia Sketchpad (beyondloom.com)

234. 在kakoune中安全配置本地設置 Lobste Comment

12-18 secure local configuration in kakoune (ficd.sh)

235. 介紹 Qt 任務樹模塊，作為 Qt 6.11 的一部分 Lobste Comment

12-18 Introducing the Qt Task Tree Module, Part of Qt 6.11 (www.qt.io)

236. 2026年1月：提示詞發佈 Lobste Comment

12-18 Genuary 2026: Prompts Released (genuary.art)

237. 內聯 - 終極優化 Lobste Comment

12-18 Inlining - the ultimate optimisation (xania.org)

238. 選擇性應用函子 Lobste Comment

12-18 Selective Applicative Functors (blog.veritates.love)

239. 圖形驅動程序如何工作？ Lobste Comment

12-18 How do graphics drivers work? (timur.hu)

240. Linux內核Rust代碼首次出現CVE漏洞 Lobste Comment

12-18 Linux Kernel Rust Code Sees Its First CVE Vulnerability (www.phoronix.com)

241. 朝日Linux進展報告：Linux 6.18 Lobste Comment

12-17 Asahi Linux Progress Report: Linux 6.18 (asahilinux.org)

242. 固態硬盤的數據庫是什麼樣子的？ Lobste Comment

12-18 What Does a Database for SSDs Look Like? (brooker.co.za)

243. Loro-extended：一套用於構建本地優先應用程序和多智能體系統的工具包，基於Loro框架 Lobste Comment

12-17 loro-extended: A toolkit for building local-first applications and multi-agent systems with Loro (github.com)

244. 在Hacktoberfest期間維護開源軟件 Lobste Comment

12-17 Maintaining an open source software during Hacktoberfest (crocidb.com)

245. IRC的ping超時問題怎麼會演變成一場訴訟？ Lobste Comment

12-17 How did IRC ping timeouts end up in a lawsuit? (mjg59.dreamwidth.org)

246. 黑客新聞網站對其他人也無法訪問嗎？ Lobste Comment

12-17 Hacker News down for anyone else? (lobste.rs)

247. 基於Docker構建更安全的容器生態系統：免費強化版Docker鏡像 Lobste Comment

12-17 A Safer Container Ecosystem with Docker: Free Docker Hardened Images (www.docker.com)

248. 關於類型系統的錯誤問題 Lobste Comment

12-17 The Wrong Question About Type Systems (furkan3ayraktar.github.io)

249. 原始的Mozilla"恐龍"標誌設計稿 Lobste Comment

12-17 The original Mozilla "Dinosaur" logo artwork (www.jwz.org)

250. 沒錯，通行密鑰依然存在問題 Lobste Comment

12-17 Yep, Passkeys Still Have Problems (fy.blackhats.net.au)

251. 推特（很可能）正在爬網收集互聯網數據用於人工智能 Lobste Comment

12-17 How Twitter is (probably) crawling the Internet for AI (kitsunemimi.pw)

252. 日誌級別''error''應表示存在需要修復的問題 Lobste Comment

12-17 Log level ''error'' should mean that something needs to be fixed (utcc.utoronto.ca)

12-17 Short-Circuiting Correlated Subqueries in SQLite (emschwartz.me)

254. 動態數組結構綜述 Lobste Comment

12-17 A Survey of Dynamic Array Structures (azmr.uk)

255. 保守秘密，或（不到兩週前） Lobste Comment

12-17 Keeping secrets, or (less than two weeks ago) (kellett.im)

256. 克里斯：使用Zig交叉編譯Janet項目 Lobste Comment

12-17 kris: Cross-compile Janet projects with Zig (github.com)

257. 人工智能與GNOME Shell擴展 Lobste Comment

12-17 AI and GNOME Shell Extensions (blogs.gnome.org)

258. qjp - 將任何json文件轉換為快速TUI菜單 Lobste Comment

12-17 qjp - turn any json file into a quick TUI menu (github.com)

259. Opus 1.6 發佈 Lobste Comment

12-17 Opus 1.6 Released (opus-codec.org)

260. 調用所有參數 Lobste Comment

12-17 Calling all arguments (xania.org)

261. 最小可行基準（用於評估大型語言模型） Lobste Comment

12-17 Minimum Viable Benchmark (for evaluating LLMs) (blog.nilenso.com)

262. 語言服務器之地的冒險 Lobste Comment

12-17 Adventures in the land of Language Servers (speakerdeck.com)

263. FreeBSD 接納端口：maomao Lobste Comment

12-17 FreeBSD adopting a port: maomao (evilham.eu)

264. 我如何成為垃圾郵件載體 Lobste Comment

12-17 How I Became a Spam Vector (idiallo.com)

265. vm.overcommit_memory2 始終是正確的設置 Lobste Comment

12-17 vm.overcommit_memory2 is always the right setting (ariadne.space)

266. ty：一款極其快速的 Python 類型檢查器和語言服務器 Lobste Comment

12-17 ty: An extremely fast Python type checker and language server (astral.sh)

267. IP.THC.ORG - 反向DNS、子域名及CNAME查詢 Lobste Comment

12-17 IP.THC.ORG - Reverse-DNS, Subdomain and CNAME Lookups (ip.thc.org)

268. 無圖形API Lobste Comment

12-17 No Graphics API (www.sebastianaaltonen.com)

269. Rust GCC 後端：為何及如何實現 Lobste Comment

12-16 Rust GCC backend: Why and how (blog.guillaume-gomez.fr)

270. 確定型尼克斯3.0 Lobste Comment

12-17 Determinate Nix 3.0 (determinate.systems)

271. GitHub Actions 定價變更 Lobste Comment

12-17 Pricing changes for GitHub Actions (resources.github.com)

272. 隊列 - 基於文件的工作隊列 Lobste Comment

12-17 File d''attente - file-based job queue (git.sr.ht)

273. gh-actions-lockfile：為 GitHub Actions 生成並驗證鎖定文件 Lobste Comment

12-17 gh-actions-lockfile: generate and verify lockfiles for GitHub Actions (gh-actions-lockfile.net)

274. [JetBrains] Fleet 的未來 Lobste Comment

12-17 The Future of [JetBrains] Fleet (blog.jetbrains.com)

275. 奧丁最被誤解的功能：context - gingerBill Lobste Comment

12-17 Odin''s Most Misunderstood Feature: context - gingerBill (www.gingerbill.org)

276. 或許可以考慮在CUDA/Triton內核中加入Cutlass功能 Lobste Comment

12-17 Maybe consider putting cutlass in your CUDA/Triton kernels (maknee.github.io)

277. Biscuit 是 PostgreSQL 專用的索引，用於快速模式匹配 LIKE 查詢。 Lobste Comment

12-16 Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries (github.com)

278. 共同理解的幻覺 Lobste Comment

12-16 The Illusion of Shared Understanding (highimpactengineering.substack.com)

279. 認識 exe.dev，現代虛擬機 Lobste Comment

12-16 Meet exe.dev, modern VMs (blog.exe.dev)

280. HTML 2025現狀調查結果 Lobste Comment

12-16 State of HTML 2025 results (2025.stateofhtml.com)

281. 宣佈推出 Vojtux——一款幾乎純粹基於 Fedora 的無障礙 Linux 發行版 Lobste Comment

12-16 Announcing Vojtux - Accessible Linux distro which is almost pure Fedora (www.freelists.org)

282. 優化對策 Lobste Comment

12-16 Optimization Countermeasures (mcyoung.xyz)

283. 法線重訪：計算機圖形學中已知法線變換的再探討（2019） Lobste Comment

12-16 normals_revisited: revisiting a known normal transformation in computer graphics (2019) (github.com)

284. 工具安全：一本精美的Zine雜誌（2017） Lobste Comment

12-16 Tool Safety: A Beautiful Soup zine (2017) (www.crummy.com)

285. Nemotron 3 Nano 技術報告 Lobste Comment

12-16 Nemotron 3 Nano Technical Report (research.nvidia.com)

286. Servo十一月更新：月度版本、上下文菜單、並行CSS解析等 Lobste Comment

12-16 November in Servo: monthly releases, context menus, parallel CSS parsing, and more (servo.org)

287. SSH服務的全局已知主機文件 Lobste Comment

12-16 global known_hosts for ssh services (knownhosts.net)

288. 單次通過哈夫曼編碼 Lobste Comment

12-16 Single-Pass Huffman Coding (doisinkidney.com)

289. 託瓦茲談Linux安全模塊 Lobste Comment

12-16 Torvalds On Linux Security Modules (www.phoronix.com)

290. 使用Qt、QML和Rust（以及C）編寫一個赤裸裸的Telegram克隆程序。 Lobste Comment

12-16 Writing a blatant Telegram clone using Qt, QML and Rust. And C (kemble.net)

291. "你就是那個嗎？"就是白撿的錢 Lobste Comment

12-16 "Are you the one?" is free money (blog.owenlacey.dev)

292. 我只是在玩玩而已 Lobste Comment

12-16 i''m just having fun (jyn.dev)

293. Radicle：基於Git的點對點協作工具 Lobste Comment

12-16 Radicle: peer-to-peer collaboration with Git (lwn.net)

294. Vixen 的表達式語言 Lobste Comment

12-16 An expression language for Vixen (raku-advent.blog)

295. 號稱"超級安全"的MAGA主題通訊應用洩露所有用戶手機號碼 Lobste Comment

12-16 "Super secure" MAGA-themed messaging app leaks everyone''s phone number (ericdaigle.ca)