1. libvirt - 原始設備增量備份 Lobste Comment 06:08 libvirt - incremental backups for raw devices (abbbi.github.io)
3. 忙碌開發者的柔術指南,第二部分:如何...? Lobste Comment 12:26 Jujutsu For Busy Devs, Part 2: "How Do I...?" (maddie.wtf)
4. candyfloss:一個符合人體工程學的 Python 庫,用於運行視頻處理管道。 Lobste Comment 08:22 candyfloss: an ergonomic python library for running video pipelines (git.hella.cheap)
6. 當Flatpak的沙箱被突破:理想之外的現實安全問題 Linux Journal Lobste Comment 04:48 When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal Linux Journal (www.linuxjournal.com)
7. 向他人展示AI生成的內容是不禮貌的。 Lobste Comment 04:47 It''s rude to show AI output to people (distantprovince.by)
8. 關於矩陣批評的反思(過去一週) Lobste Comment 03:27 Reflections on Matrix criticism over the last week (youtu.be)
9. 我無法提交拉取請求,所以被錄用後自己解決了這個問題。 Lobste Comment 01:18 I couldn''t submit a PR, so I got hired and fixed it myself (www.skeptrune.com)
10. 聲明式語言是什麼(2013) Lobste Comment 02:06 What Declarative Languages Are (2013) (semantic-domain.blogspot.com)
12. 免費安全審計服務,適用於Erlang和Elixir開源項目 Lobste Comment 00:17 Free Security Audits for Erlang and Elixir open source projects (www.erlang-solutions.com)
15. Postgres 錯誤的堆棧跟蹤,帶回溯函數 Lobste Comment 08-01 Stack traces for Postgres errors with backtrace_functions (www.enterprisedb.com)
16. 使用ESP32開發板、LED燈和超聲波距離傳感器製作停車傳感器 Lobste Comment 08-01 Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor (www.poeticoding.com)
21. agendafs:用於將筆記同步到日曆的文件系統 Lobste Comment 08-01 agendafs: A filesystem for syncing notes to your calendar (sr.ht)
23. 修復MOTU 2408並啟用ADAT功能 Lobste Comment 08-01 Resurrecting a MOTU 2408 with ADAT (women-and-dreams.blogspot.com)
24. Roadiz:基於Symfony的現代無頭內容管理系統 Lobste Comment 08-01 Roadiz : A modern headless CMS built on Symfony (github.com)
25. 年齡驗證不必成為隱私的絆腳石 Lobste Comment 08-01 Age Verification Doesn’t Need to Be a Privacy Footgun (soatok.blog)
28. C26 反射技術探索與編譯時UML Lobste Comment 08-01 C26 Reflections adventures & compile time UML (www.reachablecode.com)
29. 我們讓100多個AI模型編寫代碼。以下是通過安全測試的數量。 Lobste Comment 08-01 We Asked 100 AI Models to Write Code. Here’s How Many Failed Security Tests (www.veracode.com)
30. 不使用抽象語法樹(AST)進行解析,並通過節點海優化 Lobste Comment 08-01 Parsing without ASTs and Optimizing with Sea of Nodes (www.youtube.com)
33. 使用 Phoenix 打造自己的靜態網站生成器(2023) Lobste Comment 08-01 Crafting your own Static Site Generator using Phoenix (2023) (fly.io)
37. 分佈式數據存儲的網絡內無領導者複製 Lobste Comment 08-01 In-Network Leaderless Replication for Distributed Data Stores (www.vldb.org)
39. 安全啟動證書的更新是真實存在的,但很可能不會對您造成影響。 Lobste Comment 08-01 Secure boot certificate rollover is real but probably won''t hurt you (mjg59.dreamwidth.org)
40. Schematra:受Sinatra啟發的雞主題Web框架 Lobste Comment 08-01 Schematra: Sinatra inspired Chicken web framework (github.com)
41. 最小的可嵌入腳本語言,第一部分 Lobste Comment 08-01 The smallest embeddable scripting language, part 1 (log.schemescape.com)
43. 從挫折到力量:我們在Nixcademy的收穫 Lobste Comment 07-31 From Frustration to Power: What We Learned at Nixcademy (niteo.co)
47. 無需源代碼的性能分析——我如何診斷《Trackmania》的卡頓問題 Lobste Comment 07-31 Profiling without Source code – how I diagnosed Trackmania stuttering (larstofus.com)
48. 本地優先搜索。一個關於破碎夢想、烏托邦式用戶體驗與權衡取捨的故事。 Lobste Comment 07-31 Local-first search. A tale of frustrated dreams, utopian user experiences and calculated tradeoffs (fika.bar)
50. 為謀取暴利,黑客在銀行網絡中植入支持4G的樹莓派設備。 Lobste Comment 07-31 In search of riches, hackers plant 4G-enabled Raspberry Pi in bank network (arstechnica.com)
52. Rust 在 CGP 中的可擴展變體設計與實現 Lobste Comment 07-31 The Design and Implementation of Extensible Variants for Rust in CGP (contextgeneric.dev)
53. a5-py:五邊形地理空間索引系統 DGGS Lobste Comment 07-31 a5-py: Pentagonal geospatial indexing system DGGS (github.com)
55. 打造專屬的Minisforum N5靈感迷你NAS:全面指南 Lobste Comment 07-31 Build Your Own Minisforum N5 Inspired Mini NAS: A Comprehensive Guide (jackharvest.com)
57. 在Futhark編譯器中追蹤源代碼位置 Lobste Comment 07-31 Tracking source locations in the Futhark compiler (futhark-lang.org)
58. Go 的種族檢測器存在一個互斥鎖盲點。 Lobste Comment 07-31 Go''s race detector has a mutex blind spot (doublefree.dev)
65. 通過Perl與文字冒險遊戲互動 Lobste Comment 07-31 Interacting With Text Adventures Through Perl (entropicthoughts.com)
67. Crush:專為您的終端打造的時尚人工智能編程助手 Lobste Comment 07-31 Crush: The glamourous AI coding agent for your favourite terminal (github.com)
68. 為什麼我們需要了解LR和遞歸下降解析技術 Lobste Comment 07-31 Why We Need to Know LR and Recursive Descent Parsing Techniques (tratt.net)
69. 驗證組裝 2:內存、RISC-V、不變量裁剪與幽靈代碼 Lobste Comment 07-30 Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code (www.philipzucker.com)
71. [RFC] 上游目標支持 CHERI 啟用架構 Lobste Comment 07-30 [RFC] Upstream target support for CHERI-enabled architectures (discourse.llvm.org)
74. 在 WebAssembly 中使 libcurl 正常工作 Lobste Comment 07-30 Making libcurl work in webassembly (jeroen.github.io)
77. Opsqueue:輕量級批處理隊列,專為高負載設計 Lobste Comment 07-30 Opsqueue: lightweight batch processing queue for heavy loads (www.channable.com)
78. 您現在就是BIOS:使用Rust和KVM構建超虛擬化程序 Lobste Comment 07-30 You Are The BIOS Now: Building A Hypervisor In Rust With KVM (yeet.cx)
80. 使用Instruments優化CPU性能 Lobste Comment 07-30 Optimize CPU performance with Instruments (developer.apple.com)
81. 消除偏見:基於安全點的無偏移棧遍歷在JFR中的實現 Lobste Comment 07-30 Taming the Bias: Unbiased* Safepoint-Based Stack Walking in JFR (mostlynerdless.de)
84. 納迪姆·科貝西的《應用密碼學課程》 Lobste Comment 07-30 Nadim Kobeissi''s Applied Cryptography Course (www.youtube.com)
85. 使用XMPP進行所有通話和聊天的一個月體驗(2023) Lobste Comment 07-30 A month using XMPP for every call and chat (2023) (neilzone.co.uk)
86. 扁平化設計與寫實(“擬物化”)設計 Lobste Comment 07-30 Flat design vs realistic (“skeuomorphic”) design (www.flatisbad.com)
87. PKGBASE 移除了 FreeBSD 基礎系統功能 Lobste Comment 07-30 PKGBASE Removes FreeBSD Base System Feature (lists.freebsd.org)
88. bookmarkfs:基於FUSE的偽文件系統,用於管理網頁瀏覽器書籤。 Lobste Comment 07-30 bookmarkfs: FUSE-based pseudo-filesystem for managing web browser bookmarks (sr.ht)
89. 我想要為Wayland辯護,並解釋一個我認為大家可能忽略的關鍵點。 Lobste Comment 07-30 I want to defend Wayland here and explain a crucial piece that I think people are missing (ordinary.cafe)
90. PHP-ORT:基於機器學習的網絡推理系統 Lobste Comment 07-30 PHP-ORT: Machine Learning Inference for the Web (krakjoe.github.io)
91. 埃斯基爾·斯蒂恩伯格——我受夠了安全領域的陳規陋習。 Lobste Comment 07-30 Eskil Steenberg – I''ve had it with the security orthodoxy (www.youtube.com)
92. 類型檢查在“類型”本身是類型時是不可決定的。 Lobste Comment 07-30 Typechecking Is Undecidable When ''Type'' Is a Type (dspace.mit.edu)
93. 人工智能與Linux社區 Lobste Comment 07-30 Artificial Intelligence and the Linux Community (blogs.gnome.org)
94. 人工智能測試做得好是什麼樣子的? Lobste Comment 07-30 What does AI testing done right look like? (antithesis.com)
95. 這其實並不簡單:在《我的世界》中製作一個紅石計算器 Lobste Comment 07-30 This Was Not Really Quite Simple: Building a Redstone Calculator in Minecraft (www.youtube.com)
96. 內核腳本:面向eBPF的專用開發語言 Lobste Comment 07-30 KernelScript: DSL for eBPF-Centric Development (github.com)
99. 高級 Rust 宏與 derive-deftly Lobste Comment 07-29 Advanced Rust macros with derive-deftly (diziet.pages.torproject.net)
100. 樹莓派 RP2350 A4 步進修復 E9 GPIO 錯誤,解決閃爍問題,並引入 2MB 閃存版本 - CNX 軟件 Lobste Comment 07-29 Raspberry Pi RP2350 A4 stepping fixes E9 GPIO Erratum, glitching bugs, introduces 2MB flash variants - CNX Software (www.cnx-software.com)
102. Ethersync:點對點協作編輯本地文本文件 Lobste Comment 07-29 Ethersync: Peer-to-peer collaborative editing of local text files (github.com)
105. 使用direnv從Bitwarden加載憑據 Lobste Comment 07-29 Loading credentials from Bitwarden with direnv (ergaster.org)
107. 創建自己的備份系統 – 第2部分:構建FreeBSD備份堡壘 Lobste Comment 07-29 Make Your Own Backup System – Part 2: Forging the FreeBSD Backup Stronghold (it-notes.dragas.net)
110. 收縮層次結構:HMC 診所項目回顧 Lobste Comment 07-29 Contraction Hierarchies: HMC Clinic Project Recap (blog.appliedcomputing.io)
111. WP Cron Pixie v1.5.0 發佈:前端從 Elm 切換至 Gleam Lobste Comment 07-29 WP Cron Pixie v1.5.0 released: Front end switched from Elm to Gleam (ianmjones.com)
115. 我設計了自己的一個極其快速的遊戲直播視頻編解碼器。 Lobste Comment 07-29 I designed my own ridiculously fast game streaming video codec (themaister.net)
116. Bevy 開發中:在 Metabuild 中進行場景構建 Lobste Comment 07-29 Bevy in Production: Building Modeling at Metabuild (www.youtube.com)
120. Sploitlight:基於Spotlight的macOS TCC漏洞分析 Lobste Comment 07-29 Sploitlight: Analyzing a Spotlight-based macOS TCC vulnerability (www.microsoft.com)
121. 測試基於 GCC 的 Rust 編譯器(後端) Lobste Comment 07-29 Testing the GCC-based Rust compiler(backend) (fractalfir.github.io)
122. 關於為兒童設計應用程序用戶界面 Lobste Comment 07-29 On designing application UIs for children (shaneosullivan.wordpress.com)
127. 數字身份的“摘下面具”時刻 Lobste Comment 07-28 The Mask-Off Moment for Digital Identity (newdesigncongress.org)
128. 寄存器內SIMD:我如何將哈希表查找性能提升一倍 Lobste Comment 07-28 SIMD Within a Register: How I Doubled Hash Table Lookup Performance (maltsev.space)
130. 如何製作需要耗費大量時間和精力的網站 Lobste Comment 07-28 How to Make Websites That Will Require Lots of Your Time and Energy (blog.jim-nielsen.com)
133. 將Clazy與Clang-Tidy整合在一起 Lobste Comment 07-28 Bringing together Clazy and Clang-Tidy (alex1701c.github.io)
134. 歐盟年齡驗證應用將禁止任何未獲得谷歌授權的安卓系統。 Lobste Comment 07-28 EU age verification app to ban any Android system not licensed by Google (www.reddit.com)
136. 過去十年中的眾多 JavaScript 運行時環境 Lobste Comment 07-28 The many JavaScript runtimes of the last decade (buttondown.com)
137. Yalep - 基於精益原則的微型語言,用於教授高中數學證明 Lobste Comment 07-28 Yalep - Micro language based on Lean for teaching mathematical high-school proofs (gricad-gitlab.univ-grenoble-alpes.fr)
138. LLVM 集成彙編器:打造更優質的代碼片段 Lobste Comment 07-28 LLVM integrated assembler: Engineering better fragments (maskray.me)
141. 編程語言:應用與解釋(第3版) Lobste Comment 07-28 Programming Languages: Application and Interpretation (3rd edition) (www.plai.org)
142. 夠了,別再用AI副駕駛了!我們需要AI平視顯示器(HUD)! Lobste Comment 07-28 Enough AI copilots! We need AI HUDs (www.geoffreylitt.com)
145. IPng 網絡 - 證書透明度 - 第 1 部分 Lobste Comment 07-28 IPng Networks - Certificate Transparency - Part 1 (ipng.ch)
147. 抗議視頻被封鎖,網絡安全法正式生效 Lobste Comment 07-28 Protest footage blocked as online safety act comes into force (freespeechunion.org)
150. printSim:一個命令行 Python 程序,可將 G代碼轉換為逼真的 3D 打印機聲音。 Lobste Comment 07-28 printSim: a command-line python program that turns gcode into realistic 3d printer sound (github.com)
151. OverHAuL:利用大型語言模型優化C庫的自動化改造 Lobste Comment 07-27 OverHAuL: Harnessing Automation for C Libraries with Large Language Models (kchousos.github.io)
152. JJ VCS 工作坊:從零到英雄的速成課程 Lobste Comment 07-27 The JJ VCS Workshop: A Zero-to-Hero Speedrun (github.com)
154. CopyParty:便攜式文件服務器,支持斷點續傳上傳、重複文件刪除、WebDAV 協議及更多功能。 Lobste Comment 07-27 copyparty: portable file server with resumable uploads, dedup, WebDAV, and more (github.com)
155. 大型語言模型(LLMs)不擅長以JSON格式返回代碼。 Lobste Comment 07-27 LLMs are bad at returning code in JSON (aider.chat)
156. 使用 Nix 開發開發環境:四個快速示例 Lobste Comment 07-27 Development shells with Nix: four quick examples (michael.stapelberg.ch)
159. 快速且經濟的大容量存儲:利用LVM將硬盤緩存到固態硬盤 Lobste Comment 07-27 Fast and cheap bulk storage: using LVM to cache HDDs on SSDs (quantum5.ca)
160. 外層空間:一款專為Unix系統設計的簡單集中式補丁管理與報告工具。 Lobste Comment 07-27 exosphere: A simple centralized patch management and reporting tool for unix systems (github.com)
162. 在 Bash 中使用 ''set -e'' 時獲取有用的錯誤報告 Lobste Comment 07-27 Getting decent error reports in Bash when you''re using ''set -e'' (utcc.utoronto.ca)
163. Wren - 一種小型、快速、基於類的併發腳本語言 Lobste Comment 07-27 Wren - a small, fast, class-based concurrent scripting language (github.com)
168. clj-coll:Clojure 集合與序列在 Common Lisp 中的實現 Lobste Comment 07-26 clj-coll: Clojure collections and sequences in Common Lisp (github.com)
169. 優化帶符號距離函數的抗鋸齒效果 Lobste Comment 07-26 Perfecting anti-aliasing on signed distance functions (blog.pkh.me)
170. emacs-arei 用於 Guile 的異步集成開發環境(IDE) Lobste Comment 07-26 emacs-arei Async IDE for Guile (git.sr.ht)
172. 手繪 CGI:製作《Terrahawks》片頭動畫 Lobste Comment 07-26 Hand Drawn CGI: Animating the Terrahawks Title Sequence (www.youtube.com)
174. Heredocs 可讓您的 Bash 腳本實現自文檔化 Lobste Comment 07-26 Heredocs Can Make Your Bash Scripts Self-Documenting (holdtherobot.com)
176. 你們的大部分項目都很糟糕。請製作一些真正的遊戲。 Lobste Comment 07-26 Most of your projects are stupid. Please make some actual games (www.youtube.com)
177. 是時候讓現代CSS取代單頁應用(SPA)了。 Lobste Comment 07-26 It''s time for modern CSS to kill the SPA (www.jonoalderson.com)
179. 稀疏前沿:Transformer 大語言模型中的稀疏注意力權衡 Lobste Comment 07-26 The Sparse Frontier: Sparse Attention Trade-offs in Transformer LLMs (arxiv.org)
180. GNOME 日曆:90 天內實現無障礙訪問的新時代 Lobste Comment 07-26 GNOME Calendar: A New Era of Accessibility Achieved in 90 Days (tesk.page)
183. Rust 支持所有主流 GPU 平臺 Lobste Comment 07-26 Rust running on every major GPU platform (rust-gpu.github.io)
185. 用開源軟件(和《毀滅戰士》)讓一款十年前的自行車導航儀重獲新生 Lobste Comment 07-26 Bringing a Decade Old Bicycle Navigator Back to Life with Open Source Software (and DOOM) (raymii.org)
186. 高效計算機的Electron E1處理器——聲稱比ARM高效100倍 Lobste Comment 07-26 Efficient Computer''s Electron E1 CPU - claims 100x more efficient than ARM (morethanmoore.substack.com)
187. 單調時間與牆鍾時間在Go時間包中的實現 Lobste Comment 07-26 Monotonic and Wall Clock Time in the Go time package (victoriametrics.com)
189. 基於圖縮減實現函數式語言 Lobste Comment 07-26 Implementing a Functional Language with Graph Reduction (thma.github.io)
195. 433:如何製作一款無意義的字體 Lobste Comment 07-25 433: How to Make a Font that Says Nothing (untested.sonnet.io)
196. 那次我浪費了數週時間手動優化彙編代碼,只因我在隨機數據上進行了基準測試。 Lobste Comment 07-25 That time I wasted weeks hand optimizing assembly because I benchmarked on random data (www.vidarholen.net)
198. vet 是一個命令行工具,用於為風險較高的 curl bash 模式提供安全防護。 Lobste Comment 07-25 vet a command-line tool that acts as a safety net for the risky curl bash pattern (github.com)
201. 經過三次HTTP版本更新後,表單仍然一團糟。 Lobste Comment 07-25 Three HTTP versions later, forms are still a mess (yorickpeterse.com)
205. WebAssembly 什麼時候會支持 DOM?或者,我如何學會不再擔心並愛上膠水代碼 Lobste Comment 07-25 When Is WebAssembly Going to Get DOM Support? Or, how I learned to stop worrying and love glue code (queue.acm.org)
209. RFC 9773:ACME 續訂信息(ARI)擴展 Lobste Comment 07-25 RFC 9773: ACME Renewal Information (ARI) Extension (datatracker.ietf.org)
211. Jitsi 隱私漏洞允許一鍵隱蔽錄音和錄像 Lobste Comment 07-25 Jitsi privacy flaw that enables one-click stealth audio and video capture (zimzi.substack.com)
213. 沒有線程安全,就沒有內存安全。 Lobste Comment 07-24 There is no memory safety without thread safety (www.ralfj.de)
217. 重要提示:SQLite WAL 校驗和檢查會靜默失敗,可能導致數據丟失。 Lobste Comment 07-24 PSA: SQLite WAL checksums fail silently and may lose data (avi.im)
218. 矢量瓦片已部署在OpenStreetMap.org上。 Lobste Comment 07-24 Vector Tiles are deployed on OpenStreetMap.org (blog.openstreetmap.org)
223. systemd 258-rc1 是一個重大功能更新版本,包含新工具及超過 260 項改動。 Lobste Comment 07-24 systemd 258-rc1 Is A Massive Feature Release With New Tools, More Than 260 Changes (www.phoronix.com)
225. 定製機械鍵盤:支持操作系統定製的RGB燈光效果,兼容QMK固件。 Lobste Comment 07-24 Custom mechanical keyboard: OS-specific custom RGB lighting with QMK (quantum5.ca)
226. CVE-2025-54090:Apache HTTP 服務器:''RewriteCond expr'' 始終評估為 true Lobste Comment 07-24 CVE-2025-54090: Apache HTTP Server: ''RewriteCond expr'' always evaluates to true (github.com)
227. 工業設計的消亡與無趣電子產品的時代 Lobste Comment 07-24 The Death Of Industrial Design And The Era Of Dull Electronics (hackaday.com)
230. 分支覆蓋無法證明柯拉茨猜想 Lobste Comment 07-24 Branch Coverage Won''t Prove The Collatz Conjecture (concerningquality.com)
232. 為Fennel和Lua實現動態作用域 Lobste Comment 07-24 Implementing dynamic scope for Fennel and Lua (andreyor.st)
233. 您現在可以禁用Zed中的所有AI功能 - Zed博客 Lobste Comment 07-24 You Can Now Disable All AI Features in Zed - Zed Blog (zed.dev)
234. 我們如何發現並修復matrix.org主服務器上的Postgres數據庫損壞問題 Lobste Comment 07-24 How we discovered, and recovered from, Postgres corruption on the matrix.org homeserver (matrix.org)
235. 超函數:解決 Python 的“顏色”問題 Lobste Comment 07-24 Superfunctions: solve the "color" problem of Python (github.com)
237. 將ZFS存儲池從RAIDZ1遷移到RAIDZ2 Lobste Comment 07-23 Migrating a ZFS pool from RAIDZ1 to RAIDZ2 (mtlynch.io)
239. NPM 意外移除了 Stylus 包,導致構建和管道中斷。 Lobste Comment 07-23 NPM ''accidentally'' removes Stylus package, breaks builds and pipelines (www.bleepingcomputer.com)
241. Linux 桌面系統 20 週年(第四部分) Lobste Comment 07-23 20 years of Linux on the Desktop (part 4) (ploum.net)
242. TrackWeight:將Mac觸控板用作電子秤 Lobste Comment 07-23 TrackWeight: Use your Mac trackpad as a weighing scale (github.com)
245. 什麼是X-Forwarded-For,何時可以信任它? Lobste Comment 07-23 What is X-Forwarded-For and when can you trust it? (httptoolkit.com)
246. 使用 Debian/trixie 時可以期待什麼 Lobste Comment 07-23 What to expect from Debian/trixie (michael-prokop.at)
248. 反向代理深度解析第二部分:為何在邊緣進行HTTP解析比想象中更具挑戰性 Lobste Comment 07-23 Reverse Proxy Deep Dive Part 2: Why HTTP Parsing at the Edge Is Harder Than It Looks (startwithawhy.com)
252. 2025年啟動一個本地論壇是否可行? Lobste Comment 07-23 Is it feasible to start a local forum in 2025? (lobste.rs)
253. 人工智能編程助手正在消除編程語言障礙 Lobste Comment 07-23 AI Coding Agents Are Removing Programming Language Barriers (railsatscale.com)
254. TapTrap:基於動畫的Android系統點擊劫持攻擊 Lobste Comment 07-23 TapTrap: Animation‑Driven Tapjacking on Android (taptrap.click)
255. Python 3.14 候選版本 1 正式發佈 Lobste Comment 07-23 Python 3.14 release candidate 1 is go (pythoninsider.blogspot.com)
257. 海帶:專為熱愛HTML的開發者打造的UI庫,基於現代CSS和Web Components技術。 Lobste Comment 07-23 Kelp: A UI library for people who love HTML, powered by modern CSS and Web Components (kelpui.com)
258. 英偉達本週宣佈,他們將把CUDA軟件帶到RISC-V處理器上。 Lobste Comment 07-23 NVIDIA announced this week that they are bringing their CUDA software to RISC-V processors (www.phoronix.com)
259. 關於Game Boy遊戲卡帶的工作原理,比你想象中要多得多 Lobste Comment 07-23 More than you wanted to know about how Game Boy cartridges work (abc.decontextualize.com)
261. 介紹 swift-erlang-actor-system Lobste Comment 07-23 Introducing swift-erlang-actor-system (forums.swift.org)
263. 驗證的不對稱性與驗證者定律 Lobste Comment 07-23 Asymmetry of verification and verifier’s law (www.jasonwei.net)
265. 信賴確定性執行,實現系統擴展與簡化 Lobste Comment 07-23 Trust Deterministic Execution to Scale & Simplify Your Systems (www.youtube.com)
268. 利用更少數據檢測有機汙染物 Lobste Comment 07-22 Detecting Organic Contaminants With Less Data (mirawelner.com)
269. Fedora 必須(謹慎地)擁抱 Flathub Lobste Comment 07-22 Fedora Must (Carefully) Embrace Flathub (blogs.gnome.org)
270. 比較Glove80和Maltron鍵盤 Lobste Comment 07-22 Comparing the Glove80 and Maltron keyboards (tratt.net)
271. OpenAI 將靜默內容生成並標記為“ترجمة نانسي قنقر”,意為“由 Nancy Qunqar 翻譯”。 Lobste Comment 07-22 OpenAI hallucinates silences as "ترجمة نانسي قنقر", meaning "Translation by Nancy Qunqar" (news.ycombinator.com)
272. 一個自託管的、原生BSD的Gemini協議服務器堆棧 – BSD咖啡館期刊 Lobste Comment 07-22 A Self-hosted, BSD-native Gemini Protocol Server Stack – The BSD Cafe Journal (journal.bsd.cafe)
274. 基於pypcode語義的Python半自動裝配驗證 Lobste Comment 07-22 Semi-Automated Assembly Verification in Python using pypcode Semantics (www.philipzucker.com)
275. devenv 1.8:進度 TUI、SecretSpec 集成、任務列表和更小的容器 Lobste Comment 07-22 devenv 1.8: Progress TUI, SecretSpec Integration, Listing Tasks, and Smaller Containers (devenv.sh)
276. 一種用於非常小語言的解析器和解釋器 Lobste Comment 07-22 A parser and interpreter for a very small language (blog.ploeh.dk)
277. 對Hindley-Milner類型推斷的草率介紹 Lobste Comment 07-22 A reckless introduction to Hindley-Milner type inference (reasonableapproximation.net)
281. Gemini的深度思考增強版在國際數學奧林匹克競賽中正式達到金牌標準。 Lobste Comment 07-22 Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad (deepmind.google)
283. 氛圍編碼失控:安全使用AI的5條規則 Lobste Comment 07-22 Vibe Coding Gone Wrong: 5 Rules for Safely Using AI (cybercorsairs.com)
284. 在大型語言模型時代開發編程語言 Lobste Comment 07-22 Working on a Programming Language in the Age of LLMs (ryelang.org)
285. 利用鉤子自動化消除克勞德的壞習慣 提前寫入日誌 (b)Log Lobste Comment 07-22 Automating Away Claude''s Bad Habits with Hooks Write-Ahead (b)Log (writeaheadblogg.ing)
288. cppq:簡單、可靠且高效的分佈式任務隊列,適用於 C17 Lobste Comment 07-22 cppq: Simple, reliable & efficient distributed task queues for C17 (github.com)
291. 逆向工程分析阿波羅飛船的神秘“Up-Data Link Test Set”測試裝置 Lobste Comment 07-22 Reverse engineering the mysterious Up-Data Link Test Set from Apollo (www.righto.com)
292. connmap:一個X11桌面小工具,實時在世界地圖上顯示您當前網絡中所有對等節點的地理位置。 Lobste Comment 07-21 connmap: X11 desktop widget that shows location of your current network peers on a world map in real-time (github.com)
293. LL和LR解析揭秘(2013) Lobste Comment 07-21 LL and LR Parsing Demystified (2013) (blog.reverberate.org)
294. 裡克滾動 Turso 數據庫(SQLite 到 Rust 的重寫) Lobste Comment 07-21 Rickrolling Turso DB (SQLite rewrite in Rust) (avi.im)
295. XML夏季學校,牛津。2025年9月14日至19日。 Lobste Comment 07-21 XML Summer School, Oxford. 14th to 19th Sept 2025 (xmlsummerschool.org)
298. 變壓器模型解析:大型語言模型(LLM)變壓器模型可視化解釋 Lobste Comment 07-21 Transformer Explainer: LLM Transformer Model Visually Explained (poloclub.github.io)
299. “我為什麼想離開”清單 Lobste Comment 07-21 The "Why I want to leave" list (blog.incrementalforgetting.tech)
300. Gren 25S:更輕鬆的互操作性、併發任務和零安裝包 Lobste Comment 07-21 Gren 25S: Easier interop, concurrent tasks and zero-install packages (gren-lang.org)