2. 初步印象:使用 Codex 的一週,使用頻率超過了 Claude Quick impressions: A week of using Codex more than Claude (allaboutcoding.ghinda.com)
5. 《Tumble Forth》——從彙編到帶C編譯器的操作系統 Tumble Forth – from assembly to OS with C compiler (tumbleforth.hardcoded.net)
6. 將Claude Mythos 5的網絡安全能力帶給更多安全防護人員 Bringing the cybersecurity capabilities of Claude Mythos 5 to more defenders (claude.com)
14. 研究顯示:人工智能提升了作業成績,但考試成績卻下降了 AI boosted homework scores, then exam scores dropped: Study (www.economist.com)
15. Show HN: Proliferate——適用於任何編碼代理的開源、可自主部署的Codex Proliferate- open-source, self-hostable Codex for any coding agent (github.com)
16. 紐約的寫字樓市場聚集了最多的科技從業人員:世邦魏理仕報告 New York’s office market is home to the most tech workers: CBRE report (www.cnbc.com)
18. 使用 Swift 重構我們的 Electron 會議錄製引擎 Rebuilding our Electron meeting-recording engine in Swift (circleback.ai)
19. Decayfmt——一種每次打開時都會稍微損壞一點的文件格式 Decayfmt – a file format that corrupts itself a little every time you open it (github.com)
21. LiteLLM(YC W23)正在招聘——Rust / 性能工程師 LiteLLM (YC W23) Is Hiring – Rust / Performance Engineers (jobs.ashbyhq.com)
31. 研究表明:人工智能使作業成績提高了18%——隨後考試成績卻下降了20% AI Boosted Homework Scores by 18% – Then Exam Scores Dropped 20%, Study Shows (canews24.online)
32. 美國飛行員和空乘人員的癌症相關死亡率 Cancer-Related Mortality Among US Pilots and Flight Attendants (jamanetwork.com)
33. Show HN: AgentSight——面向 AI 代理的 eBPF 可觀測性,無需修改代碼 AgentSight – eBPF observability for AI agents, no code changes (github.com)
36. 我當時是來和萊斯利·蘭波特一起寫那篇論文的 I came to write THAT paper with Leslie Lamport (lawrencecpaulson.github.io)
40. WPD以維護公眾信任為由,表示不會更換被盜的Flock攝像頭 WPD won''t replace stolen Flock cameras, citing public trust (www.winonapost.com)
44. 克勞黛特:讓克勞德別再像BuzzFeed的文章那樣說話了 Claudette: Make Claude Stop Talking Like a BuzzFeed Article (github.com)
45. 約翰·伯格:《來自生活》(湯姆·奧弗頓著)書評——一部生動鮮活的傳記 John Berger: From Life by Tom Overton review – a vibrant biography (www.theguardian.com)
46. 奧運選手珍妮·辛普森表示,在經歷心臟驟停後,她的跑步生涯已經結束 Olympian Jenny Simpson Says Her Running Career Is Over After Cardiac Arrest (www.runnersworld.com)
48. Truemetrics(YC S23)正在柏林招聘——市場拓展負責人 Truemetrics (YC S23) Is Hiring in Berlin – GTM Lead (www.ycombinator.com)
52. 我們正生活在一個宛如J·G·巴拉德或威廉·吉布森筆下的未來世界中 We are living in a version of the future out of J.G. Ballard or William Gibson (precastreinforced.co.uk)
57. Kagi 新增了一項設置,用於從搜索結果中移除受付費牆限制的鏈接 Kagi added a setting for removing paywalled links from search results (kagi.com)
58. 柯達的“預先發明”的月球軌道器相機;或者說,SAMOS讀出裝置的命運 Kodak''s "Pre-Invented" Lunar Orbiter Camera; Or, the Fate of SAMOS Readout (invertingvision.com)
61. 英偉達 AVO 在 ARC-AGI-3 交互式推理基準測試中獲得 100% 的得分 Nvidia AVO scores 100% on the ARC-AGI-3 interactive reasoning benchmark (twitter.com)
63. 哈勃望遠鏡遭受的輻射損傷與太陽活動週期存在4.3年的相位差 Radiation damage to Hubble has been 4.3 years out of phase with the Solar cycle (arxiv.org)
66. 大陪審團拒絕起訴一名被指控破壞弗洛克攝像頭的俄亥俄州男子 Grand jury declines to indict Ohio man charged with destroying Flock camera (san.com)
68. 美國邊境一名公民因刪除手機數據面臨重罪指控 Felony charges for citizen deleting phone data at US Border (www.nytimes.com)
69. Kino:一款適用於 Ruby 4.0 的高性能 Ractor Web 服務器 Kino: A high-performance Ractor web server for Ruby 4.0 (github.com)
70. TigerBeetle 核心系統架構:性能工程解析 TigerBeetle Core System Architecture: Deconstructing Performance Engineering (ixuvo.com)
82. 我們在 Apple Silicon 上重構了 Linux 微虛擬機(MicroVM)堆棧 We Rebuilt the Linux MicroVM Stack on Apple Silicon (encore.dev)
84. Show HN: Argentic——一款專為AI爬蟲程序設計的L402 Lightning收費站 Argentic – An L402 Lightning toll booth for AI scraping agents (argentic.network)
88. R·克魯姆所著《菲利普·K·迪克的宗教體驗》(1986年) The Religious Experience of Philip K. Dick by R. Crumb (1986) (philipdick.com)
89. 日本曾試圖為全世界開發一款操作系統,但美國介入了 Japan tried to build an operating system for the world, the US intervened (www.xda-developers.com)
91. Codex 在 AWS Bedrock 上存在一個導致費用增加 10 倍的漏洞 Codex on AWS bedrock bug causing 10x charges (github.com)
93. 人工智能公司正在摧毀實體書——趁還來得及,讓我們趕緊把珍本掃描下來吧 AI companies destroy physical books – let''s scan rare books before it''s too late (annas-archive.gl)
95. 在4.2 K下製造一臺6特斯拉級高溫超導二極磁鐵 Make a 6-Tesla-class high-temperature superconducting dipole magnet at 4.2 K (journals.aps.org)
96. 伯克利法學院(默認情況下)禁止在課堂上使用人工智能 Berkeley Law prohibits AI use in classes (by default) (www.law.berkeley.edu)
97. 亞馬遜竟能將此稱為“合理使用”,這正是時代變遷的體現 It is a sign of the times that Amazon gets to call this fair use (observationalepidemiology.blogspot.com)
98. Show HN: ParqDB – 通過 HTTP 從 Parquet 進行瀏覽器端向量搜索" ParqDB – Vector search in the browser from Parquet over HTTP" (search.parqdb.io)
103. 《我因嵌入向量而神魂顛倒》(《HPLM》第2章) In Which I Lose My Mind over Embeddings (HPLM Chapter 2) (www.maayanroth.com)
110. 我分析了 Kuzu 代碼庫中的 16.3 萬行代碼。以下是蘋果為何想要它的原因 I Analyzed 163K Lines of Kuzu''s Codebase. Here''s Why Apple Wanted It (medium.com)
111. 亞倫·斯沃茨因數據抓取而遭到起訴,而Meta卻能逍遙法外 Aaron Swartz was prosecuted for scraping, while Meta does it without consequence (blog.curiousquail.com)
115. GitHub、自動擴展與組件替代謬誤 GitHub, autoscaling, and the component substitution fallacy (surfingcomplexity.blog)
116. 潮汐週期——基於算法模式的實時編碼音樂 Tidal Cycles – Live coding music with Algorithmic patterns (tidalcycles.org)
119. Show HN: 太棒了——一種利用人工智能進行編程的新方法 Huzzah – a novel approach to coding with AI (www.danielvaughn.dev)
120. Show HN: Kandelo——一款適用於瀏覽器的、與 POSIX 兼容的多進程 WASM 內核 Kandelo – a POSIX-compatible multi-process WASM kernel for the browser (kandelo.dev)
122. 在科學中尋求上帝 第10.5部分:身心問題(第二篇) Seeking God in Science Part 10.5: The Mind-Body Problem (Take 2) (blog.rongarret.info)
123. 科學研究表明,TikTok視頻會使大腦中關鍵的認知區域停止活動 Scientific study reveals TikTok videos deactivate key cognitive brain regions (www.rathbiotaclan.com)
126. Bitflash:基於Tor的原生比特幣0.1.0復刻版,使用RandomX在CPU上進行挖礦 Bitflash: A Tor-native revival of Bitcoin 0.1.0, mined on CPUs with RandomX (bitflash.network)
132. Show HN: Omacosy——一款適用於 macOS 的 omarchy 風格平鋪桌面,不支持 SIP Omacosy – Omarchy-style tiling desktop for macOS, no SIP (github.com)
133. Show HN: 我們一路追著一個氣象氣球穿越蒙大拿州,卻始終沒找到它 We chased a weather balloon across Montana and never found it (radi8.dev)
142. Launch HN: Vendo(YC S26)——讓用戶在您的產品基礎上構建新功能 Vendo (YC S26) – Let users build features on top of your product (github.com)
144. 我喜歡厚一點的:致我的英語老師們的一封致歉信 I like ''em thick: an apology to my English teachers (www.experimental-history.com)
146. Show HN: 請核查MLC中6.56億美元的未領取版稅中是否有屬於您的部分 Check if any of the 656M in unclaimed royalties at The MLC is yours (pub.doub.ly)
149. 不要再將中間令牌擬人化為推理/思考的痕跡 Stop Anthropomorphizing Intermediate Tokens as Reasoning/Thinking Traces (arxiv.org)
153. 雙精度:無需離開浮點運算單元即可實現31位精度 Double-double: 31 digits of precision without leaving the FPU (marekfiser.com)
158. Harvest在被Bending Spoons收購後,將賬單金額提高了1500% Harvest hikes bills by 1500% after purchased by Bending Spoons (www.bbc.com)
161. Zellij 0.45.0:嵌套會話、Kitty 圖標、煥然一新的用戶界面 Zellij 0.45.0: nested sessions, Kitty graphics, a fresh UI (zellij.dev)
169. 《美國馬賽克》(基於祖先人口普查數據的交互式地圖) An American Mosaic (interactive map of ancestry census data) (www.nytimes.com)
170. 為什麼“海洋清理”項目未能解決塑料汙染危機 Why the Ocean Cleanup Hasn''t Solved the Plastic Pollution Crisis (therevelator.org)
172. Pornhub稱,英國的網絡年齡驗證措施助長了非法成人網站的泛濫 UK internet age checks have boosted rogue adult sites, says Pornhub (www.ft.com)
173. 惡意 Rust Crate Arrayref 在構建時執行有效載荷 Malicious Rust Crate Arrayref Runs a Build-Time Payload (safedep.io)
174. Canonical 支持一項新項目,旨在將大型 C 代碼庫轉換為安全的 Rust 代碼 Canonical Backs New Project to Translate Large C Codebases into Safe Rust (linuxiac.com)
175. Show HN: Streambench – 適用於 Kafka 和 NATS 的原生 Mac 客戶端 Streambench – Native Mac Client for Kafka and NATS (streambench.app)
176. 荷蘭首次將以色列列為對其國家安全的威脅 Netherlands lists Israel as a threat to its national security for the first time (www.trtworld.com)
177. 澳大利亞通過法律,對未支付本地新聞費用的科技巨頭徵收費用 Australia passes law to levy tech giants that fail to pay for local news (www.reuters.com)
179. 超越BMI:利用智能手機圖像評估心代謝風險 Seeing beyond BMI: Estimating cardiometabolic risk with smartphone imagery (research.google)
181. Show HN: 我訓練了一個1.25億參數的模型,用於在設備端實現鋼琴自動補全功能 I trained a 125M model to autocomplete piano on-device (simedw.com)
182. 過濾向量搜索:Acorn 解決了什麼問題,以及什麼問題促使 Acorn 誕生 Filtered Vector Search: What Acorn Fixes, and What Fixes Acorn (qdrant.tech)
183. Proof of Human(YC S23)正在招聘一名技術人員 Proof of Human (YC S23) Is Hiring a Member of Technical Staff (www.ycombinator.com)
184. 人工智能並沒有削弱初級工程師的價值,反而提升了它的價值。 AI didn''t erase the junior engineer''s value, it increased it it (franciscotrindade.me)
187. 如果這是真的,那麼超大規模雲服務商就完蛋了 If this is true, the hyperscalers are toast (klementoninvesting.substack.com)
188. AliExpress 會悄無聲息地運行 WebAudio 指紋識別功能,這會導致藍牙多點連接失效 AliExpress runs silent WebAudio fingerprinting that breaks Bluetooth multipoint (blog.laserphile.com)
194. Windows 能激發每個人內心的羅夏墨跡測驗 Windows brings out the Rorschach test in everyone (devblogs.microsoft.com)
195. Asana 藉助 Codex,僅用 2 周就完成了 5 年的工程工作 Asana cleared 5 years of engineering work in 2 weeks with Codex (openai.com)
196. 扎克伯格將業務增長置於兒童安全之上,前Meta高管作證稱 Zuckerberg encouraged growth over child safety, ex-Meta executive testifies (www.reuters.com)
197. Sectorforth 是一款 16 位 x86 Forth 語言,可容納於 512 字節的引導扇區中 Sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector (github.com)
198. 為什麼微軟娛樂包上貼著一張標明其中包含《俄羅斯方塊》的貼紙? Why Microsoft Entertainment Pack had a sticker announcing that it had Tetris? (devblogs.microsoft.com)
200. AI醫療助手在就診過程中出現失誤,令患者深受打擊 Error by AI scribe during medical appointment leaves patient devastated (www.abc.net.au)
201. 美國、中國和巴西的支付方式是怎樣的? How do payments work in the US, China, and Brazil? (andrewacomb.substack.com)
206. 《失落的陣列探險記》:為我那無人問津的 Drobo 編寫一個基於 vibe 的 macOS 驅動程序 Raiders of the Lost Array: vibe-coding a macOS driver for my orphaned Drobo (fetzu.ch)
210. 加德納警方停用Flock攝像頭,因車牌識別系統面臨審查 Gardner police discontinue Flock cameras as license plate readers face scrutiny (www.kmbc.com)
211. CSS 的未來:使用類前綴選擇器定位多個類 The Future of CSS: Target Multiple Classes with the Class Prefix Selector (www.bram.us)
212. Corsi-Rosenthal 自制鋁框 PC 風扇(2023) Aluminum Frame PC Fan Corsi-Rosenthal Build (2023) (itsairborne.com)
216. Os8088.com:IBM XT 操作系統現已配備瀏覽器,CP/M 2.2 搭載 Z80 內核,以及 MS Word 1.1a Os8088.com: IBM XT OS now has a Browser, CP/M 2.2 with Z80 core and MS Word 1.1a (os8088.com)
217. IDE 懷舊:1972 年的 NLS 編程:鍵盤、鼠標和 Viewspecs IDE Nostalgia: Programming NLS in 1972: Keyset, Mouse, and Viewspecs (davidsmaynard.com)
218. XWayland 26.1-rc1 發佈,距上次發佈已過去兩年 XWayland 26.1-rc1 Released Two Years After the Last Release (lists.x.org)
224. 你可能不明白Stripe為什麼要收購OpenRouter You Probably Don''t Get Why Stripe Bought OpenRouter (www.amppublic.com)
227. 從量子相對熵到半經典愛因斯坦方程 From Quantum Relative Entropy to the Semiclassical Einstein Equations (arxiv.org)
230. 解鎖被鎖定/停用的電子廢棄品 Cricut Maker Unlocking a locked/deactivated e-waste Cricut Maker (sprocketfox.io)
231. 一名警官利用Flock攝像頭717次跟蹤其分居的妻子 Police officer used Flock cameras to track estranged wife 717 times (www.wsbtv.com)
234. 谷歌將某些源代碼的 Git 標籤替換為通過 Google 雲端硬盤獲取 Google replaced Git tags for certain source code with obtaining via Google Drive (grapheneos.social)
237. 對針對 Cloudflare Workers 的遠程 Spectre 攻擊的重新審視 A revisit of remote Spectre attacks on Cloudflare Workers (blog.cloudflare.com)
239. 警察解釋為何利用車牌識別系統跟蹤一名女子 Cop Explains Why He Used License Plate Reader to Stalk Woman (www.404media.co)
244. Show HN: “節儉代幣”——探索各編碼代理的成本與使用情況 Frugal Tokens – explore costs and usage across coding agents (demo.frugaltokens.com)
249. Launch HN: OneCLI (YC S26) – 面向團隊的 OSS 沙箱式代理框架 OneCLI (YC S26) – OSS sandboxed agent harness for teams (github.com)
251. 公民自律——避免採用可能被警察國家利用的建築技術 Civic Hygiene – avoid building technologies that could be used by a police state (shkspr.mobi)
252. 在一項針對7,700名員工的研究中,遠程辦公者的幸福感最高 Remote workers report the highest well-being in study of 7,700 employees (www.colorado.edu)
253. 新款卡西歐 F-B100W——時隔40年,經典 F-91W 迎來升級 New Casio F-B100W – Upgrade to the iconic F-91W after 40 years (www.casio.com)
257. Pixel Watch 胰島素抵抗功能背後的科學原理 The science behind Pixel Watch''s insulin resistance feature (www.empirical.health)
260. 關於禁止在 Sourcehut 上託管使用 vibe 編碼的項目提案 Proposal to prohibit vibe coded projects from being hosted on Sourcehut (lists.sr.ht)
261. Moderna宣佈其針對黑色素瘤的mRNA新抗原療法首次在III期臨床試驗中取得積極結果 Moderna reports first positive Phase 3 for mRNA neoantigen therapy in melanoma (twitter.com)
263. Taffy:一款靈活、高性能、跨平臺的 UI 佈局庫 Taffy: A flexible, high-performance, cross-platform UI layout library (github.com)
266. 利用幾何學和CUDA編程對隨機島嶼進行地理定位 Geolocating a random island using geometry and CUDA programming (yassa9.github.io)
267. 克努斯長除法中一個存在了數十年的錯誤(《計算機程序設計藝術》第二卷,算法 4.3.1D) A decades-old bug in Knuth''s long division (TAOCP Vol II, Algorithm 4.3.1D) (kolja.rs)
268. 2027年,GrapheneOS將登陸摩托羅拉高端手機 GrapheneOS in 2027 available on high-end Motorola phones (grapheneos.social)
270. 與彼得·蒂爾有關聯的“種族科學網絡”滲透進了劍橋大學 Peter Thiel-Linked Race Science Network That Penetrated Cambridge University (bylinetimes.com)
271. Great Question(YC W21)正在招聘高級需求生成經理 Great Question (YC W21) Is Hiring Senior Demand Gen Manager (www.ycombinator.com)
272. Air Theremin——一款通過對著網絡攝像頭揮手來演奏的瀏覽器版特雷門琴 Air Theremin – a browser theremin you play by waving at your webcam (theremin.bizibah.com)
273. 由隕石鍛造而成的戒指,可能曾在古希臘上層社會中風靡一時 Rings forged from meteorites may have been fashionable among ancient Greek elite (phys.org)
275. Mojo 語言(由 Modular 開發,現歸屬高通)現已開源 The Mojo language (by Modular, now Qualcomm) is now open-source (www.modular.com)
277. 《破壞行動》:專家和議員猛烈抨擊小羅伯特·肯尼迪破壞醫療保健研究 "Sabotage": Experts, lawmakers blast RFK Jr. for destroying healthcare research (arstechnica.com)
281. Show HN: 注重隱私的客戶端密碼生成器 Privacy focused client side password generator (password-generator.aaqa.dev)
283. 在形式驗證工具中查找未檢測到的警報錯誤 Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
286. Show HN: 自動檢測並修復《Sierra》遊戲中的“行屍走肉”狀態 Automatically detect and patch walking-dead states in Sierra games (github.com)
290. Meta的這場備受矚目的訴訟案與菸草巨頭的案例有相似之處 Meta''s blockbuster trial draws parallels to big tobacco (www.economist.com)
293. 那種可恥、聲名狼藉的(卻又妙不可言)的標點符號:括號 That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis (lithub.com)
296. 最新研究報告顯示,2021年至2024年間,美國37%的勞動者實際工資出現下降 [pdf] New paper shows that 37% of workers in US saw real wages decline from 2021-2024 [pdf] (bfi.uchicago.edu)
297. 科學家對超低排放區兒童肺功能恢復情況感到震驚 Scientists stunned by children''s lung recovery in ultra low emission zone (www.bbc.com)
299. Show HN: Capto——當後臺任務無響應時發出警報,並顯示操作軌跡 Capto – alerts when a background job goes quiet, with breadcrumbs (capto.run)