這裡記錄每週值得分享的科技內容，週五發佈。
本雜誌開源，歡迎投稿。另有《誰在招人》服務，發佈程序員招聘信息。合作請郵件聯繫（[email protected]）。
封面圖
今年年初開業的香港 Go Park 商業休閒綜合體，空中俯視，就像任天堂遊戲的地圖。（via）
Dan Wang 的新書
Dan Wang（我不知道他的中文名），7歲隨家人移民北美，現在是知名的經濟分析師，在斯坦福大學胡佛研究所任研究員。
他對中國問題的分析，非常有洞察力，在國外知識界很受重視。
2017年～2023年，他住在上海，並在國內各地旅行。
疫情後，他回到美國，開始專心寫作一本關於中國的新書。上週，他宣佈寫完了，並且本月就要出版，書名叫做《衝：中國對未來的探索》（Breakneck: China's Quest to Engineer the Future）。
他在個人網站上，寫了一篇長文，介紹這本新書，內容很有趣。下面是我的一點摘錄。
1、
這本書始於2021年的一次旅行，我從貴陽騎行到重慶。
我欣喜地發現，重慶這個西部省份的基礎設施，比加州或紐約要好得多，而後兩個地方的富裕程度比重慶高出幾個數量級。
在令人歎為觀止的青山綠水間，五天的艱苦騎行讓我瞥見了真正的中國。它遠不止於高聳的橋樑、宏偉的基建，而是在進行一種前所未有的社會工程，試圖解決這個國家面臨的問題。
2、
2023年我回到美國，在耶魯法學院待了一段日子。那裡是精英法學院，是雄心勃勃、想要躋身美國政府高層的人的捷徑。
這段日子讓我強烈感受到，美國是一個律師社會。
律師在美國社會佔主導地位，這促使美國淪為一個訴訟至上的否決制國家。無論你想做什麼事，反對者都會試圖通過律師來否決你。
我相信，如果美國如此執著於一個主要為富人和權貴階層服務的體系，它就不可能繼續保持強國地位。
3、
我逐漸形成了這樣的觀點：中國是一個工程國家，它用大型工程（包括社會工程）來解決物質和社會問題，而美國則是一個律師社會，它用法律阻止幾乎所有的事情，無論好壞。
除此之外，美國人和中國人從根本上來說很相似：永不停歇，渴望走捷徑，最終推動著世界上大多數重大變革。
中國和美國的競爭不應該用上個世紀的陳詞濫調來解釋，比如社會主義 vs 民主主義。兩國經常以競爭的名義，實現那些最瘋狂的夢想，探索自己的道路。
4、
"工程國家"與"律師社會"的對比，可以解釋很多事情。
美國依賴法律手段，比如徵收關稅和設計各種嚴苛的制裁機制。而中國則專注於用工程創造未來，比如建造更好的汽車、更美麗的城市、更大規模的發電廠。
5、
工程師並非能言善辯，往往表達不出他們不理解的內容，所以儘管中國在海外修建了道路和橋樑，但它們難以激發中國在全球的文化吸引力。
6、
我寫這本書，部分原因是為了整理自己對中國的看法。
中國建立了一個資源豐富國家的良好運營模式。它在過去四十年裡修建了多少英里的公路、建造了多少座新的核電站、生產了多少鋼鐵，寫出來真的令人震驚。
我認為，美國不必像中國那樣去建設基礎設施，只要達到法國、日本或西班牙的建設成本水平就足夠了。
儘管如此，美國仍然應該向中國學習。中國在公共交通、充足的住房、功能齊全的城市建設方面已經取得了很多成功。
7、
美國太多地方感覺像是被完好保存下來的、曾經的偉大文明的遺蹟。美國人應該更清晰地審視那些通常被忽視和蔑視的工業成就。
8、
2024年底，我再次去上海，發現消費降級是真實存在的。高檔餐廳不再難以預訂，川湘菜館正在佔據主導地位。許多餐廳的菜品都是在集中式配送中心製作的。越來越多的餐廳更注重外賣，而不是堂食。而且，似乎有一種趨勢是，三線城市的連鎖餐廳正在向一線城市遷移，以更便宜的價格提供略遜一籌的菜品。
最糟糕的是網紅文化。中國的網紅文化比美國濃厚得多。在公共場所，隨處可見許多人對著手機自拍。任何迷人的地方，無論是咖啡館還是山頂，都擠滿了專心拍照的人。在中國，經常可以看到情侶或朋友聚餐時幾乎不怎麼互動，只是低頭看著手機。我記得有一次在上海麗思卡爾頓酒店喝咖啡，一群女孩坐在我旁邊，圍著蛋糕互相拍照，竟然拍了一個多小時。網紅文化促使餐廳的菜餚更注重拍照效果，而不是味道。
9、
我沒有在這本書的任何部分使用 AI。一位經濟學家曾寫道，他人生中大約有一半時間沒有接觸過互聯網，這讓他在互聯網出現後更能體會到它的價值。我突然想到，三十年後，回首往事，我也會發現自己的人生分成 AI 之前和 AI 之後。
為了更貼近 AI，我最近搬了家，從耶魯大學來到斯坦福大學胡佛歷史實驗室，現在我是那裡的研究員。我原本想留在紐約市，但灣區太有吸引力，我決定今年年底重新開始寫我的年度信件。硅谷是一個和中國一樣奇特而又引人注目的地方，我感覺搬到那裡完全合適。
科技動態
1、美國最近創造了冷凍胚胎誕生時間最久的世界紀錄。
1994年，一對不育症夫妻做了體外受精，一共培育了4個試管胚胎。他們自己用了一個，生下一個女兒，如今已經30多歲。
剩下的三個胚胎一直冷凍。今年，這對夫婦將其中一個胚胎，捐給了另一對不育症夫妻。
7月26日，這個嬰兒順利出生。理論上，他出生時就已經30歲了。
2、為了防止偷獵犀牛角，南非在每一頭犀牛的角里面，植入放射性物質。
這些同位素對動物完全無害，但會使犀牛角被海關的輻射掃描儀檢測到，從而抓到偷獵者。
南非的犀牛數量估計不多，否則不可能為每一頭犀牛做植入手術。
3、美國內華達天文臺，推出"望遠鏡託管"服務。
天文愛好者可以將自己的望遠鏡，託管在天文臺的沙漠基地，觀察條件遠勝於城市，通過網絡查看望遠鏡傳回的影像。
天文臺直接出售望遠鏡時間，是不是更有吸引力？我買下一小時的使用權，就可以網上操作真正的天文望遠鏡。
4、國際空間站慶祝運作25週年。人類已經在這個小小的太空艙，連續居住了25年。
5、一些用戶在網上發帖，他們使用谷歌時，竟然遇到了彈框（下圖）。
彈框要求用戶同意，讓谷歌使用他們生成的內容，否則某些高級功能將關閉。
以後，這可能成為常態，網站把用戶的內容拿來訓練 AI，如果用戶不同意，就不能免費使用某些功能。
文章
1、達里奧·阿莫迪的故事（英文）
達里奧·阿莫迪（Dario Amodei，1983年出生）是 Anthropic 公司的創立者和首席執行官。本文是他的故事，一個生物學博士如何做出了 Claude AI。
2、硅谷的軍事化（英文）
《紐約時報》的報道，硅谷科技公司正在不斷加強與美軍的合作。
它披露了一張令人震驚的照片。今年6月，美軍特別為硅谷科技人員成立了一支技術創新部隊，給予他們正式的軍銜。上圖為 Meta、OpenAI、Palantir 等四家公司的高管身穿軍服，宣誓保衛美國。
3、Node.js 2025年的現代模式（英文）
Node.js 已經發生了巨大的變化，本文介紹現在應該採用的新寫法。
4、.gitignore 如何變成白名單（英文）
.gitignore 默認是黑名單，會把指定文件排除出 Git 提交。本文教你把它改成白名單，只有提到的文件才能提交。
5、5個 Linux 基本命令的替代品（英文）
Linux 的很多基本命令（cd、cat、ls、du、df 等）現在都有更好的替代品。
6、一道谷歌編程競賽題（中文）
題目是"(3 + 根號5) 的 n 次方"最後三位整數是多少，我覺得非常難。（@longluo 投稿）
工具
1、Tinyauth
一個自架設的身份認證方案，支持密碼、OAuth、TOTP 和 LDAP 等，要比同樣免費的 Authelia 更簡單易用。
一個 Python 程序，將目錄變成文件服務器，可以查看文件，支持 http、webdav、ftp 等多種協議。
3、Termix
一個自架設的 Web 服務，用來在網頁上使用 SSH 連接遠程服務器，讓瀏覽器可以進行命令行操作，參見介紹文章。
4、packetd
查看網絡數據包的命令行工具，支持解析多種網絡協議，可以查看數據包來回的完整對話。（@chenjiandongx 投稿）
5、MiroTalk
基於瀏覽器 WebRTC 的在線視頻通信開源解決方案，鏈接是多人視頻會議版本，另有點對點通信版本、一對一通信版本。（@miroslavpejic85 投稿）
6、AppCub
製作手機 App 截圖的在線工具。（@saviourdog 投稿）
7、PanSou
開源的網盤資源搜索 API 服務，提供聚合搜索服務，需要自己架設。（@fish2018 投稿）
一個蜜罐服務，創造出各種虛假的 URL、DNS、數據庫、二維碼等等。一旦攻擊者訪問該資源，你就會得到通知。（@jerrylususu 投稿）
在線的像素圖作圖工具，可以同屏製作多個動畫幀。（@YYsuni 投稿）
10、snapDOM
一個 JS 庫，生成指定的 DOM 節點的截圖。
AI 相關
一個 JS 庫，為 AI 操作設置費用限額，超出就中斷進程。
2、Hyprnote
本地的 AI 會議助手，監聽線上會議，自動生成會議筆記和總結。
一個 25MB 大小的 AI 語音模型，用來從文本生成語音。只使用個人電腦 CPU，幾分鐘就安裝完畢，通過 Python 腳本使用，好像不支持中文，參見教程。
用 AI 管理你的 GitHub Stars，自動對項目進行分類，支持自然語言搜索。（@AmintaCCCP 投稿）
5、Snippai
跨平臺的 AI 智能截圖工具，可以識別並提取公式、表格、代碼、圖片和文字。（@xyTom 投稿）
資源
1、SVG-LOGO
該網站收錄中國國內的各種標誌 LOGO 的 SVG 文件，目前有700多個。（@HeyHuazi 投稿）。
2、數學手冊計算器（MathHand Calculator）
一個在線數學工具，包括數學手冊、計算器、數學圖形繪製等功能。（@DrHuangCom 投稿）
3、Linux 服務器加固指南（How To Secure A Linux Server）
這個英文倉庫收錄了啟用 Linux 服務器以後的各種安全措施。
4、SVG 入門（英文）
一篇長文，介紹 SVG 格式的基礎知識。
大模型的比較
國外媒體在2025年7月17日，對主流的大模型進行了測試。一共使用了225道題，看哪個模型得分更高，費用更省。
下圖就是他們的測試結果。
縱軸是正確率，位置越高，表示模型的正確率越高。圖中，位置最高的模型是 OpenAI 的 O3 pro。
橫軸是成本，位置越靠左，表示成本越低。
綜合來看，DeekSeek R1（0528）是一個比較均衡的模型：正確率夠高，價格比同級別的模型都便宜。
文摘
1、驗證的不對稱性（asymmetry of verification）
驗證的不對稱性指的是，提出答案和驗證答案的困難程度不對等。
某些問題找到答案很困難，但是驗證答案是否正確非常容易。
數獨就是一個例子，解題很難，但是一旦解出來，一眼就能看出是否正確。
再比如，做出 Instagram 這種複雜系統很難，但是做得對不對，用一下就知道了。
另一些問題正好反過來，找到答案相對容易，驗證答案是否正確卻很難。
比如，有人放出一個謠言，快速傳播。闢謠很容易，發表一個聲明就可以了。但是，想要消除謠言的影響（讓每個人相信闢謠）就很難，往往要付出十倍百倍的資源。
再比如，有人說吃西蘭花對身體有益。這樣說很容易，但要驗證這個說法至少需要數年時間。
AI 的出現，改變了驗證的不對稱性，因為 AI 讓人們更容易找到答案，所以可以這樣說：
所有可解決且易於驗證的問題，都將被 AI 解決。
最終，只有那些難以驗證答案的問題，AI 解決不了。
言論
1、
最糟糕的情況是，一個不懂編程的人使用 AI，編寫出了一個需要長期維護的大型項目。這就好比把信用卡交給不懂事的孩子。
一旦代碼出問題，如果你不理解代碼，就只能讓 AI 為你修復，這就像用一張信用卡償還另一張信用卡的債務。
-- 《氛圍編程是技術債》
2、
人們總幻想，自己的晚年身邊充滿了朋友、兒女、孫輩，以及一群熱情洋溢的親人。但是，真正的現實是，很多人的晚年是家人疏遠或者不和，自身視力不佳、行動不便，甚至大小便失禁和痴呆。
日復一日地為每個孤獨的人提供一個傾聽者和訴說者，只有 AI 能做到。
-- 《AI 將解決孤獨問題》
3、
面試的現場編碼環節，考察的不是你的編程能力，而是抗壓能力。
不擅長面試的現場編碼，並不意味著你是一個糟糕的程序員，恰恰說明你是一個正常人。
-- 《現場編碼很糟糕》
4、
我們只擔心學生使用 AI 做作業，事實上，更應該擔心的是教師使用 AI。
很多老師為了節省時間，正在用 AI 快速生成低質量、毫無意義的 PPT 和講義。
5、
我這輩子認識的聰明人，沒有一個是不大量讀書的，一個也沒有。巴菲特的閱讀量之大，會讓你大吃一驚。我的孩子們甚至嘲笑我，是一本伸出幾條腿的書。
-- 芒格，著名投資家
往年回顧
如果新加坡沒有空調（#313）
開源軟件如何賺錢？（#263）
知識孤島，知識軟件（#213）
你的城市有多少張病床？（#163）
（完）