這裡記錄每週值得分享的科技內容，週五發佈。
本雜誌開源，歡迎投稿。另有《誰在招人》服務，發佈程序員招聘信息。合作請郵件聯繫（[email protected]）。
封面圖
溫州江心嶼是甌江裡面的一個小島，最近完成了改造工程。（via）
VS Code 編輯器的下一站是 Zed？
程序員離不開編輯器，眼下最流行的代碼編輯器肯定是 VS Code。
VS Code 其他都好，但有一個很大的缺點：性能。
它運行在 Electron 的沙箱裡面，資源佔用多，速度慢。我現在調用某些插件，就有明顯的延遲。
它還有點臃腫，安裝包 100MB，需要磁盤空間 500MB。
所以，當我聽說有一個新的編輯器 Zed，性能出眾，功能強大，就立刻安裝了，下面就是我的使用體會。
首先說一下，為什麼 Zed 吸引我？
（1）它的作者是原來的 Atom 編輯器的作者，以及 Tree-sitter 解析庫的作者。
（2）它基於 Rust 語言，充分利用多核 CPU 和 GPU，追求極致性能，速度極快。
（3）它內置了 VS Code 的很多插件功能，比如 LSP（語言服務器協議）、代碼提示補全、多人實時編輯、AI 助手等。
（4）它的開發非常活躍，GitHub 倉庫的星星已經達到了 49K。
安裝後，我一打開就覺得非常清爽，極簡主義的界面，佈局跟 VS Code 類似，沒有學習成本，可以直接上手。
它的速度真是快，不管什麼操作，一點即開。用久之後，再用 VS Code 都不習慣了。
編程需要的功能，大部分開箱即用。如果沒有的話，可以去插件市場找找。
有些功能，我覺得很實用。比如，它有一個大綱面板（下圖左），列出當前腳本的所有函數，點擊函數名可以跳轉到函數實現。
它還可以添加參與人（必須有 GitHub 賬號），讓你跟多人實時協作、聊天。
參與者的頭像顯示在窗口右上角。
雖然它有上面這些優點，但也有一些難以忽視的問題。
（1）它不是真的跨平臺，目前只有 Mac 版本最完善，Linux 版本我遇到了不少問題，Windows 版本官方暫未支持。
（2）很多地方還沒來得及做，你經常會遇到一些小功能缺失，找不到解決方法。
（3）它的設置就是一個大的 JSON 文件，沒有圖形設置界面，動不動就要查文檔。
（4）AI 助手只支持 OpenAI、Claude 和本地運行的 Ollama 模型。
我的結論是，它的表現非常出色，但沒有完全準備好，只適合那些看重性能、願意自己解決問題的程序員。
總的來說，Zed 是 VS Code 很好的替代品，奉行極簡主義，不臃腫，內置功能完備。明年的這個時候，它也許會讓 VS Code 不再那麼流行。
［本週軟件］302.AI
面對層出不窮的 AI 模型，你會不會有一種想法，如果存在一個統一的使用入口該多好？
事實上，真有這樣的產品。週刊以前介紹過一個網站 302.AI，就是這種思路。
它的定位是"AI 應用超市"，可以看作是一個適配層，適配了各種各樣的 AI 模型，讓你都能通過它來使用。
你可以直接使用各種模型，也可以使用"工具超市"預置的30多種 AI 應用，比如下圖的"AI 學術論文搜索"。
它還提供 API 調用，通過它的服務器，調用各種模型的 API。
它有試用額度，此後按照使用量收費，一般是底層模型原始價格的五折。
最後，它本週開源了，各種官網工具的源碼都放出來了，倉庫地址 github.com/302ai。他們用 Next.js，你可以用來開發自己的 AI 應用。
科技動態
1、34階魔方
普通的魔方是3階的，即長寬高各3個色塊，但也有其他階的魔方。
上圖是2階、4階、5階的魔方。
最近，有人用 3D 打印機做了一個世界最高階的魔方，達到34階。
這麼大的魔方，轉動起來很不方便，已經不適合用來遊戲，而是適合擺弄許多奇特的造型。
隨著 3D 打印的普及，做出更高階的魔方也不是難事，但是缺乏實際意義。目前，量產的最高階魔方是17階。
2、Ping 時鐘
ping 是一個命令行工具，用來顯示本機到服務器的信號傳輸時間。
一位國外程序員突發奇想，製作了一個 Ping 時鐘，在鐘面上顯示 ping 的耗時。
它的鐘面有兩根指針，長指針是每次 ping 的毫秒數，短指針是最長耗時。
鐘面下部是液晶顯示屏，顯示當前所在網絡，以及目標服務器。
每次只要運行 ping 命令，就能很直觀地看到，長指針不停地擺動，網速可視化了。
這個時鐘的源碼，已經開源了，使用 ESP32 芯片、一個微型電機和定製的 PCB 電路板。有電路基礎的同學，完全可以自己動手製作。
3、麻雀的新用途
麻雀有什麼用？澳大利亞科學家想出一個新用途。
澳大利亞是世界主要的鉛生產國，有28個鉛礦。鉛會造成人體中毒，對兒童影響尤其大。
科學家一直尋找監控方法，能夠測試環境的鉛洩漏。他們想到了麻雀。
麻雀比人類，更早攝入環境中的化學物質。只要抓住麻雀，測一下它們的血鉛，就能瞭解是否有鉛洩漏，從而可以早期發出報警（下圖）。
4、其他
（1）一位美國物理學家總結出貓的行為方程，已知貓的質量和疲勞係數，可以算出貓從 t0 到 t1 的位移，該公式的目的是"喚起非專業人士對經典力學的興趣"。
（2）CDN 服務商 bunny.net，推出邊緣函數功能，基於 Deno，可以備用。
文章
1、如何簡化 PATH 環境變量（英文）
Linux 系統有一個環境變量 PATH，指定可執行文件的默認路徑。本文告訴你，怎麼簡化這個變量，更容易管理。
2、AppData 目錄的作用（英文）
一篇科普文章，Windows 11 有一個 AppData 目錄，它有什麼用。
3、藍牙版本的變化（英文）
本文介紹藍牙協議如何進化，每個版本的特點是什麼。
4、業務邏輯不要放入數據庫（英文）
本文提出，數據庫最好只用來存放數據，不要加入業務邏輯，讓應用程序處理業務邏輯。
5、SAML：技術入門（英文）
一篇長文，介紹企業用的登錄協議 SAML。開頭部分是 SAML 簡介，寫得挺好，後面是技術細節，可以不看。
6、質能公式與光速（英文）
一篇物理學科普長文，談怎麼理解質能公式 E=mc^2，為什麼包含光速的平方。沒有數學，我覺得很有啟發。
工具
1、PasteBar
開源的桌面軟件，用來管理剪貼板，可以搜索剪貼板歷史，以及預設常用的粘貼項（比如地址），支持 Windows 和 Mac 系統。
2、FastHTML
一個 Python 的 Web 框架，Django 的替代品，用起來更簡單。
3、Kagi 翻譯
搜索引擎 Kagi 推出的翻譯服務，類似於谷歌翻譯。
4、Star
一個 Web 應用，在手機打開以後，它會利用手機的運動傳感器，顯示某一顆你指定的衛星相對你的方位。
一個開源的網頁終端，在網頁上通過 SSH 連入遠程主機。（@zyyzyykk 投稿）
一個基於 Next.js 的博客和 CMS 系統，查看 demo 站點。（@fecommunity 投稿）
開源的命令行工具，使用 AI 翻譯 PDF 文件，完整保留排版。（@Byaidu 投稿）
8、dimmer
開源的 Chrome 瀏覽器插件，暗黑模式一鍵切換。（@slc3a2 投稿）
9、ThriveX
一個開源的博客系統，基於 Next14 + Spring Boot。鏈接是前端倉庫，另有後端和控制台。（@LiuYuYang01 投稿）
10、Trayce
這個工具攔截本地開發環境中 Docker 容器發送和接收的 HTTP(S) 請求。
11、ngtop
一個命令行工具，用來查詢 nginx 日誌。
12、InputShare
電腦連接安卓設備之後，這個工具可以把電腦的鍵鼠和剪貼板，共享給安卓設備，只支持 Windows。（@BHznJNs 投稿）
資源
1、逆向工程教程（Reverse Engineering For Everyone）
面向初學者的逆向工程英文電子書，涵蓋了 x86 和 ARM 架構。
HTML 的 iframe 元素有很多屬性，這個工具網站可以查看所有屬性值，並生成最終代碼。（@wincatcher 投稿）
這個網頁收集 Chromium（Chrome）瀏覽器的命令行開關，居然有1600多個。
4、Typst 介紹（英文）
Typst 是一種排版工具，可以生成論文、小冊子、表格等，功能類似於 LaTeX，但是寫法類似於 Markdown，用起來相對簡單。
圖片
1、犰狳化石
一個阿根廷農民發現，路邊有四個奇怪的大土塊。
後來經過生物學家辨認，這居然是四個巨型犰狳的化石，這種動物已經在一萬年前滅絕了。
犰狳是一種看上去很像穿山甲的動物，外面披著一身鎧甲。下面就是現代小型犰狳的照片。
巨型犰狳的滅絕原因，有一種說法是跟人類有關，古人想要它們的鎧甲。
2、因紐特人的雪鏡
雪地和冰面會強烈反射陽光，導致視力受損，這叫做"雪盲症"。因此，雪地活動都需要佩戴墨鏡或保護鏡。
因紐特人是美洲北極圈的原住民，已經在那裡定居了幾百年。他們在原始條件下，怎麼防止雪盲症呢？
原來他們使用各種材料（骨頭、木頭、鯨鬚）製作雪鏡，戴在眼睛前，只留出一條窄縫觀察外界。
這種眼鏡限制了進光量，保護了佩戴者的眼睛，也有助於提高視力。它就像針眼相機一樣，狹縫聚焦光線，使得遠處的物體看起來更清晰。
文摘
AI 的發展，使得語音可以成為用戶界面，這稱為"語音 UI"。
有人認為，語音 UI 將是終極 UI，因為當你可以直接說出命令，為什麼還要費心使用鍵盤和鼠標呢？
我不相信語音會成為通用界面，原因有很多。
（1）聲音本質上無法表達抽象思想。很多時候，我們的大腦裡面只有零碎的意識，很難找到正確的詞語，將它們表達出來。
（2）語音讓很多事情變得更難而不是更容易。理論上，說出"叫一輛網約車去機場"似乎是完成任務的最簡單方法，但是如果你還有其他要求，比如指定車型和限價，口頭表達就會很麻煩。
（3）語音侵犯隱私。你說出指令的時候，願意被別人聽到嗎？
（4）視覺 UI 可以展示軟件的侷限性，語音 UI 就不行。很多事情，軟件無法做到，視覺 UI 可以幫助我們瞭解軟件的功能。如果沒有視覺 UI，你很難發現軟件不能做什麼事。
（5）用戶不喜歡一直說話。使用語音完成簡單的任務是可以的，但要完成所有事情很快就會變得煩人，難道你要一直說個不停嗎？
（6）語音無法解決現實世界中的歧義。語言表達可能存在大量歧義，無法通過純語音界面輕鬆解決。人工智能可能無法正確理解你想要完成什麼。
當然，視覺 UI 也有歧義，但是這會更困難，因為你的操作有視覺反饋。
言論
1、
美國的在線教育公司 Chegg，業務是幫助完成家庭作業。學生輸入題目後，它會分發給印度的數千名承包商，讓他們提供答案。
ChatGPT 誕生後，學生不再使用這個服務了，而是直接問 ChatGPT。Chegg 的股價已經下降了99%。
2、
大多數哲學的目的，都是強化你的身心，讓你學會，對於那些自己無法控制的事情要漠不關心、
-- 《禁慾主義》
3、
作為一個德國人，我每月支付的醫保費用是1000歐元左右，另外還要支付差不多金額的個人所得稅。但是，如果我停止工作，結婚並生1-2個孩子，我拿到的失業救濟金 + 生育補助，比我現在的稅後收入還要多。這完全是不可持續的，但政治家們沒人談論這些。
4、
經常有人問我，為什麼2019年決定將 Keras 庫合併到 TensorFlow。
這不是我的決定，而是 TensorFlow 團隊主管的決定。當時我是谷歌 L5 級員工，而他是 L8。如果我不同意這個決定，就需要從谷歌離職。
-- 弗朗索瓦·喬萊（Francois Chollet），神經網絡庫 Keras 的作者，本週宣佈從谷歌離職
5、
創業公司的最大風險不是失敗，而是一種不敢嘗試的文化。
-- 《容忍失敗的領導者》
往年回顧
棘手的 AI 版權（2023 #278）
人類和人生的意義（2022 #228）
家庭太陽能發電的春天（2021 #178）
這個社會是否正在變成"賽博朋克"？（2020 #128）
（完）