本雜誌開源,歡迎投稿。另有《誰在招人》服務,釋出程式設計師招聘資訊。合作請郵件聯絡([email protected])。
封面圖
世界最大博物館之一的盧浮宮,在阿聯酋的阿布扎比有一個分館。這個分館建在一個海島上,遊客可以划著皮划艇進入參觀。(via)
人類已知的最大質數
上個月,有一個不太引人注目的科學發現:人類已知的最大質數誕生了。
除了數學家,大概沒人會對這個訊息感興趣,它離日常生活太遠了。
但是,本週《華盛頓郵報》的一篇報導,卻把這個發現跟普通人拉近了距離。
大家恐怕想不到,發現這個數字的人不是數學家,而是程式設計師。《華盛頓郵報》就是講述背後的精彩故事,我看得津津有味,科學報導就該這麼寫,下面分享給大家。
====================
2024年10月10日,美國程式設計師盧克·杜蘭特 (Luke Durant) 發現了人類已知的最大質數。
那天晚上,他收拾衣物,準備從加州返回阿拉巴馬州的老家。出門之前,他決定遠端登入伺服器,看一下正在執行的指令碼。
他原以為,就像過去一年的每次遠端登入一樣,指令碼要麼沒有結果,要麼報錯。但是,那天晚上不一樣,指令碼給出了執行結果。
杜蘭特意識到,他剛剛發現了世界上新的最大質數。他立刻告訴同伴這個訊息,然後顧不上回老家了,開始仔細檢查指令碼的結果。
他發現的這個質數,後來被命名為 M136279841。它大得離譜,足足有41,024,320個十進位制位。如果你每秒讀一位,需要475天才能讀完。這個數字等於2的136,279,841 次方減一。
為了算出這個數字,杜蘭特花了差不多一年,自掏腰包大約200萬美元,去購買 GPU 計算時間,用來執行指令碼。
今年36歲的杜蘭特,曾經在 Nvidia 公司擔任程式設計師。公司的股價上漲,讓他賺到了足夠的錢,於2021年離職,開始投入自己的專案。
他選擇的專案,就是計算梅森質數。他在 Nvidia 的經歷,讓他能夠熟練使用 GPU 程式設計,去完成高速計算。
17世紀,法國傳道士馬林·梅森(Marin Mersenne)提出,存在無數個質數,可以表示成 2n - 1 的形式,比如3等於22 - 1,7等於23 - 1。
目前,人類已知的梅森質數有52個(包括杜蘭特發現的那個)。尋找新的梅森質數,早就成了數學迷的一種愛好。
上個世紀90年代,網際網路出現後,一個美國程式設計師喬治·沃爾特曼(George Woltman)組織了"網際網路梅森質數搜尋計劃"(Great Internet Mersenne Prime Search,簡稱 GIMPS 計劃)。
GIMPS 計劃的目的,就是使用計算機程式,尋找梅森質數。它的官網提供程式下載,你可以在自己的電腦上執行這個程式,它會在計算機的空閒時間進行計算,尋找下一個梅森質數。
目前,全世界大約有3,000~5,000名志願者在執行這個程式。梅森質數實在太難算了,在過去的28年裡,GIMPS 計劃一共發現了18個梅森質數。
上一個數字發現於2018年,比杜蘭特發現的第52個梅森質數短了1600萬個十進位制位。
杜蘭特的不同之處在於,在他以前,所有人都使用 CPU 進行計算,只有他使用 GPU。CPU 一兩週的計算量,GPU 大約只需要一兩天的時間。
杜蘭特為了找到這個數字,動用了17個國家/地區24個機房和兩家雲服務商的伺服器,進行協同計算。
他說:"如今個人的能力比歷史上任何時候都強得多,你能呼叫的雲端計算,規模令人難以置信。我們擁有這樣神奇的強大系統,所以最好弄清楚如何利用它們。"
梅森質數沒有任何實際用途,科學家尋找它只是為了樂趣和探索人類知識的邊界。
杜蘭特由於這個發現,得到了3000美元獎金。他把這些錢捐給了阿拉巴馬州的公立寄宿學校,那是他去加州理工學院讀大學前的母校。
他發現的最大質數已經到了4100萬位,GIMPS 計劃依然在懸賞第一個找到十億位質數的人。
活動
本週有兩個很不錯的活動,大家看看。
豆包 MarsCode 校園釋出會
大學生怎麼學 AI,提升競爭力?學習中遇到困難,怎麼解決?畢業後怎樣加入該行業?
這都是同學們非常關心的問題。
現在,豆包大模型旗下的豆包 MarsCode 正式進入校園,推出一系列活動,為同學們服務,舉辦課程、活動、mvp 評選等,幫助大家找到自己的未來。
下週六(11月16日)下午是釋出會直播,當天除了介紹各種 AI 相關的校園活動,還有來自全國各高校的學長學姐分享學習成長之路,與豆包 MarsCode 專家對話 AI 職業發展等。
從今天開始,就可以報名。為了鼓勵參與,每天都有接力獎、驚喜開獎、微信群福利,直播當天還有抽獎。獎品非常多,都是同學們想要的。
現在掃描上方海報二維碼,或者點選這個連結,瞭解詳情和報名。
[競賽] 釦子 AI 挑戰賽
位元組旗下的"釦子 Coze"正在舉辦模板挑戰賽。我介紹一下這個比賽。
11月22日前,你只要用它建立一個 AI 應用,提交到官網的智慧體商店,就能參加比賽。
掃描上方海報二維碼,或點選這裡,瞭解詳情。
大家不要覺得這比賽很難,釦子是"工作流模式"(參考我的介紹文章和官方文件),全圖形介面,透過編排節點,自動生成 AI 應用,沒有程式設計基礎也能上手。
而且,釦子本週還開通了付費模板。你可以為自己的應用模板設定價格,實現變現。別人基於你的應用進行修改,必須付費購買模板,從而為你帶來收入。
本次比賽會根據模板複製的數量,給予1000元~10000元的獎金。搭建 AI 應用不收費,大家不妨從模板商店尋找靈感,試試用低程式碼程式設計,完成 AI 開發。
科技動態
1、舊金山膠囊旅館
舊金山市中心有一家月租的膠囊旅館,由於太受歡迎,想入住的人必須網上申請,然後進行抽籤。
結果,17個床位有300個人申請。
一個上下鋪的床位,月租價格是700美元(約人民幣5000元),包含水電費、上網費、公共淋浴、廁所、一個儲藏櫃和共用廚房的使用權。
這麼貴的鋪位,還如此搶手,原因是你在舊金山再也找不到如此便宜的住宿了。
由於有矽谷,舊金山是美國房價最高的地區。公寓裡面的一個合租單間,月租要3000美元~3500美元,普通美國人也租不起。
2、伯明翰的 Oracle 災難
2022年,英國伯明翰市政府更換 ERP 系統,使用 Oracle 替換已經執行20多年的 SAP 公司產品。
上線後才發現,Oracle 無法生成現金審計報告,市政府迫不得已改用人工審計。
Oracle 系統的更換成本,已經最初估計的1900萬英鎊(約1.75億人民幣)增加到1.31億英鎊(約12億人民幣)。
該問題何時解決,還不得而知,成本將進一步上升。這件事情反應了,更換大型的線上系統的風險有多高。
3、AI 虛構的萬聖節晚會
上月底是萬聖節,兩個巴基斯坦青年做了一個網站,上面是全世界各地的活動資訊。
但是,他們沒有披露,為了節省資料蒐集的成本,這些活動都是 AI 生成的,實際上不存在。
結果,一個不知情的愛爾蘭訪問者轉發了活動資訊,更多的人看到後,又轉發到 Tiktok 和 Instagram。
結果,萬聖節那天晚上,愛爾蘭首都都柏林的某條大街上,聚集了上千人,都等著參加活動。
大家在街上站了幾個小時,發現上當了,根本沒有活動。為了避免更多人聚集,警方不得不發出通告。
第二天,這個事件就上了國際媒體,那兩個巴基斯坦青年不得不道歉。它凸顯了,內容註明"AI 生成"的必要性。
4、其他
(1)中國開始向民眾徵集月球車名稱,並披露了兩種月球車設計方案。
(2)Etched 公司宣佈了世界第一款實時 AI 遊戲《綠洲》,基於 MineCraft 進行訓練,遊戲畫面都是 AI 實時生成,參見網友的介紹網站。
(3)OpenAI 公司啟用域名 chat.com,跳轉到 chatgpt.com 。
文章
1、ChatGPT 搜尋 vs 谷歌搜尋(英文)
上週,OpenAI 公司推出了 ChatGPT 搜尋,跟谷歌發生正面競爭。
網路媒體就去對比了兩者的搜尋結果,結果就是一句話:谷歌有麻煩了。
2、為 Git 命令設定別名(英文)
作者介紹怎麼為 git 命令設定方便的別名,比如git add -A
可以設為git a
。
3、如何生成簡歷網頁(英文)
作者用靜態站點生成器 Eleventy(基於 JS 語言),為自己做了一張簡歷網頁(上圖),還可以本地列印為 PDF 檔案。
4、我為 VS Code 貢獻了程式碼(中文)
VS Code 內建的 TypeScript 語言伺服器,有一個 bug,作者修復了這一問題。(@imbant 投稿)
5、如何將 makefile 用於 Node.js 專案(英文)
本文詳細教你怎麼用 makefile 管理 Node.js 專案的各種內部操作。
6、Lit 框架開發 Web Components 入門教程(英文)
一篇不錯的 Lit 框架入門教程,教你怎麼寫一個 Web component。
7、Ruby 如何載入模組(英文)
一篇初學者教程,介紹 Ruby 程式的模組載入方法的歷史演變。
工具
1、flyscrape
一個網頁抓取的跨平臺命令列工具,使用 Go 語言編寫,但是它的操作指令碼是用 JS 寫的,方便使用者提取網頁內容。
2、uv
Rust 語言寫的 Python 包安裝器,可以替代 pip,執行速度更快,參見介紹文章。
3、ChatTCP
一款 Mac 的 TCP 資料包分析工具,致力於簡化 TCP 分析,核心功能免費。(@wujiuye 投稿)
4、typing-practice
開源的英文打字練習工具。(@wincatcher 投稿)
5、雲搭
開源的低程式碼平臺,用來搭建小程式、H5、問卷、圖文文章等多種應用,試用 Demo。(@wangyuan389 投稿)
6、NextTalk
一個基於 Next.js 的網頁版實時聊天工具,使用說明詳見它的桌面版,可以作為開發參考。(@Mebius1916 投稿)
7、dazhengTools
開源的純前端線上加/解密工具箱,可以離線使用。(@dazhengs 投稿)
8、TempMail
臨時郵箱服務,支援 iOS 和網頁端。(@houzhongjian 投稿)
9、自動化巡檢系統
一個開源的網址狀態定時巡檢工具,防止指定網址出現白屏、服務無響應等問題,有異常會傳送釘釘、企業微信、飛書警報,體驗 Demo。(@zdx0122 投稿)
10、Magika
一個命令列工具,可以檢測某個檔案是什麼型別(比如圖片檔案還是文字檔案),有網頁的 JS 版。它是谷歌的產品,谷歌內部也在用它檢測檔案型別。
AI 相關
1、AI Hear
一款離線執行的桌面軟體,實時語音轉文字、實時翻譯、字幕匯出,支援 Mac、Windows。(@phonechan 投稿)
2、5ire
開源的大模型桌面客戶端,支援 Windows、Mac。(@nanbingxyz 投稿)
3、CR-Mentor
一個開源應用,自己搭建 AI 服務,自動對 GitHub 的程式碼提交進行 code review。(@Gijela 投稿)
4、APIPark
開源的一站式 AI 閘道器,搭建企業自己的 AI 開放平臺,方便同時接入多種模型,進行 API 呼叫。(@Frey2024 投稿)
5、Srcbook
一個開源程式設計平臺,給出文字描述,然後透過 AI 生成 JS 的全棧應用。
6、Claude Artifacts
Claude 模型的 Artifacts 功能,與上一條的作用相同,可以生成一個單頁應用,但是不開源,本文介紹該功能。
7、Browser-Use
一個 Python 庫,可以透過 AI 模型,完成瀏覽器自動化。
資源
1、Unfaked
一個免費圖片庫,收集可以亂真的 AI 生成圖片。
2、系統設計面試:內幕指南(中譯)
《System Design Interview: An Insider's Guide》一書的中文翻譯,介紹如何設計不同目的的軟體系統,可以用來準備面試。(@Admol 投稿)
3、Auth Wiki
一個維基網站,收錄各種與身份驗證、授權和身份管理相關的條目,解釋很詳細。
4、3D 衛星圖
這個網站可以實時檢視所有執行中的地球衛星,選擇一個地點,可以看到該地上空現在是什麼衛星。
圖片
1、太陽能板
太陽能板的價格,正在快速下降,已經接近或低於普通的擋板。
以後,我們看到的建築物,很可能都會採用太陽能板作為外牆。
文摘
1、為什麼美國醫院還在使用尋呼機?
尋呼機是上個世紀的通訊工具,現在已經淘汰了。
但是,近80%的美國醫院還在使用尋呼機,這是為什麼?
這有幾個原因。
(1)訊號問題。
尋呼機使用的是類似調頻廣播的訊號,不是手機的 3G/4G/5G 訊號,穿透性更好,覆蓋範圍更廣。醫院的某些死角,收不到手機訊號和 Wi-Fi,但是尋呼機依然有訊號。
這使得尋呼機比手機更可靠,如果發生災難,尋呼機比手機更不容易斷網。
(2)續航。
尋呼機的電池壽命很長,可以兩週充電一次,而手機一般是每天一充。
(3)簡單性。
尋呼機比較簡單,不易被攻擊或破解。即使落在別人手裡,洩漏的資訊也很有限。
言論
1、
一項美國的調查發現,81%的公司釋出過虛假的招聘廣告,目的有幾個:(1)在招聘網站持續亮相,(2)建立人才庫,(3)讓現有員工感到自己是可替代的,從而不敢鬆懈。
-- 《幽靈工作對科技從業者的破壞》
2、
現代硬體的速度快得難以置信,蘋果的 M1 Max 晶片執行頻率為 3.2GHz,即每秒32億個時鐘週期。
然而,我用它開啟微軟的 Teams 需要3秒,我不相信這需要花費96億個時鐘週期。我知道這樣說過於簡化,我的意思是:硬體變得如此之快,我們使用的應用程式卻變慢了,這究竟是怎麼回事?
-- preyneyv.dev
3、
一項調查發現,科學論文中 might 和 probably 這種表示不確定的修飾詞的出現頻率,過去20年中下降了40%。
這表明科學論文的不可靠、誇大其詞的論斷,正在令人擔憂地增多了。
-- Science 官網
4、
"中產階級"這個詞在美國的含義,正在改變。以前的中產階級,是指有足夠資金進行投資的人,他們有穩定的工作,有房子、汽車、家庭和退休金。
現在的中產階級,更像不穩定階層。你有一份工作,但隨時可能失去它。你買不起房子,無力為退休儲蓄,平時僅僅支付賬單就手頭緊張。
這是美國的新常態。我的一個銀行朋友說,他的大多數客戶,支付租金後的賬戶餘額最多隻有幾百美元。
-- Hacker News 讀者
5、
美國心理學會的一項研究表明,消耗腦力的思考,會導致煩躁、沮喪或其他負面情緒,所以"思考不利於健康"這個觀點是對的。
-- 合眾社報導
往年回顧
工作臺副屏的最佳選擇(2023 #277)
臉書的公司入職教育(2022 #227)
iPad 的真正用途(2021 #177)
未來人人開發軟體,幾乎沒人編碼(2020 #127)
(完)