2. 為 Stride 著色器系統研究 SPIR-V(第 2 部分) Investigating SPIR-V for the Stride shader system (part 2) (www.stride3d.net)
5. Rust 基金會與 AWS 計劃合作驗證 Rust 標準庫 Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries (foundation.rust-lang.org)
7. 使用 Cranelift 對 Prolog 謂詞進行本地編譯 Native compilation of Prolog predicates with Cranelift (files.adrianistan.eu)
10. DBSP:豐富查詢語言的自動增量視圖維護 DBSP: Automatic Incremental View Maintenance for Rich Query Languages (muratbuffalo.blogspot.com)
12. 互聯網會繞過損害嗎?- 波羅的海電纜被切斷 Does the Internet Route Around Damage? - Baltic Sea Cable Cuts (labs.ripe.net)
17. 研究人員首次破解 RSA 和 AES 數據加密 For the first time ever researchers crack RSA and AES data encryption (www.thebrighterside.news)
19. 一個 "真/假 "字段有多少個業務值? How Many Business Values Does a True/False Field Have? (johndehope.mataroa.blog)
23. 拉斯特基金會商標政策第 2 次糟糕草案 The Rust Foundation''s 2nd bad draft trademark policy (diziet.dreamwidth.org)
27. vim-history:非常古老的 Vim 歷史(從 v1.14 到 v6.4) vim-history: Very very old history of Vim (from v1.14 to v6.4) (github.com)
28. GitHub 為開源項目提供安全工具和建議 GitHub offering security tools, advice to Open Source Projects (github.blog)
35. 加載世界!4 小時內導入 OpenStreetMap Loading the World! OpenStreetMap Import In Under 4 Hours (www.crunchydata.com)
48. 如何在 NixOS 上使用 Common Lisp 和 C 語言庫 How to use Common Lisp on NixOS with C libraries (honza.pokorny.ca)
51. 用合金閱讀通用隔離級別定義文件 Reading the Generalized Isolation Level Definitions paper with Alloy (surfingcomplexity.blog)
54. 在 XDC 2024 上舉行展示/KMS 會議:詳細報告 Display/KMS Meeting at XDC 2024: Detailed Report (melissawen.github.io)
56. 使用 Go 和 PostgreSQL 進行測試:短暫數據庫 Testing with Go and PostgreSQL: ephemeral DBs (michael.stapelberg.ch)
59. 通過建模和模擬獲得統計特性 Obtaining statistical properties through modeling and simulation (jack-vanlightly.com)
62. 我們如何利用形式化驗證防止權威 DNS 配置中的衝突 How we prevent conflicts in authoritative DNS configuration using formal verification (blog.cloudflare.com)
65. 隱藏在 CPython 中無法觸及的 XKCD 復活節彩蛋 An Unreachable Hidden XKCD Easter Egg inside CPython (blog.codingconfessions.com)
71. BBC 導航欄組件如何根據外部顯示器的不同而損壞 How a BBC navigation bar component broke depending on which external monitor it was on (www.joshtumath.uk)
80. 在 Rust 中構建自己的 SQLite,第 3 部分:SQL 解析 101 Build your own SQLite in Rust, Part 3: SQL parsing 101 (blog.sylver.dev)
83. WebAssembly 中的一次小探險 @ Things Of Interest A small adventure in WebAssembly @ Things Of Interest (qntm.org)
86. 優化冒險:使用(或不使用)Rayon 使並行 Rust 工作負載快 10 倍 Optimization adventures: making a parallel Rust workload 10x faster with (or without) Rayon (gendignoux.com)
87. 加強 FreeBSD:通過 Synacktiv 的代碼審計解決漏洞問題 Strengthening FreeBSD: Addressing Vulnerabilities Through Synacktiv’s Code Audit (freebsdfoundation.org)
88. 在沒有構建系統的情況下導入前端 Javascript 庫 Importing a frontend Javascript library without a build system (jvns.ca)
89. 為什麼 Windows 95 設置要使用三個操作系統? Why did Windows 95 setup use three operating systems? (devblogs.microsoft.com)
94. httpd.rocks - 在 OpenBSD 上使用 httpd 設置支持 HTTPS 的網絡服務器 httpd.rocks - Setup an HTTPS-enabled web-server with httpd on OpenBSD (httpd.rocks)
100. 我被禁止使用 hCaptcha 無障礙賬戶,因為我不是盲人 I was banned from the hCaptcha accessibility account for not being blind (michaels.world)
111. 鏡像由 LLM 支持的示例編程語言 Mirror: An LLM-powered programming-by-example programming language (austinhenley.com)
113. 超級加密[有限訪問模型中無法破解的超級加密] Hyper-encryption [Provably unbreakable hyper-encryption in the limited access model] (en.wikipedia.org)
115. CPython 的垃圾回收器及其對應用程序性能的影響 CPython''s Garbage Collector and its Impact on Application Performance (blog.codingconfessions.com)
122. 將一些 Commodore 64 實用程序一分為二,既好玩又賺錢 One-parting some Commodore 64 utilities for fun and profit (oldvcr.blogspot.com)
123. shebanger:將 shell 腳本轉換為一系列 Shebang 行 shebanger: Convert a shell script into a series of shebang lines (github.com)
137. 單子傷害了我的頭----但現在不會了(2009 年) The Monads Hurt My Head --- But Not Anymore (2009) (golem.ph.utexas.edu)
139. 探索 TypeScript 中的效果:簡化異步和錯誤處理 Exploring Effect in TypeScript: Simplifying Async and Error Handling (www.tweag.io)
141. 華為開發出 72TB SSD 磁帶混合存儲設備 Huawei develops 72TB SSD-tape hybrid storage device (www.tomshardware.com)
142. 為數以億計的 C 行加裝空間安全功能 Retrofitting spatial safety to hundreds of millions of lines of C (security.googleblog.com)
143. 計算機語言 Basic 的共同創造者托馬斯-庫爾茨逝世,享年 96 歲 Thomas Kurtz, Co-Creator of Computer Language Basic, Dies at 96 (archive.is)
149. 除了單頁應用程序,您無法構建交互式網絡應用程序...以及其他神話 You Can''t Build Interactive Web Apps Except as Single Page Applications... And Other Myths (htmx.org)
159. 亞馬遜 S3 現在支持每個 AWS 賬戶最多 100 萬個存儲桶 Amazon S3 now supports up to 1 million buckets per AWS account (aws.amazon.com)
160. 我一直在開發一個 C 語言的借款檢查器...(還能靜態地確保free調用等的發生) I''ve been working on a borrow checker for C... (also statically makes sure free calls happen etc.) (gist.github.com)
166. 如何呈現解決計算機圖形問題的十大思路 How to render it. Ten ideas to solve Computer Graphics problems (c0de517e.blogspot.com)
167. AWS Lambda 10 週年:罕見地看一看啟動它的文檔 AWS Lambda turns 10: A rare look at the doc that started it (allthingsdistributed.com)
175. 在 Rails 應用程序中實施 Hotwire 和 Turbo 的終極指南 The Ultimate Guide to implementing Hotwire and Turbo in a Rails application (blog.cloud66.com)
179. 數據幾何:缺失的度量張量和斯坦因分數[第二部分] The geometry of data: the missing metric tensor and the Stein score [Part II] (blog.christianperone.com)
181. Python 規模下的膨脹:細粒度項目間依賴性分析 Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis (dl.acm.org)
185. 實現容器運行時 第 1 部分:在 Linux 上生成進程 Implementing a Container Runtime Part 1: Spawning Processes on Linux (maelstrom-software.com)
188. watermark-anything:"用本地化信息為任何事物加水印 "論文的正式實現 watermark-anything: Official implementation of the paper "Watermark Anything with Localized Messages" (github.com)
192. GPU 上的機器學習 - 案例研究:開放式圖像去噪 Machine Learning on the GPU - Case Study: Open Image Denoise (wallisc.github.io)
196. Oils 0.23.0 - 編寫 YSH 代碼、用戶反饋和 Bug 賞金 Oils 0.23.0 - Writing YSH Code, User Feedback, and Bug Bounty (www.oilshell.org)
200. 沒有新聞就是好消息:利用人工智能自動跳過追趕式廣播中的新聞 - djhworld No News is Good News: Using AI to auto skip the news on catch-up radio - djhworld (djharper.dev)
201. 無需 GPS:我們的應用程序現在可以定位地鐵列車 No GPS required: our app can now locate underground trains (blog.transitapp.com)
204. Rust 基金會發布關於 C/Rust 互操作性的問題聲明 Rust Foundation Releases Problem Statement on C/Rust Interoperability (foundation.rust-lang.org)
210. Dijkstra 的泛化集結號:遞歸程序的出現,20 世紀 50 年代末 - 60 年代初 Dijkstra’s Rallying Cry for Generalization: The Advent of the Recursive Procedure, late 1950s — early 1960s (dijkstrascry.com)
212. 濫用 Ubuntu 24.04 功能升級 root 權限 Abusing Ubuntu 24.04 features for root privilege escalation (snyk.io)
213. 如何調試大型分佈式系統對立面 How to debug large, distributed systems: Antithesis (newsletter.pragmaticengineer.com)
214. Qwen2.5-Coder-32B 是一款能在我的 Mac 上良好運行的 LLM。 Qwen2.5-Coder-32B is an LLM that can code well that runs on my Mac (simonwillison.net)
219. Hyperlight - 在虛擬機中運行功能 Hyperlight - Running functions in virtual machines (opensource.microsoft.com)
220. 特勤局稱您同意被追蹤位置數據 Secret Service Says You Agreed To Be Tracked With Location Data (www.404media.co)
221. 如果取消 DST,PostgreSQL 在未來設置的 "帶有時區的時間戳 "可能會默默地變得不正確 PostgreSQL "timestamp with time zone"s set in the future may become silently incorrect if DST abolished (lobste.rs)
225. 安全工程--構建可靠的分佈式系統指南 Security Engineering - A Guide to Building Dependable Distributed Systems (www.cl.cam.ac.uk)
226. 重塑 Fedora Linux 安裝程序:Anaconda 的新 "Web UI Reimagining the Fedora Linux installer: Anaconda''s new "Web UI" (fedoramagazine.org)
228. 第 3 版 Ross Anderson 的《安全工程》一書現在可免費下載 3rd edition of Ross Anderson’s Security Engineering book now freely available for download (www.lightbluetouchpaper.org)
229. 為從開發到生產的有效環境鍵入 ENV Vars Typed ENV Vars for Valid Environments from Dev to Production (runme.dev)
243. 老機器的靈魂重溫永恆的馮-諾依曼體系結構 The Soul of an Old Machine: Revisiting the Timeless von Neumann Architecture (ankush.dev)
249. VMware Fusion 和 Workstation 現在對所有用戶免費 VMware Fusion and Workstation now free for all users (blogs.vmware.com)
251. 使用 AWS 上的 Actions Runner Controller (ARC) 自託管 GitHub Actions 運行程序 Self-host GitHub Actions runners with Actions Runner Controller (ARC) on AWS (www.warpbuild.com)
252. 巴士號碼 - 我的同事讓我不要寫的 github 插件 Bus Number - The github plugin my coworkers asked me not to write (www.scannedinavian.com)
253. 在 Next.js 應用程序路由器中管理高級搜索參數過濾 Managing Advanced Search Param Filtering in the Next.js App Router (aurorascharff.no)
254. 分析 Caffeine 代碼庫:高性能緩存庫 Analyzing the codebase of Caffeine: a high performance caching library (adriacabeza.github.io)
265. Talkback:人工智能驅動的信息安全資源聚合器提高生產力 Talkback: AI Powered Infosec Resource Aggregator to Boost Productivity (talkback.sh)
276. 使用位置 popcount 繪製字節直方圖(GF2P8AFFINEQB 版) Histogramming bytes with positional popcount (GF2P8AFFINEQB edition) (bitmath.blogspot.com)
278. 設計以 POSIX Shell 為目標的自編譯 C 語言反編譯器 The Design of a Self-Compiling C Transpiler Targeting POSIX Shell (dl.acm.org)
282. kmx.io 的新網站,完全由面向圖的編程語言 KC3 編寫 New website for kmx.io, entirely written in KC3 a graph oriented programming language (www.kmx.io)
285. 自制 GPT JS - Karpathy 的 minGPT 的最小 TensorFlow.js 重新實現 Homemade GPT JS - A minimal TensorFlow.js re-implementation of Karpathy''s minGPT (github.com)
289. Lambda Calculus 0 的意義: Abstration、Reduction、Substitution? Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me)
292. 利用 Datasette、Observable 和 MapLibre GL 可視化地方選舉結果 Visualizing local election results with Datasette, Observable and MapLibre GL (simonwillison.net)
294. 迄今為止,我在管理本地法律碩士方面所學到的一切 Everything I''ve learned so far about running local LLMs (nullprogram.com)