2. 法案文本 - AB-1043 年齡驗證信號:軟件應用程序和在線服務 Bill Text - AB-1043 Age verification signals: software applications and online services (leginfo.legislature.ca.gov)
7. 圖形用戶界面的歷史:WIMP設計的興起(與衰落?) History of the Graphical User Interface: The Rise (and Fall?) of WIMP Design (www.uxtigers.com)
8. 基於形式化方法實現的《Optimal Caverna》遊戲玩法 Optimal Caverna Gameplay via Formal Methods (www.stephendiehl.com)
17. Linux ID:Linux探索開發者及其代碼的新認證方式 Linux ID: Linux explores new way of authenticating developers and their code (www.zdnet.com)
20. Go語言通用方法的提案已正式獲得採納 The proposal for generic methods for Go has been officially accepted (www.reddit.com)
22. 《奧布拉·丁號的歸來》:1bpp第一人稱遊戲的球面映射抖動技術(2017) Return of the Obra Dinn: spherical mapped dithering for a 1bpp 1st-person game (2017) (forums.tigsource.com)
26. 介紹 PgBeam,一個全球分佈式的 PostgreSQL 代理 Introducing PgBeam, a globally distributed PostgreSQL proxy (pgbeam.com)
28. AirSnitch:揭秘並突破Wi-Fi網絡中的客戶端隔離機制 AirSnitch: Demystifying and Breaking Client Isolation in Wi-Fi Networks (www.ndss-symposium.org)
36. 單元測試代碼性能(第二部分):測試速度變化 Unit testing your code’s performance, part 2: Testing for speed changes (pythonspeed.com)
37. maiao:輕鬆實現GitHub的Gerrit風格分層差異工作流 maiao: easy, Gerrit-style, stacked diffs workflow for GitHub (github.com)
39. 基於嵌入式Linux設備的存儲加密實現數據保密性 Data Confidentiality via Storage Encryption on Embedded Linux Devices (sigma-star.at)
42. Unicode中96.5%的confusables.txt文件不屬於高風險類別 96.5% of confusables.txt from Unicode is not high-risk (paultendo.github.io)
43. BuildKit:Docker的隱藏瑰寶,幾乎能構建任何東西 BuildKit: Docker''s hidden gem that can build almost anything (tuananh.net)
44. 谷歌API密鑰本非機密。但Gemini改變了規則 Google API Keys Weren''t Secrets. But then Gemini Changed the Rules (trufflesecurity.com)
45. 致谷歌的公開信:關於安卓系統強制開發者註冊的問題 An Open Letter to Google regarding Mandatory Developer Registration for Android (keepandroidopen.org)
62. 虛假工作面試正在開發者機器上安裝後門程序 Fake Job Interviews Are Installing Backdoors on Developer Machines (threatroad.substack.com)
63. 我驗證了LinkedIn身份。以下是我實際提交的資料 I Verified My LinkedIn Identity. Here''s What I Actually Handed Over (thelocalstack.eu)
71. LocalStack的前進之路:AWS雲模擬器交付機制的即將變革(2025) The Road Ahead for LocalStack: Upcoming Changes to the Delivery of Our AWS Cloud Emulators (2025) (blog.localstack.cloud)
72. 當前大型音頻語言模型主要進行轉錄而非傾聽 Current Large Audio Language Models largely transcribe rather than listen (arxiv.org)
73. Lambda World 2019 - 基於Racket的面向語言編程 - Matthias Felleisen Lambda World 2019 - Language-Oriented Programming with Racket - Matthias Felleisen (www.youtube.com)
77. GNU find的圖靈完備性:從mkdir輔助循環到獨立計算 Turing Completeness of GNU find: From mkdir-assisted Loops to Standalone Computation (arxiv.org)
81. RFC 406i - 人工生成廢料的拒絕(RAGS) RFC 406i - The Rejection of Artificially Generated Slop (RAGS) (406.fail)
83. 英國因Reddit未嚴格核查用戶年齡對其處以罰款 UK fines Reddit for not checking user ages aggressively enough (arstechnica.com)
84. Charm v2:Go語言終端UI的重大版本更新——珍珠奶茶、唇彩與氣泡效果 Charm v2: Major releases for Bubble Tea, Lip Gloss, and Bubbles for terminal UIs in Go (charm.land)
90. macOS 如何控制性能:英特爾與 M1 處理器上的 QoS(2022) How macOS controls performance: QoS on Intel and M1 processors (2022) (eclecticlight.co)
93. 在PostgreSQL中,帶連接的行鎖可能產生意外結果 Row Locks With Joins Can Produce Surprising Results in PostgreSQL (hakibenita.com)
97. 告別 innerHTML,迎接 setHTML:Firefox 148 版本加強跨站腳本攻擊防護 Goodbye innerHTML, Hello setHTML: Stronger XSS Protection in Firefox 148 (hacks.mozilla.org)
103. 桌面設置:從多顯示器到單屏幕,藉助虛擬桌面實現 Desk Setup: From Multi-Monitor to Single Screen with Virtual Desktops (www.ssp.sh)
109. Huntarr - 您的密碼和整個arr堆棧的API密鑰已暴露給網絡中的任何人,甚至更糟的是,暴露在互聯網上 Huntarr - Your passwords and your entire arr stack''s API keys are exposed to anyone on your network, or worse, the internet (reddit.com)
113. 簽名、封存、竊取:危急時刻如何修補關鍵漏洞 Signed, Sealed, Stolen: How We Patched Critical Vulnerabilities Under Fire (www.youtube.com)
118. 吹牛蛙——從GitHub、Jira等平臺自動構建的吹牛文檔 Brag Frog – The brag doc that builds itself from GitHub, Jira and Co (brag-frog.org)
129. 詛咒工程學:在CSV文件中隨機跳躍而不傷及自身 Cursed engineering: jumping randomly through CSV files without hurting yourself (github.com)
136. Firebolt 中高效且符合 ACID 規範的向量搜索索引 Efficient and ACID Compliant Vector Search Indexes in Firebolt (www.firebolt.io)
138. 基於GraalVM native-image Crema構建的快速啟動Clojure運行時 Fast starting Clojure runtime built with GraalVM native-image Crema (github.com)
139. 快速輕量在線加密(FLOE)的官方規範與參考代碼 Official specification and reference code for Fast Lightweight Online Encryption (FLOE) (github.com)
140. jit:一個純頭文件、跨平臺的C語言即時編譯器庫。支持x86-32、x86-64、ARM32和ARM64架構。 jit: A header-only, cross-platform JIT compiler library in C. Targets x86-32, x86-64, ARM32 and ARM64 (github.com)
142. codespelunker - 一款理解代碼結構並按相關性排序結果的命令行代碼搜索工具。無需索引。 codespelunker - CLI code search tool that understands code structure and ranks results by relevance. No indexing required (github.com)
143. 在大型代碼庫中比較C/C Unity構建與常規構建(2024) Comparing C/C unity build with regular build on a large codebase (2024) (hereket.com)
145. confusables.txt 與 NFKC 在 31 個字符上存在分歧 confusables.txt and NFKC disagree on 31 characters (paultendo.github.io)
149. 關於Mozilla Firefox在pwn2own大賽的紀錄片(第一部分) Documentary about Mozilla Firefox at pwn2own (part 1) (www.youtube.com)
154. 意圖 - 用於代理編排的開發者工作區 Intent - The developer workspace for agent orchestration (www.augmentcode.com)
156. 我們在約40MB的二進制文件中隱藏了後門,並讓AI與Ghidra共同尋找它們 We hid backdoors in 40MB binaries and asked AI Ghidra to find them (quesma.com)
158. 速度已死:人工智能生成編譯器與軟件的未來 Velocity Is Dead: AI-Generated Compilers and the Future of Software (www.openhands.dev)
159. bcachefs的創建者似乎將大型語言模型擬人化,並讓它參與文件系統的開發工作。 Creator of bcachefs seems to have anthropomorphized an LLM and is letting it work on the filesystem (poc.bcachefs.org)
164. 無障礙即公民權利。人工智能必須停止製造障礙。 Accessibility Is Civil Rights. AI Must Stop Shipping Barriers (conesible.de)
167. FreeBSD上的HTTP/3:在Bastille監獄中讓nginx支持QUIC HTTP/3 on FreeBSD: Getting QUIC Working with nginx in a Bastille Jail (blog.hofstede.it)
169. 我們如何修復Ruby中YAML註釋的保留問題(以及為何贊助該項目) How We Fixed YAML Comment Preservation in Ruby (And Why We Sponsored It) (blog.discourse.org)
172. 本地LLM在AMD Strix Point 13框架上的性能表現及其原因 How and Why Local LLMs Perform On Framework 13 AMD Strix Point (msf.github.io)
174. Hemmi/Post 1460 Versalog(計算尺模擬器) Hemmi/Post 1460 Versalog (Sliderule emulator) (thingsabove.github.io)
176. 雷霆幼貓 2.0:為您的 GPU 提供更快的內核 ThunderKittens 2.0: Even Faster Kernels for Your GPUs (hazyresearch.stanford.edu)
177. 餃子:精細粒度差分JavaScript引擎模糊測試 DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing (www.ndss-symposium.org)
180. MeshTNC是一款工具,可將消費級LoRa無線電設備轉換為兼容KISS TNC協議的數據包無線電調制解調器。 MeshTNC is a tool for turning consumer grade LoRa radios into KISS TNC compatible packet radio modems (github.com)
182. 解析而非驗證:Rust中的類型驅動設計 Parse, don''t Validate and Type-Driven Design in Rust (www.harudagondi.space)
189. 維基百科將Archive.today列入黑名單,開始移除69.5萬條存檔鏈接 Wikipedia blacklists Archive.today, starts removing 695,000 archive links (arstechnica.com)
190. Scala的興衰:致那個傷透我心的語言的情書 The Rise and Fall of Scala: A Love Letter to the Language That Broke My Heart (medium.com)
192. ajail:用於不完全信任程序的基本監獄環境 ajail: a basic jail for programs you don''t completely trust (github.com)
193. joinirc.at:在任何客戶端鏈接至您的IRC服務器,以便引導新用戶加入 joinirc.at: Link to your IRC server on any client to onboard new users (joinirc.at)
196. goatstack:Go Templ網絡應用程序的項目腳手架工具 goatstack: project scaffolding tool for Go Templ webapps (github.com)
202. Brat,一個用於 POSIX shell 的並行 TAP 測試框架 Brat, a parallel TAP testing harness for the POSIX shell (codeberg.org)
212. Django ORM 獨立版⁽¹⁾:查詢現有數據庫 Django ORM Standalone⁽¹⁾: Querying an existing database (www.paulox.net)
213. 我使用Claude Code和GSD構建了夢寐以求的無障礙工具 I used Claude Code and GSD to build the accessibility tool I’ve always wanted (www.blakewatson.com)
219. Claude C編譯器:它揭示了軟件的未來 The Claude C Compiler: What It Reveals About the Future of Software (www.modular.com)
220. 某AI代理人發表了針對我的攻擊性文章——操作者現身說法 An AI Agent Published a Hit Piece on Me – The Operator Came Forward (theshamblog.com)
223. 通過iOKIT HID在蘋果硅MacBook上讀取未文檔化的mems加速度計 reading the undocumented mems accelerometer on apple silicon macbooks via iokit hid (github.com)
228. 邁向現實世界工業級驗證:基於seL4的LLM驅動定理證明 Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (arxiv.org)
229. 你構建的每個應用都是ETL管道(只是你沒這麼稱呼它) Every app you''ve built is an ETL pipeline (you just didn''t call it that) (www.inngest.com)
234. Netbase 是 NetBSD 實用程序在 Linux 平臺上的移植版本 Netbase a port of the netbsd utilities for linux (github.com)
236. ClawShell,OpenClaw憑證的進程級隔離方案 ClawShell, Process-Level Isolation for OpenClaw Credentials (github.com)
241. Clinejection——僅需觸發問題分級處理程序即可破壞Cline的正式發佈版本 Clinejection — Compromising Cline''s Production Releases just by Prompting an Issue Triager (adnanthekhan.com)
246. pg-here:通過一條命令在項目文件夾中運行本地PostgreSQL實例 pg-here: Run a local PostgreSQL instance in your project folder with one command (github.com)
249. 寬鬆,而後嚴格:Haskell中的具體解決方案與示例(2020) Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (www.williamyaoh.com)
254. OpenAI、美國政府與Persona如何聯手打造身份監控機器,向聯邦機構提交你的報告 how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds (vmfunc.re)
256. 全球排名前20,憑藉社會工程學手段及至今未被識破的作弊手段 Top 20 worldwide with social-engineering and a cheat that''s still undetected (ud2.rip)
262. 兩週內完成13萬行形式拓撲:人人都能實現的簡單廉價自動形式化? 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
268. DNS-PERSIST-01:基於DNS的挑戰驗證新模型 DNS-PERSIST-01: A New Model for DNS-based Challenge Validation (letsencrypt.org)
270. Dank Linux - 面向Wayland和Niri的桌面環境 Dank Linux - Desktop Environment for Wayland and Niri (danklinux.com)
272. 在Windows ARM模擬環境下,AVX2的運行速度慢於SSE2-4.x。 AVX2 is slower than SSE2-4.x under Windows ARM emulation (blogs.remobjects.com)
274. 守門人制度的必要性,或:為何中世紀行會早有定論 The case for gatekeeping, or: why medieval guilds had it figured out (www.joanwestenberg.com)
276. 模型上下文外殼:適用於MCP的Unix風格管道。確定性工具調用 model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls (github.com)
278. BarraCUDA:開源CUDA編譯器,專為AMD GPU設計(未來還將支持更多平臺!) BarraCUDA: Open-source CUDA compiler targeting AMD GPUs (and more in the future!) (github.com)
283. Matrix的Rust庫Vodozemac中的加密問題 Cryptographic Issues in Matrix’s Rust Library Vodozemac (soatok.blog)
285. 勒布朗·詹姆斯當選總統——通過"對齊"上下文注入利用大型語言模型 LeBron James Is President – Exploiting LLMs via "Alignment" Context Injection (github.com)
286. 我們正在成為大型語言模型的建築師還是管家? Are We Becoming Architects or Butlers to LLMs? (muratbuffalo.blogspot.com)
289. 燕麥,超輕量級UI庫,語義化,極簡,零依賴 Oat, Ultra-lightweight UI library, Semantic, minimal, zero dependencies (oat.ink)
295. 零知識加密:三款雲端密碼管理器的安全性比較分析 Zero Knowledge (About) Encryption: A Comparative Security Analysis of Three Cloud-based Password Managers (eprint.iacr.org)