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)