慣性聚合 高效追蹤和閱讀你感興趣的部落格、新聞、科技資訊
閱讀原文 在慣性聚合中打開

推薦訂閱源

博客园 - 司徒正美
V
V2EX
T
Tailwind CSS Blog
有赞技术团队
有赞技术团队
aimingoo的专栏
aimingoo的专栏
Apple Machine Learning Research
Apple Machine Learning Research
IT之家
IT之家
Blog — PlanetScale
Blog — PlanetScale
A
About on SuperTechFans
月光博客
月光博客
T
The Blog of Author Tim Ferriss
宝玉的分享
宝玉的分享
Martin Fowler
Martin Fowler
博客园 - 聂微东
The GitHub Blog
The GitHub Blog
V
Visual Studio Blog
WordPress大学
WordPress大学
酷 壳 – CoolShell
酷 壳 – CoolShell
Engineering at Meta
Engineering at Meta
GbyAI
GbyAI

阮一峰的网络日志

科技爱好者周刊(第 396 期):互联网通信的替代方案 科技爱好者周刊(第 396 期):互联网通信的替代方案 - 阮一峰的网络日志 科技爱好者周刊(第 395 期):软件开发的第三种方式 科技爱好者周刊(第 395 期):软件开发的第三种方式 - 阮一峰的网络日志 科技爱好者周刊(第 393 期):脑腐状态 科技爱好者周刊(第 392 期):axios 投毒与好莱坞式骗术 科技爱好者周刊(第 391 期):AI 的贫富分化 科技爱好者周刊(第 390 期):没有语料,大模型就是智障 套壳中国大模型撑起500亿美元估值?扒一扒 Cursor 的"套壳"疑云 科技爱好者周刊(第 389 期):未来如何招聘程序员 科技爱好者周刊(第 388 期):测试是新的护城河 零安装的"云养虾":ArkClaw 使用指南 科技爱好者周刊(第 387 期):你是领先的 科技爱好者周刊(第 386 期):当外卖员接入 AI 字节全家桶 Seed 2.0 + TRAE 玩转 Skill 科技爱好者周刊(第 385 期):马斯克害怕中国车企吗? 智谱旗舰 GLM-5 实测:对比 Opus 4.6 和 GPT-5.3-Codex 科技爱好者周刊(第 384 期):为什么软件股下跌 科技爱好者周刊(第 383 期):你是第几级 AI 编程 Kimi 的一体化,Manus 的分层 科技爱好者周刊(第 382 期):独立软件的黄昏 AI native Workspace 也许是智能体的下一阶段 科技爱好者周刊(第 381 期):中国 AI 大模型领导者在想什么 科技爱好者周刊(第 380 期):为什么人们拥抱"不对称收益" 科技爱好者周刊(第 379 期):《硅谷钢铁侠》摘录 我如何用 AI 处理历史遗留代码:MiniMax M2.1 升级体验 科技爱好者周刊(第 378 期):预测是新的互联网热点 科技爱好者周刊(第 377 期):14万美元的贫困线 科技爱好者周刊(第 376 期):太空数据中心的争议 科技爱好者周刊(第 375 期):一扇门的 Bug 终于有人做了 Subagent,TRAE 国内版 SOLO 模式来了 科技爱好者周刊(第 374 期):6GHz 的问题 VS Code 使用国产大模型 MiniMax M2 教程 科技爱好者周刊(第 373 期):数据模型是新产品的核心 国产大模型接入 Claude Code 教程:以 Doubao-Seed-Code 为例 科技爱好者周刊(第 372 期):软件界面如何设计 大模型比拼:MiniMax M2 vs GLM 4.6 vs Claude Sonnet 4.5 科技爱好者周刊(第 371 期):一个乐观主义者的专访 科技爱好者周刊(第 370 期):正确的代码高亮 错误处理:异常好于状态码 科技爱好者周刊(第 369 期):Tim 与罗永浩的对谈 科技爱好者周刊(第 368 期):不要这样管理软件团队 一天之内,智谱和 Anthropic 都发了最强编程模型 科技爱好者周刊(第 367 期):Nano Banana 的几个妙用 科技爱好者周刊(第 366 期):旧金山疯狂的 AI 广告 科技爱好者周刊(第 365 期):流量变现正在崩塌 科技爱好者周刊(第 364 期):最难还原的魔方 科技爱好者周刊(第 363 期):最好懂的神经网络解释 科技爱好者周刊(第 362 期):GitHub 工程师谈系统设计 科技爱好者周刊(第 361 期):暗网 Tor 安全吗?
科技愛好者週刊(第 324 期):人類已知的最大質數
阮一峰 · 2024-11-08 · via 阮一峰的网络日志

這裡記錄每週值得分享的科技內容,週五發佈。

本雜誌開源,歡迎投稿。另有《誰在招人》服務,發佈程序員招聘信息。合作請郵件聯繫[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)

(完)