3. Python 3.14 中的新解釋器免費提升了速度 A new interpreter in Python 3.14 delivers a free speed boost (www.infoworld.com)
5. CMU 17-712:神奇的蟲子和如何找到它們 CMU 17-712: Fantastic Bugs and How to Find Them (cmu-fantastic-bugs.github.io)
6. 對萊昂納德-理查德森(RMM 的成名人物)的回顧性採訪 A Retrospective Interview w/Leonard Richardson (of RMM fame) (htmx.org)
10. sapf:--使用懶列表和類似 APL 的自動映射進行音頻合成的類 Forth 語言 sapf: - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping (github.com)
14. Meshtastic:利用低功耗設備進行分散式通信 Meshtastic: decentralized communication with low-power devices (lwn.net)
15. 樹莓派 RP2040 速度意外提升,解鎖 200MHz 官方模式 The Raspberry Pi RP2040 Gets a Surprise Speed Boost, Unlocks an Official 200MHz Mode (www.hackster.io)
16. 我們相信您已經收到了本地系統管理員的例行講座 We trust you have received the usual lecture from the local System Administrator (lobste.rs)
17. 通過基於屬性的測試揭開 Rust 中單子的神秘面紗 Demystifying monads in Rust through property-based testing (sunshowers.io)
20. 在 Rust 中構建自己的 SQLite,第 5 部分:評估查詢 Build your own SQLite in Rust, Part 5: Evaluating queries (blog.sylver.dev)
21. 實用合金:正式軟件設計實踐指南 Practical Alloy: A hands-on guide to formal software design (practicalalloy.github.io)
22. Typst 0.13 現已發佈:實驗性 HTML 導出、語義段落等 Typst 0.13 is out now: Experimental HTML export, semantic paragraphs, and more (typst.app)
23. modview:輕鬆可視化包含 Go 項目所有外部依賴關係的 mod 圖 modview: Effortlessly visualize mod graph with all external dependencies for your Go projects (github.com)
24. 不完美的系統其實很好藍天的有損時間線 When Imperfect Systems are Good, Actually: Bluesky’s Lossy Timelines (jazco.dev)
27. 著名開源項目代碼示例集 (2021) A collection of code examples from prominent open-source projects (2021) (codecatalog.org)
29. 歐洲大型空間級 FPGA 的開源 FPGA 工具鏈 An open source FPGA toolchain for a large European space-grade FPGA (blog.yosyshq.com)
31. 使用測試/同步測試工具測試併發代碼 - Go 編程語言 Testing concurrent code with testing/synctest - The Go Programming Language (go.dev)
33. 格雷格-克羅阿-哈曼(Greg Kroah-Hartman)提出了用 Rust 編寫新 Linux 內核驅動程序的令人信服的理由 Greg Kroah-Hartman Makes A Compelling Case For New Linux Kernel Drivers To Be Written In Rust (www.phoronix.com)
38. 俄羅斯網絡釣魚活動利用 Signal 的設備鏈接功能 Russian phishing campaigns exploit Signal''s device-linking feature (www.bleepingcomputer.com)
51. 通用葡萄酒/質子開發員(開放源碼程序員) General Wine/Proton Developer (Open-Source Programmer) (www.codeweavers.com)
54. 用 SQL/PGQ 在 Postgresql 中表示圖形 Representing graphs in Postgresql with SQL/PGQ (www.enterprisedb.com)
55. 克里斯-比斯卡迪:小實驗的成長(與拉斯特和貝維一起) Chris Biscardi: Growing little experiments (with Rust & Bevy) (www.youtube.com)
56. 針對 OpenSSH 支持 VerifyHostKeyDNS 的客戶端的 MitM 攻擊 MitM attack against OpenSSH''s VerifyHostKeyDNS-enabled client (marc.info)
58. 這些年的 Common Lisp:2023-2024 年回顧 These years in Common Lisp: 2023-2024 in review (lisp-journey.gitlab.io)
59. exo software - 在計算機、智能手機或 SBC 集群上運行的分佈式 LLM 解決方案 exo software - A distributed LLM solution running on a cluster of computers, smartphones, or SBCs (www.cnx-software.com)
60. SWE-Lancer:前沿法學碩士能否從現實世界的自由軟件工程中賺取 100 萬美元? SWE-Lancer: Can Frontier LLMs Earn 1 Million from Real-World Freelance Software Engineering? (arxiv.org)
61. 日本工程師談任天堂 Switch 面臨的困難 Japanese engineers talk about difficulties they faced with the Nintendo Switch (automaton-media.com)
64. go-attention:純圍棋中的全神貫注機制和轉換器 go-attention: A full attention mechanism and transformer in pure Go (github.com)
68. 為 Linux 6.14 合併了新的 "假總線 "應用程序接口,包括 Rust 和 C 綁定功能 New "faux bus" API merged for Linux 6.14, including both Rust & C bindings (www.phoronix.com)
73. Swift 演進建議: 固定大小的數組 InlineArray Swift Evolution Proposal: InlineArray, a fixed-size array (github.com)
75. 我為什麼要在 2025 年編寫 Scheme 實現(答案就是 Async Rust) Why I''m Writing a Scheme Implementation in 2025 (The Answer is Async Rust) (maplant.com)
83. 框中鏈接:在 X 上分享信號鏈接,不會受到審查 Link in a box: Share Signal links on X without getting censored (link-in-a-box.vercel.app)
86. searchcode.com 的 SQLite 數據庫可能比你的大 6 太字節 searchcode.com’s SQLite database is probably 6 terabytes bigger than yours (boyter.org)
91. f8 - 為提高 C 語言和內存效率而設計的 8 位架構 f8 - an 8 bit architecture designed for C and memory efficiency (fosdem.org)
93. 關於詞嵌入--第 3 部分:word2vec 的秘密成分 On word embeddings - Part 3: The secret ingredients of word2vec (www.ruder.io)
96. 什麼時候 OOP 是比其他範式更有用的建模方法? When is OOP a More Useful Modelling Approach than Other Paradigms? (lobste.rs)
100. 儘管設置了超時,但仍出現 SQLITE_BUSY 錯誤時該怎麼辦? What to do about SQLITE_BUSY errors despite setting a timeout (berthub.eu)
107. GF2P8AFFINEQB 位矩陣乘法指令的意外用途 Unexpected uses of the GF2P8AFFINEQB bit matrix multiply instruction (gist.github.com)
108. logis - git 提交歷史中的自動科學日誌 logis - an automatic scientific log in your git commit history (github.com)
110. remco 是一款輕量級配置管理工具 (2023) remco is a lightweight configuration management tool (2023) (github.com)
116. Taichi:Python 中的高性能並行編程 Taichi: High-performance Parallel Programming in Python (www.taichi-lang.org)
117. 美國國家航空航天局列出了軟件開發的 10 條規則 NASA has a list of 10 rules for software development (www.cs.otago.ac.nz)
119. 使用 llm-mlx 和 Apple 的 MLX 框架在 macOS 上運行 LLM Run LLMs on macOS using llm-mlx and Apple’s MLX framework (simonwillison.net)
120. 事後分析--影響OpenStreetMap.org的網絡故障--2024年12月15日 Post-Mortem - Network Outage Affecting OpenStreetMap.org - 15 December 2024 (operations.osmfoundation.org)
121. 破解舊 ZIP 文件,幫助開放非國大 "武拉行動 "秘密密碼的源代碼 Cracking an old ZIP file to help open source the ANC''s "Operation Vula" secret crypto code (blog.jgc.org)
130. 8088 MPH 決賽:新舊CGA對比(及其他血淋淋的細節)(2015年) 8088 MPH Final: Old vs. New CGA (and Other Gory Details) (2015) (int10h.org)
131. SQLite-on-the-Server 被誤解:超大規模優於微小規模 SQLite-on-the-Server Is Misunderstood: Better At Hyper-Scale Than Micro-Scale (rivet.gg)
135. 以 10,000 美元的價格洩露任何 YouTube 用戶的電子郵件 Leaking the email of any YouTube user for 10,000 (brutecat.com)
139. 20 歲的 PSP 現在可以連接 WPA2 Wifi 網絡了 The 20 year old PSP can now connect to WPA2 Wifi Networks (wololo.net)
140. 首次分析蘋果公司的 USB 限制模式旁路(CVE-2025-24200) First analysis of Apple''s USB Restricted Mode bypass (CVE-2025-24200) (blog.quarkslab.com)
141. 為什麼客戶類型應源於查詢和片段,而不是模式? Why Your Client Types Should Derive from Queries and Fragments — Not the Schema (medium.com)
144. 在一個 NearlyFreeSpeech 網站下託管多個網站 Hosting Multiple Websites Under One NearlyFreeSpeech Site (btxx.org)
147. 使用 Go 擴展 Wasm 應用程序 - Go 編程語言 Extensible Wasm Applications with Go - The Go Programming Language (go.dev)
149. 現代編譯器如何選擇將哪些變量放入寄存器? How do modern compilers choose which variables to put in registers? (langdev.stackexchange.com)
158. 利用神經網絡求解離散化淺水方程 Solving the discretised shallow water equations using neural networks (www.sciencedirect.com)
162. 阿特金森超文本閱讀 Next 和阿特金森超文本閱讀 Mono Atkinson Hyperlegible Next and Atkinson Hyperlegible Mono (www.brailleinstitute.org)
168. 使用 Spritely Goblins 對機器部署工具進行原型開發 Prototyping a machine deployment tool with Spritely Goblins (www.terracrypt.net)
170. 開發人員在創建應用程序接口和代碼文檔時面臨的挑戰 Challenges Developers Face in Creating API and Code Documentation (www.coderabbit.ai)
172. 為什麼我創建的超個性化搜索引擎並不出色? why I built a hyper-personalized seach engine that isn''t very good (search.technomancy.us)
176. 用 PHP 加速後量子加密技術的應用 Accelerating The Adoption of Post-Quantum Cryptography with PHP (paragonie.com)
184. 用 222 行 Pulumi 構建自己的 GitHub 代碼空間替代方案 Build Your Own GitHub Codespaces Alternative in 222 Lines of Pulumi (devcontainer.community)
185. devenv 1.4:使用人工智能生成 Nix 開發者環境 devenv 1.4: Generating Nix Developer Environments Using AI (devenv.sh)
195. 質疑評估非加密哈希函數的標準 Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions (cacm.acm.org)
197. schemesh:將 Unix shell 和 Lisp REPL 融合在一起 schemesh: A Unix shell and Lisp REPL, fused together (github.com)
198. 我如何利用 macOS 文件夾操作實現電腦生活自動化 How I Automated My Computer Life With macOS Folder Actions (interfacecraft.online)
199. 英國要求為 iCloud 備份加密設置後門 U.K. asks to backdoor iCloud Backup encryption (blog.cryptographyengineering.com)
210. 跳過:聲明式編碼和連續計算的反應式框架 Skip: A reactive framework to code declaratively and compute continuously (skiplabs.io)
213. Syd:Linux 安全應用程序沙箱簡介 Syd: An Introduction to Secure Application Sandboxing for Linux (fosdem.org)
217. Go 1.24 的 "omitzero "是多年來生態系統的又一最佳補充之一 Go 1.24''s omitzero is another one of the best additions to the ecosystem in years (www.jvt.me)
218. 英雄聯盟》重播的數據搜刮和逆向工程 Data scraping and reverse engineering League of Legends replays (maknee.github.io)
221. 與 Jakub Jarosz 一起學習 Go 的安全、開發和測試 Security, devops, and testing in Go with Jakub Jarosz (gopodcast.dev)
222. AWS 的系統正確性實踐:利用正式和半正式方法 Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods (dl.acm.org)
223. 使用 JavaScript 的 "using "關鍵字進行無塵室測試 Clean room tests with JavaScript''s using keyword (blog.disintegrator.dev)
226. 湯森路透在有關人工智能、版權和合理使用的早期法庭辯論中獲勝 Thomson Reuters wins an early court battle over AI, copyright, and fair use (www.theverge.com)
227. 內維快樂(內部結構的串聯說明) Intensional Joy (a concatenative account of internal structure) (pithlessly.github.io)
228. ELEET:文本和表格的高效學習查詢執行 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 窗口管理器 HOTDOG: X11 Window Manager with Windows 3.1 Hot Dog Stand, Mac Classic and Aqua UI (github.com)
234. 參考計數:比聽起來更難(2015) Reference Counting: Harder than it Sounds (2015) (www.playingwithpointers.com)
237. Windows 7:2025 年的視角(無論是否帶有玫瑰色調) Windows 7: A 2025 perspective (rose-tinted or not) (www.dedoimedo.com)
239. 使用 apt-eatmydata 為安裝增效:因為誰還需要碰撞安全? Supercharge Your Installs with apt-eatmydata: Because Who Needs Crash Safety Anyway? (balintreczey.hu)
242. 奧利奧:保護 ASLR 免受微架構攻擊 (2024) Oreo: Protecting ASLR Against Microarchitectural Attacks (2024) (arxiv.org)
246. 虛構的事實?QWERTY 鍵盤的傳奇(2013 年) Fact of Fiction? The Legend of the QWERTY Keyboard (2013) (www.smithsonianmag.com)
248. Composiphrase:類似於 Vim 的可組合編輯語言,但更有特色 Composiphrase: Composable editing language like Vim, but moreso (www.willghatch.net)
251. 在磨坊工作數字設備公司的故事 Work at the Mill: The story of Digital Equipment Corporation (www.abortretry.fail)
253. 微軟發佈基於 MIT 許可的 DocumentDB(NoSQL atop Postgres) Microsoft releases DocumentDB (NoSQL atop Postgres) under MIT license (opensource.microsoft.com)
260. GameFontLibrary 電子遊戲字體和排版數據庫 GameFontLibrary Video Game Fonts & Typography Database (www.gamefontlibrary.com)
263. 使用 EBMC 比較兩種 Verilog CPU 實現 Comparing Two Verilog CPU Implementations using EBMC (www.philipzucker.com)
264. 推出 auxcord.org - 讓朋友們在您的派對上排隊聽音樂 Launching auxcord.org - Let friends queue their music at your party (krausefx.com)
266. 我們用 Go 和 WebAssembly 代替了 React 前端 - Dagger We Replaced Our React Frontend with Go and WebAssembly - Dagger (dagger.io)
273. 遵循 IEEE 754 浮點標準的基本函數和 NOT (2020) Elementary Functions and NOT Following the IEEE 754 Floating-Point Standard (2020) (www.hlsl.co.uk)
274. Ciao Prolog 系統(以 WASM 為目標的 Prolog 實現) The Ciao Prolog System (Prolog implementation targeting WASM) (ciao-lang.org)
277. 出版了一系列 Node.js 安全編碼書籍 Published a series of Node.js Secure Coding books (www.nodejs-security.com)
280. pkarr:公鑰可尋址資源記錄(主權頂級域) pkarr: Public Key Addressable Resource Records (sovereign TLDs) (github.com)
287. 獨立情結:(人工智能)助手應該是獨立的個體,而不是傀儡 Stand Alone Complex: (AI) Assistants should be individuals, not puppets (blog.cortex.im)
291. HarmonyOS:"深藍洞察 "是 2024 年最獨特的安全新生態 HarmonyOS: "Deep Blue Insight" is the most unique new security ecology in 2024 (www.harmony-developers.com)
292. ConnectX-5 固件工具和初步分析 ConnectX-5 Firmware tooling and initial analysis (irisc-research-syndicate.github.io)
298. Linux 補丁調整 s2idle 期間的交流電插拔行為,以與 Windows 匹配 Linux Patches Adjust AC Plug/Unplug Behavior During s2idle To Match Windows (www.phoronix.com)