3. 地獄驗證碼:最糟糕的無障礙劇場 Lobste Comment 05:27 HellCaptcha: Accessibility Theater at Its Worst (fireborn.mataroa.blog)
4. 用 Rust 重新審視 C 中的循環識別功能 Lobste Comment 07:17 Revisiting Loop Recognition in C... in Rust (blomqu.ist)
5. Grog:為具有 Grug 思維的開發人員提供的單重載版本構建工具 Lobste Comment 06:04 Grog: the mono-repo build tool for the grug-brained dev (grog.build)
6. Instacart 如何在 Postgres 上構建現代搜索基礎架構 Lobste Comment 05:40 How Instacart Built a Modern Search Infrastructure on Postgres (tech.instacart.com)
8. 網絡開發應該學習哪種新語言? Lobste Comment 04:51 Which New Language Should I Learn for Web Development? (mtlynch.io)
10. 讓 openat(2) 和朋友們在實踐中更有用 Lobste Comment 04:05 Making openat(2) and friends more useful in practice (undeadly.org)
11. Kea DHCP:許多 Linux 和 BSD 發行版中的本地漏洞 Lobste Comment 03:53 Kea DHCP: Local Vulnerabilities in many Linux and BSD Distributions (security.opensuse.org)
12. 亞馬遜網絡服務的系統正確性實踐 Lobste Comment 02:28 Systems Correctness Practices at Amazon Web Services (cacm.acm.org)
13. 如何利用索引數據庫施展魔法 [2014] Lobste Comment 02:04 How to do some magic with indexedDB [2014] (www.codeproject.com)
14. 即將到來的分佈式系統人工智能革命 Lobste Comment 01:21 The Coming AI Revolution in Distributed Systems (zfhuang99.github.io)
16. 引導 HTTP/1.1、HTTP/2 和 HTTP/3 Lobste Comment 00:41 Bootstrapping HTTP/1.1, HTTP/2, and HTTP/3 (www.netmeister.org)
17. 我優化了我們的代理服務器,以處理 10 億個數據庫 Lobste Comment 05-29 I optimized our proxy server to handle one billion databases (turso.tech)
19. 使用網絡瀏覽器作為終端的理由 Lobste Comment 05-29 The case for using a web browser as your terminal (blog.pomdtr.me)
20. Pico-mac-nano:微型 Macintosh 仿真器 Lobste Comment 05-29 Pico-mac-nano: a diminutive Macintosh facsimile (blog.1bitrainbow.com)
24. 為什麼你的人工智能編碼助手總是做錯,以及如何修復? Lobste Comment 05-29 Why Your AI Coding Assistant Keeps Doing It Wrong, and How To Fix It (blog.thepete.net)
25. MCP 規範草案的第一版徵詢意見 Lobste Comment 05-29 First version of Elicitation to the MCP draft specification (modelcontextprotocol.io)
26. 弗朗索瓦-勒內-裡多:正交持久性模型 Lobste Comment 05-29 François-René Rideau: Orthogonal Persistence, the Model (www.youtube.com)
27. SourceHut 正在做什麼?Q2 2025 Lobste Comment 05-29 What''s cooking on SourceHut? Q2 2025 (sourcehut.org)
30. 將 Terraria 和 Celeste 移植到 WebAssembly Lobste Comment 05-29 Terraria and Celeste ported to WebAssembly (velzie.rip)
31. OpenBao v2.3 現已支持命名空間(HashiCorp Vault fork) Lobste Comment 05-29 OpenBao v2.3 now supports Namespaces (HashiCorp Vault fork) (openbao.org)
32. JavaScript 框架渲染 DOM 的三種方式 Lobste Comment 05-29 The 3 Ways JavaScript Frameworks Render the DOM (www.youtube.com)
37. 利用假堆棧溢出進行零開銷檢查 Lobste Comment 05-29 Zero-overhead checks with fake stack overflows (bernsteinbear.com)
40. ES6 功能相對於 ES5 基準每秒操作數的性能(2022 年) Lobste Comment 05-29 Performance of ES6 features relative to the ES5 baseline operations per second (2022) (incaseofstairs.com)
43. 利用 SAT 獲得 LinkedIn 皇后世界紀錄 Lobste Comment 05-29 Using SAT to Get the World Record on LinkedIn''s Queens (ryanberger.me)
44. 編譯器資源管理器和永久 URL 的承諾 Lobste Comment 05-29 Compiler Explorer and the Promise of URLs That Last Forever (xania.org)
45. 2024 年 Medley Interlisp 年度報告 Lobste Comment 05-28 2024 Medley Interlisp Annual Report (interlisp.org)
53. 將神經網絡編譯成 C 語言,速度提高 1744 倍 Lobste Comment 05-29 Compiling a Neural Net to C for a 1,744 speedup (slightknack.dev)
54. LLM Codegen go Brrr - 利用 Git 工作樹和 Tmux 實現並行化 Lobste Comment 05-28 LLM Codegen go Brrr – Parallelization with Git Worktrees and Tmux (www.skeptrune.com)
58. 既不是 if,也不是 while;既不是 map,也不是 reduce Lobste Comment 05-28 Neither if nor while; neither map nor reduce (www.klaro.cards)
60. 受 Emacs、Plan 9、Erlang、超媒體和 Unix 啟發的個人軟件運行時 Lobste Comment 05-28 A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix (github.com)
61. WebGPU 流體模擬:高性能和實時渲染 Lobste Comment 05-28 WebGPU Fluid Simulations: High Performance & Real-Time Rendering (tympanus.net)
62. 為什麼 2025/05/28 和 2025-05-28 在 JavaScript 中是不同的日子? Lobste Comment 05-28 Why are 2025/05/28 and 2025-05-28 different days in JavaScript? (brandondong.github.io)
63. 關於 JavaScript "工作證明 "防抓取系統的思考 Lobste Comment 05-28 A thought on JavaScript "proof of work" anti-scraper systems (utcc.utoronto.ca)
64. 團隊的 Vibe 編碼,迄今為止的想法 Lobste Comment 05-28 Vibe coding for teams, thoughts to date (laughingmeme.org)
65. 火狐 139 添加實驗性人工智能鏈接預覽功能 Lobste Comment 05-28 Firefox 139 adds experimental AI-powered link previews (9to5mac.com)
69. OpenTPU:TPU 的開源再實現 Lobste Comment 05-28 OpenTPU: Open source reimplementation of TPU (github.com)
70. 為什麼最初的 Macintosh 屏幕分辨率是 512x342,而不是想象中的 512x384 Lobste Comment 05-28 Why the Original Macintosh Had a Screen Resolution of 512x342, and not 512x384 as One Might Expect (512pixels.net)
73. 大型語言模型可通過 LLM 0.26 在終端運行工具 Lobste Comment 05-28 Large Language Models can run tools in your terminal with LLM 0.26 (simonwillison.net)
74. Scrappy:為你和你的朋友製作小應用程序 Lobste Comment 05-28 Scrappy: make little apps for you and your friends (pontus.granstrom.me)
76. 只需擴大規模:極光 DSQL 的故事 Lobste Comment 05-28 Just make it scale: An Aurora DSQL story (www.allthingsdistributed.com)
82. zlib-rs 中的 SIMD(第 2 部分):compare256 - 博客 - Tweede golf Lobste Comment 05-28 SIMD in zlib-rs (part 2): compare256 - Blog - Tweede golf (tweedegolf.nl)
83. Pyrefly vs. ty:比較 Python 的兩種基於 Rust 的新類型檢查器 Lobste Comment 05-28 Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers (blog.edward-li.com)
85. 檢查 github 組織所有資源庫中 CODEOWNERS 文件的腳本 Lobste Comment 05-27 Script to check CODEOWNERS files in all repositories of a github-organisation (github.com)
86. BGP 處理錯誤導致互聯網路由普遍不穩定 Lobste Comment 05-27 BGP handling bug causes widespread internet routing instability (blog.benjojo.co.uk)
88. 使用數據庫從零開始到全棧格林 Lobste Comment 05-27 From Zero to Full Stack Gren with a Database (www.youtube.com)
89. LiveStore 是下一代狀態管理框架,基於反應式 SQLite 和受 git 啟發的同步(通過事件源)。 Lobste Comment 05-27 LiveStore is a next-generation state management framework based on reactive SQLite and git-inspired syncing (via event-sourcing) (livestore.dev)
91. 愛恨情仇與奧特爾:使用奧特爾,避免複雜性 Lobste Comment 05-27 love-hate and otel: using it while avoiding complexity (github.com)
95. Hacker News 現在可在 Common Lisp 上運行 Lobste Comment 05-27 Hacker News now runs on top of Common Lisp (lisp-journey.gitlab.io)
96. 微型模型,本地節流閥:探索我的本地人工智能開發設置 Lobste Comment 05-27 Tiny Models, Local Throttles: Exploring My Local AI Dev Setup (blog.nilenso.com)
98. 自動售貨機:自主代理的長期一致性基準 Lobste Comment 05-27 Vending-Bench: A Benchmark for Long-Term Coherence of Autonomous Agents (arxiv.org)
99. Luciole Math:專為視障學生設計的字體 Lobste Comment 05-27 Luciole Math: a typeface developed explicitly for visually impaired academics (luciole-vision.com)
100. GitHub MCP 遭到攻擊:通過 MCP 訪問私有軟件源 Lobste Comment 05-27 GitHub MCP Exploited: Accessing private repositories via MCP (simonwillison.net)
101. 內存訪問模式非常重要 Lobste Comment 05-27 Memory Access Patterns Are Important (mechanical-sympathy.blogspot.com)
105. 阿米巴:20 世紀 90 年代的分佈式操作系統(1990 年) Lobste Comment 05-27 Amoeba: a distributed operating system for the 1990s (1990) (www.cs.cornell.edu)
106. LLM 時代新開發人員的非點對點軟件項目 Lobste Comment 05-27 Non-Pointless Software Projects for New Devs in the LLM Age (cprimozic.net)
108. Acronis True Image 在不使用時會降低性能 Lobste Comment 05-27 Acronis True Image Costs Performance When Not Used (randomascii.wordpress.com)
109. ash:getopts 和 "sh -c "的混合體 Lobste Comment 05-27 ash: a hybrid between getopts and ''sh -c'' (github.com)
110. jjui:Jujutsu 版本控制系統的文本用戶界面(TUI) Lobste Comment 05-27 jjui: a text user interface (TUI) for the Jujutsu version control system (github.com)
111. 單進程、多解釋器、無 GIL 競爭--Python3.12 之前的版本 Lobste Comment 05-27 Single process, multiple interpreters, no GIL contention - pre-Python3.12 (basisrobotics.tech)
112. 隔離和壓縮引用:更靈活、更高效的 GraalVM 內存管理 Lobste Comment 05-27 Isolates and compressed references: more flexible and efficient memory management for GraalVM (medium.com)
113. 在 BQN 中策劃一個 "寓教於樂 "的活動 Lobste Comment 05-26 Scheming a mise-en-abîme in BQN (panadestein.github.io)
115. DumPy:NumPy,除非你是傻瓜 Lobste Comment 05-26 DumPy: NumPy except it’s OK if you’re dum (dynomight.net)
121. 獲取數據促進有效執法問題高級別小組 Lobste Comment 05-26 High-Level Group on Access to Data for Effective Law Enforcement (edri.org)
125. 使用 Go 構建自己的分佈式系統 [2023] Lobste Comment 05-26 Build Your Own Distributed System Using Go [2023] (www.youtube.com)
127. ROCKNIX 是適用於手持遊戲設備的不可變 Linux 發行版 Lobste Comment 05-26 ROCKNIX is an immutable Linux distribution for handheld gaming devices (rocknix.org)
128. 更智能、更簡潔的 Firefox 地址欄 Lobste Comment 05-26 A smarter, simpler Firefox address bar (blog.mozilla.org)
130. 設計壓力:塑造代碼的無形之手 Lobste Comment 05-26 Design Pressure: The Invisible Hand That Shapes Your Code (hynek.me)
132. Windows 註冊表探險 #7:攻擊面分析 Lobste Comment 05-26 The Windows Registry Adventure #7: Attack surface analysis (googleprojectzero.blogspot.com)
133. 我如何用 HMPL.js 替換應用程序的 Next.js Lobste Comment 05-26 How I Replaced Next.js for My App with HMPL.js (dev.to)
134. plwm:用 Prolog 編寫的 X11 窗口管理器 Lobste Comment 05-26 plwm: An X11 window manager written in Prolog (github.com)
135. 用 100 行 Python 編寫自己的 CUPS 打印機驅動程序 Lobste Comment 05-25 Writing your own CUPS printer driver in 100 lines of Python (behind.pretix.eu)
136. UE1 自制 1 位真空計算機的運行情況 Lobste Comment 05-25 UE1 homebrew 1-bit vacuum computer in action (www.youtube.com)
140. 多連接 GROUP BY 查詢的系統設計 Lobste Comment 05-25 Systematic design of multi-join GROUP BY queries (kb.databasedesignbook.com)
141. Mathpad:學生和專業人士的數學鍵盤 Lobste Comment 05-25 Mathpad: A mathematical keypad for students and professionals (github.com)
142. 銷售正式方法的有效(和無效)方法 Lobste Comment 05-25 What Works (and Doesn''t) Selling Formal Methods (www.galois.com)
143. 從 OpenAPI 規範到 MCP:我們如何構建 Xata 的 MCP 服務器 Lobste Comment 05-25 From OpenAPI spec to MCP: how we built Xata''s MCP server (xata.io)
147. Fedora 43 已獲准搭載僅有路由器的 GNOME Lobste Comment 05-25 Fedora 43 Cleared To Ship With Wayland-Only GNOME (www.phoronix.com)
150. Hyper-G 的分層超媒體世界 Lobste Comment 05-25 The hierarchical hypermedia world of Hyper-G (oldvcr.blogspot.com)
152. GitLab Duo 中的遠程提示注入導致源代碼被盜 Lobste Comment 05-25 Remote Prompt Injection in GitLab Duo Leads to Source Code Theft (www.legitsecurity.com)
153. 沒有迪菲-赫爾曼,只有橢圓曲線迪菲-赫爾曼 Lobste Comment 05-25 There is no Diffie-Hellman but Elliptic Curve Diffie-Hellman (keymaterial.net)
154. 驗證碼對機票銷售商不再有效 Lobste Comment 05-25 CAPTCHAs don''t work any more for ticket sellers (behind.pretix.eu)
156. 工作自動化?人工智能和漏洞開發的未來 Lobste Comment 05-25 Automating Your Job? The Future of AI and Exploit Development (www.youtube.com)
157. 我如何使用 o3 發現 CVE-2025-37899--Linux 內核 SMB 實現中的遠程零日漏洞 Lobste Comment 05-25 How I used o3 to find CVE-2025-37899, a remote zeroday vulnerability in the Linux kernel’s SMB implementation (sean.heelan.io)
158. lamber:編譯為 Lambda 微積分的函數式腳本語言 Lobste Comment 05-25 lamber: functional scripting language compiling to Lambda Calculus (github.com)
161. 寵物名稱:安全、分散命名的人性化方法 Lobste Comment 05-25 Petnames: A humane approach to secure, decentralized naming (files.spritely.institute)
162. 使用 Guile Hoot 創建交互式網頁 Lobste Comment 05-25 Building interactive web pages with Guile Hoot (spritely.institute)
163. Rust 中可測試性與非發送類型的故事 Lobste Comment 05-25 A Tale of Testability and Sending Non-Send Types in Rust (geo-ant.github.io)
164. gail:人工智能驅動的 GitHub Issue Labeler Lobste Comment 05-24 gail: An AI-powered GitHub Issue Labeler (github.com)
167. 使用 Guix 容器對人工智能工具進行沙盒管理 Lobste Comment 05-24 Sandboxing AI Tools with Guix Containers (200ok.ch)
168. VS Code 中的 PostgreSQL 集成開發環境 Lobste Comment 05-24 IDE for PostgreSQL in VS Code (techcommunity.microsoft.com)
169. 為什麼我的 https 網站不再使用老式證書? Lobste Comment 05-24 Why I no longer have an old-school cert on my https site (rachelbythebay.com)
171. rqlite 10 週年:構建分佈式系統十年來的所見所聞 Lobste Comment 05-24 rqlite turns 10: Observations from a decade building Distributed Systems (philipotoole.com)
173. 逆向工程 iOS 快捷鍵深層鏈接 Lobste Comment 05-24 Reverse Engineering iOS Shortcuts Deeplinks (blog.alexbeals.com)
175. GCC 編譯器後端現在可以完全引導 Rust 編譯器了 Lobste Comment 05-24 The GCC compiler backend can now fully bootstrap the Rust compiler (old.reddit.com)
178. 將研究成果商品化(2021 年) Lobste Comment 05-24 Commoditize the Complement of Your Research (2021) (people.csail.mit.edu)
182. 保護互聯網上的表格:仍然相當困難 Lobste Comment 05-24 Securing a Form on the Internet: Still Pretty Difficult (serverascode.com)
186. 使用 FoundationDB 實現 Postgres 分佈式 Lobste Comment 05-23 Making Postgres distributed with FoundationDB (fabianlindfors.se)
188. 外殼及其處理空白的問題 (2023) Lobste Comment 05-23 The shell and its problems in handling of whitespace (2023) (blog.plover.com)
189. 無 CRDT 或 OT 的協作式文本編輯 Lobste Comment 05-23 Collaborative Text Editing without CRDTs or OT (mattweidner.com)
192. PLTDI Discord 閃電講座 2025-05 Lobste Comment 05-23 PLTDI Discord Lightning Talks 2025-05 (www.youtube.com)
194. 發佈 TypeScript 原生預覽版 Lobste Comment 05-23 Announcing TypeScript Native Previews (devblogs.microsoft.com)
197. OpenBSD IO 基準測試:有多少工作值得做? Lobste Comment 05-23 OpenBSD IO benchmarking: How Many Jobs Are Worth It? (rsadowski.de)
198. 再現阿布祖的魚群表演動畫 Lobste Comment 05-23 Recreating performant fish school animation of Abzû (youtube.com)
200. 分叉聯盟:超越 C 和 Rust 中的 OpenMP? Lobste Comment 05-23 Fork Union: Beyond OpenMP in C and Rust? (ashvardanian.com)
201. Hypersystem:超媒體系統的像素顯示字體 Lobste Comment 05-23 Hypersystem: a pixel display font for Hypermedia Systems (deniz.aksimsek.tr)
202. 利用 DuckDB 和 Plotly 實現金融數據可視化 Lobste Comment 05-23 Visualizing Financial Data with DuckDB And Plotly (www.pgrs.net)
203. 用於自動區分的 GradBench 基準套件 Lobste Comment 05-23 The GradBench Benchmark Suite for Automatic Differentiation (sigkill.dk)
205. 調試 Postgres 中的內存洩漏,heaptrack 版本 Lobste Comment 05-23 Debugging memory leaks in Postgres, heaptrack edition (www.enterprisedb.com)
208. 從 JSON 中加載 Pydantic 模型而不會耗盡內存 Lobste Comment 05-23 Loading Pydantic models from JSON without running out of memory (pythonspeed.com)
210. 投資於推動互聯網發展的因素 Mozilla 博客 Lobste Comment 05-23 Investing in what moves the internet forward The Mozilla Blog (blog.mozilla.org)
213. 使用模型上下文協議的符號代數歷險記 Lobste Comment 05-22 Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
216. 讓 rav1d 視頻解碼器快 1 Lobste Comment 05-22 Making the rav1d Video Decoder 1% Faster (ohadravid.github.io)
218. 關於 Guile、啟發式方法和堆增長的 Whippet GC 筆記 Lobste Comment 05-22 Whippet GC notes on Guile, heuristics, and heap growth (wingolog.org)
219. Transpiler 是一個毫無意義的詞 Lobste Comment 05-22 Transpiler is a meaningless word (people.csail.mit.edu)
222. Encore 的 MCP 服務器使您的人工智能工具能夠反省您的應用程序 Lobste Comment 05-22 Encore''s MCP Server enables your AI tools to introspect your application (encore.dev)
223. 根本原因分析:PostgreSQL MultiXact 成員耗盡事件 Lobste Comment 05-22 Root Cause Analysis: PostgreSQL MultiXact member exhaustion incidents (metronome.com)
224. 火狐安全隱私通訊 2025 年第一季度 Lobste Comment 05-22 Firefox Security Privacy Newsletter 2025 Q1 (attackanddefense.dev)
226. Oodle 2.9.14 和英特爾第 13/14 代 CPU Lobste Comment 05-22 Oodle 2.9.14 and Intel 13th/14th gen CPUs (fgiesen.wordpress.com)
227. libinput 準備引入基於 Lua 的插件系統以修改設備/事件 Lobste Comment 05-22 libinput Preparing To Introduce A Lua-Based Plugin System For Modifying Devices/Events (www.phoronix.com)
229. kotlin-lsp:Kotlin 語言服務器和 Visual Studio Code 插件 Lobste Comment 05-22 kotlin-lsp: Kotlin Language Server and plugin for Visual Studio Code (github.com)
230. 使用大型語言模型生成承諾信息:初步研究 Lobste Comment 05-22 Using Large Language Models for Commit Message Generation: A Preliminary Study (arxiv.org)
236. 為什麼屬性測試能發現單元測試發現不了的錯誤 [2021] Lobste Comment 05-22 Why Property Testing Finds Bugs Unit Testing Does Not [2021] (buttondown.com)
242. 介紹 Converse 11:XMPP 網絡聊天的重大飛躍 Lobste Comment 05-21 Introducing Converse 11: A Major Leap Forward for XMPP Webchat (opkode.com)
243. 沒有免費的自定義內存分配器 Lobste Comment 05-21 There Ain’t No Such Thing as a Free Custom Memory Allocator (arxiv.org)
246. Artiflakery,分發靜態 Nix 片狀人工製品的簡便方法 Lobste Comment 05-21 Artiflakery, an easy way to distribute static Nix flake artifacts (luj.fr)
248. 我的新愛好:看著人工智能慢慢把微軟員工逼瘋 Lobste Comment 05-21 My new hobby: watching AI slowly drive Microsoft employees insane (old.reddit.com)
249. 介紹 Roto:Rust 的編譯腳本語言 Lobste Comment 05-21 Introducing Roto: A Compiled Scripting Language for Rust (blog.nlnetlabs.nl)
250. 我們計算了人工智能的能源足跡。這是你沒聽過的故事 Lobste Comment 05-21 We did the math on AI’s energy footprint. Here’s the story you haven’t heard (www.technologyreview.com)
252. 我們的 Linux/Unix 之旅 Lobste Comment 05-21 Our Journey Through Linux/Unix Landscapes (blog.kalvad.com)
253. 讀取代碼仍然是調試多線程錯誤的最有效方法 Lobste Comment 05-21 Reading code is still the most effective method to debug multi-thread bug (nanxiao.me)
254. 用 Rust 中的 MASH 棧構建快速網站 Lobste Comment 05-21 Building a fast website with the MASH stack in Rust (emschwartz.me)
255. 在 Rust 中寫入未初始化的緩衝區 Lobste Comment 05-21 Writing into uninitialized buffers in Rust (blog.sunfishcode.online)
258. apply.coop--為人們匹配符合其價值觀和熱情的工作 Lobste Comment 05-21 apply.coop - Matching people with jobs that fit their values & passions (apply.coop)
259. 支持 FreeBSD 和 NetBSD Zig 交叉編譯 Lobste Comment 05-21 FreeBSD and NetBSD Zig Cross-Compilation Support (ziglang.org)
261. KrebsOnSecurity 遭受接近創紀錄的 6.3 Tbps DDoS - Krebs on Security Lobste Comment 05-21 KrebsOnSecurity Hit With Near-Record 6.3 Tbps DDoS – Krebs on Security (krebsonsecurity.com)
262. 重新思考代碼庫勝過變通辦法 Lobste Comment 05-21 When rethinking a codebase is better than a workaround (sniffnet.net)
263. 卓有成效的 Monorepo 的要素 Lobste Comment 05-21 The Ingredients of a Productive Monorepo (blog.swgillespie.me)
266. 可選的 Rust-In-FreeBSD 支持 2025 年 5 月狀態報告 Lobste Comment 05-21 Optional Rust-In-FreeBSD Support May 2025 Status Report (hardenedbsd.org)
267. 用計劃程序設計尋找 24 道難題 Lobste Comment 05-21 Finding hard 24 puzzles with planner programming (buttondown.com)
268. Jwno:用 Janet 編寫的 Windows 版平鋪 WM Lobste Comment 05-20 Jwno: a tiling WM for Windows, written in Janet (agent-kilo.github.io)
269. 訪談:Qt 項目首席維護者談語言獨立性、KDE 和從 Qt 5 到 Qt 6 的痛苦 - Qt 項目首席維護者談語言獨立性、KDE 和從 Qt 5 到 Qt 6 的痛苦 Lobste Comment 05-20 Interview: Chief maintainer of Qt project on language independence, KDE, and the pain of Qt 5 to Qt 6 • (devclass.com)
270. 一種開放式文件格式,用於存儲問題、拉動/合併請求、里程碑等鍛造信息 Lobste Comment 05-20 An Open File Format for storing the information from a forge such as issues, pull/merge requests, milestones (f3.forgefriends.org)
272. 將 OCaml 編譯到 TI-84 CE 計算器上 Lobste Comment 05-20 Compiling OCaml to the TI-84 CE Calculator (farlow.dev)
275. 地下室裡的 Lisp住在樓上的依賴類型 Lobste Comment 05-20 The Lisp in the Cellar: Dependent Types that Live Upstairs (zenodo.org)
277. 關於德諾去世的報道被嚴重誇大了 Lobste Comment 05-20 Reports of Deno''s Demise Have Been Greatly Exaggerated (deno.com)
281. jax-js 中的 jax.jit() JIT 編譯器如何工作 Lobste Comment 05-20 How the jax.jit() JIT compiler works in jax-js (ekzhang.substack.com)
282. 不是因果鏈,而是互動和適應 Lobste Comment 05-20 Not causal chains, but interactions and adaptations (surfingcomplexity.blog)
284. ircjournal:實時網絡 IRC 日誌查看器 Lobste Comment 05-20 ircjournal: Real-time web IRC log viewer (github.com)
285. 使用 WebGPU 在瀏覽器中模擬粒子生命 Lobste Comment 05-20 Particle Life simulation in browser using WebGPU (lisyarus.github.io)
290. 分佈式協議設計中模型檢查的價值 Lobste Comment 05-20 The value of model checking in distributed protocols design (protocols-made-fun.com)
291. 製作 2025 年的視頻遊戲(無需引擎) Lobste Comment 05-20 Making Video Games in 2025 (without an engine) (noelberry.ca)
292. 慢速建立網絡個人檔案 Lobste Comment 05-20 Building a personal archive of the web, the slow way (alexwlchan.net)
293. 向《2025 Spring Lisp Game Jam》提交作品 Lobste Comment 05-20 Submissions to Spring Lisp Game Jam 2025 (itch.io)
295. Ubuntu Linux 的領軍人物之一史蒂夫-蘭加塞克逝世 Lobste Comment 05-20 Steve Langasek, One of Ubuntu Linux''s Leading Lights, Has Died (thenewstack.io)
296. 依存類型理論的 Python 蛙集解說 Lobste Comment 05-20 A Python frozenset interpretation of Dependent Type Theory (www.philipzucker.com)
298. Linux 版 Windows 子系統現已開放源代碼 Lobste Comment 05-20 The Windows Subsystem for Linux is now open source (blogs.windows.com)
300. 誤導 "和 "點擊誘餌 "的新標記選項? Lobste Comment 05-19 New flag options for “misleading” and “clickbait”? (lobste.rs)