這個(gè)世界上有一些超級程序員，他們不僅僅是技術(shù)鉆得深，更可怕的是知識(shí)面廣得沒有邊界。

比如：Fabrice Bellard （參見《》）

再比如美國程序員 Justine Tunney ：

打開她的個(gè)人主頁，你會(huì)看到一長串項(xiàng)目列表，每一個(gè)都足夠讓普通程序員寫進(jìn)簡歷，吹上很多年。

我們挑幾個(gè)最有代表性的看看。

1.一個(gè) Web 服務(wù)器，竟然能跑遍六種操作系統(tǒng)

很多人都寫過 Web 服務(wù)器，但 Redbean 最夸張的地方在于：同一個(gè)可執(zhí)行文件，可以直接運(yùn)行在六種不同的操作系統(tǒng)上。

大家甚至可以自己下載體驗(yàn)一下：

https://redbean.dev/

最不可思議的是，它完全沒有依賴 Java 虛擬機(jī)、.NET、解釋器或者字節(jié)碼，而是真正的 C 程序。

這到底是怎么做到的？

Justine 的思路其實(shí)非常大膽，她認(rèn)為，無論什么高級語言，最終都會(huì)編譯成 x86-64 指令，如果程序本身不依賴外部代碼，那么 Windows、Linux、macOS 等平臺(tái)之間最大的區(qū)別，其實(shí)只是可執(zhí)行文件的封裝格式不同。

既然如此，那為什么不能設(shè)計(jì)一種新的文件格式，把這些平臺(tái)都兼容進(jìn)去？

于是，她發(fā)明了 APE（Actually Portable Executable）。

這是一種真正意義上的可移植可執(zhí)行文件，一個(gè) APE 文件可以直接在多種 x86-64 操作系統(tǒng)上運(yùn)行，而不需要重新編譯。

1. 自己寫了一個(gè) libc

光有可執(zhí)行文件格式還遠(yuǎn)遠(yuǎn)不夠，現(xiàn)實(shí)中的 C 程序幾乎都會(huì)依賴 libc。

這個(gè)庫看起來不起眼，卻負(fù)責(zé)著字符串處理、輸入輸出、內(nèi)存管理、文件操作、網(wǎng)絡(luò)通信、線程、進(jìn)程等一大堆基礎(chǔ)能力，可以說每個(gè) C 程序都離不開它。

而不同操作系統(tǒng)的 libc 實(shí)現(xiàn)又完全不同。

如果想真正做到"一次編譯，到處運(yùn)行"，最大的障礙反而就是 libc。

于是，Justine 干脆自己寫了一個(gè)：Cosmopolitan libc。

這個(gè)項(xiàng)目幾乎把 Windows、Linux、macOS、BSD，甚至裸機(jī)環(huán)境的系統(tǒng)調(diào)用全部統(tǒng)一到了同一套接口下面。

很多程序員看完源碼后的第一反應(yīng)都是："這工作量也太離譜了。"

也正因?yàn)橛辛?Cosmopolitan libc，APE 才真正具備了實(shí)用價(jià)值，而 Redbean 也才能真正做到跨平臺(tái)運(yùn)行。

1. 世界上最小的 Lisp

如果說前兩個(gè)項(xiàng)目已經(jīng)夠硬核了，那么 SectorLisp 就更像是一場炫技。

它是目前已知最小的 Lisp 實(shí)現(xiàn)，整個(gè)程序只有 512 字節(jié)。

沒錯(cuò)，就是 512 字節(jié)。

甚至可以直接作為 PC BIOS 的啟動(dòng)扇區(qū)運(yùn)行。

對于普通程序員來說，512 字節(jié)可能連一句錯(cuò)誤提示都放不下，而她卻塞進(jìn)去了一個(gè) Lisp 解釋器。

1. 把調(diào)試器寫成了藝術(shù)品

Justine 還寫過一個(gè)叫 Blinkenlights 的項(xiàng)目。

最初，它只是一個(gè)命令行調(diào)試器，用來可視化程序如何修改內(nèi)存。

后來大家才發(fā)現(xiàn)，它其實(shí)還是一個(gè)完整的 x86 模擬器。

更厲害的是，它的代碼極其精煉，很多人把它當(dāng)成學(xué)習(xí) CPU 模擬器實(shí)現(xiàn)的教材。

1. 一個(gè)人發(fā)動(dòng)了一場 GitHub 安全修復(fù)行動(dòng)

2016 年，Justine 在使用 Apache Commons 時(shí)，發(fā)現(xiàn)了一個(gè)嚴(yán)重的 Java 反序列化漏洞。

由于 Apache Commons 被大量項(xiàng)目依賴，這個(gè)漏洞幾乎影響了整個(gè) Java 生態(tài)。

發(fā)現(xiàn)問題之后，她沒有停留在提交一個(gè) Issue，而是直接發(fā)起了 RoseHub 項(xiàng)目。

她組織了約 50 名 Google 工程師一起參與修復(fù)工作，最終幫助 2600 多個(gè) GitHub 開源項(xiàng)目修補(bǔ)了這個(gè)安全漏洞，為整個(gè)開源社區(qū)消除了一個(gè)巨大的隱患。

6.在終端里播放視頻

如果你覺得 Linux 終端只能打印文字，那 Justine 會(huì)告訴你：其實(shí)還能放電影。

她曾經(jīng)寫過一個(gè)項(xiàng)目，可以實(shí)時(shí)解碼 MPEG 視頻，再把每一幀轉(zhuǎn)換成終端能夠顯示的字符和顏色。

于是，一個(gè)黑乎乎的命令行窗口，竟然真的播放起了視頻。

第一次看到的人，幾乎都會(huì)懷疑自己的眼睛。

7. llamafile

2023 年底，大模型浪潮席卷全球。

就在所有人都忙著研究 Prompt、Agent 和 RAG 的時(shí)候，Justine 又把目光放到了基礎(chǔ)設(shè)施上。

她與 Mozilla 合作推出了一個(gè)叫 llamafile 的項(xiàng)目。

今天想運(yùn)行一個(gè)開源大模型，通常需要安裝 Python、配置各種依賴、下載推理框架，再折騰半天環(huán)境。對于很多普通用戶來說，真正的門檻并不是模型，而是部署。

llamafile 的思路非常簡單：既然應(yīng)用程序可以打包成一個(gè)可執(zhí)行文件，那為什么大模型不能？

于是，她把 llama.cpp、自己開發(fā)的 Cosmopolitan libc，以及 APE（Actually Portable Executable） 結(jié)合起來，把一個(gè)大語言模型直接封裝成一個(gè)獨(dú)立的可執(zhí)行文件。

用戶只需要下載一個(gè)文件，雙擊運(yùn)行，就能啟動(dòng)整個(gè)大模型，不需要安裝 Python，也不用配置 Conda、Docker 或各種依賴。

更夸張的是，這個(gè)文件仍然保持了 Cosmopolitan 一貫的特點(diǎn)——同一個(gè)可執(zhí)行文件，可以直接運(yùn)行在 Windows、Linux、macOS 等多個(gè)操作系統(tǒng)上。

正因?yàn)樽龀隽诉@么多讓人瞠目結(jié)舌的項(xiàng)目，網(wǎng)上一直流傳著一句評價(jià)：

"每次看到她寫的代碼，我都感到自己無比平庸"

傳奇人生

Justine 的傳奇，其實(shí)從十幾歲就開始了。

1998 年，年僅 14 歲的她開發(fā)了一款叫 Rampage Toolz 的工具，并放到自己的網(wǎng)站上供人免費(fèi)下載。

因?yàn)樵L問量很高，網(wǎng)站光靠廣告，每個(gè)月就能帶來幾百美元收入。對于一個(gè)十四歲的少年而言，這已經(jīng)相當(dāng)驚人。

她當(dāng)時(shí)還給自己起了一個(gè)網(wǎng)名——oogle。

這個(gè)名字來源于一部動(dòng)畫片里的一個(gè)詞，她覺得挺有意思，于是順手注冊了oogle.net 和 oogle.com。

后來發(fā)生了一件更有趣的事情，有人從她手里拿到了 oogle.com 域名，并長期把它做成了一個(gè)"山寨 Google"。

很多人想訪問 Google，卻忘記輸入前面的字母 g，結(jié)果誤打誤撞進(jìn)了 oogle.com。靠著這種流量，這個(gè)網(wǎng)站據(jù)說一個(gè)月最高能賺到 10 萬美元。

2012 年，Justine 加入了 Google，后來進(jìn)入 TensorFlow 團(tuán)隊(duì)工作。

在Google工作6年，攢足了錢以后，她辭去工作，成為了一名開源開發(fā)者，這兩年，除了發(fā)布發(fā)布與完善 Cosmopolitan Libc 4.x之外，她還密集地在底層進(jìn)行矩陣乘法內(nèi)核（Matrix Multiplication Kernels）的極限性能壓榨。

通過純手工的匯編和 CPU 指令集優(yōu)化，她成功將本地 CPU 上的 AI 推理速度提升了 30% 到 500%。這意味著普通用戶的家用電腦和筆記本不需要昂貴的顯卡，就能飛速運(yùn)行本地大模型。

AI 不能抹去我的名字

Justine 曾經(jīng)說過：開源作者幾乎賺不到直接的錢。

真正的回報(bào)其實(shí)只有一樣：名譽(yù)。

她把代碼免費(fèi)送給世界，別人看到源碼頂部的名字，就會(huì)記住："這是 Justine Tunney 寫的。

這種名譽(yù)，就是開源作者未來獲得工作、贊助、演講機(jī)會(huì)以及生存能力的來源。

作者署名，本身就是開源經(jīng)濟(jì)的一部分。

現(xiàn)在，AI在用開源的代碼進(jìn)行訓(xùn)練的時(shí)候，根本不會(huì)考慮作者是誰，它只想要代碼中蘊(yùn)含的智慧，而不是編寫代碼的人的故事。

想象一下，如果把牛頓的名字抹去，但是微積分教材還在，會(huì)發(fā)生什么？

知識(shí)還存在，但是創(chuàng)造知識(shí)的人已經(jīng)消失了。

如果 AI 都這樣訓(xùn)練，未來大家看到的只有知識(shí)，卻不知道是誰創(chuàng)造了知識(shí)，這實(shí)際上破壞了過去幾百年科學(xué)發(fā)展的基本機(jī)制。

Google 當(dāng)年的成功，很大程度上是因?yàn)樗延脩魩У搅嗽瓌?chuàng)作者的網(wǎng)站，讓知識(shí)、流量和聲譽(yù)重新回到創(chuàng)作者手中。

Justine 認(rèn)為：未來的 AI，也應(yīng)該承擔(dān)類似的責(zé)任，而不是只給出答案，卻讓真正的作者消失在歷史里。

占領(lǐng)華爾街

Justine 的影響力并不僅限于軟件開發(fā)。

2011 年，美國"占領(lǐng)華爾街"運(yùn)動(dòng)期間，她注冊并維護(hù)了 OccupyWallSt.org 網(wǎng)站以及 @occupywallst 社交賬號(hào)，一度成為整個(gè)運(yùn)動(dòng)最重要的信息發(fā)布平臺(tái)。

有一次，網(wǎng)站因?yàn)樵L問量暴漲而癱瘓，所有人都急著聯(lián)系管理員修服務(wù)器，結(jié)果卻始終聯(lián)系不上。

后來大家才知道，那時(shí)候她還在睡覺。

Justine 自己解釋說，她的作息一直很特別，白天往往毫無狀態(tài)，真正高效的時(shí)候反而是深夜，因此白天睡覺對她來說再正常不過。

她還有一個(gè)頗具爭議的觀點(diǎn)，她始終相信，真正推動(dòng)社會(huì)發(fā)展的不是政客，而是工程師。甚至還曾在白宮請?jiān)妇W(wǎng)站發(fā)起提案，希望時(shí)任美國總統(tǒng) Barack Obama 辭職，由當(dāng)時(shí) Eric Schmidt 出任"美國 CEO"。理由也很直接：

"政客幾乎都是律師，而真正建設(shè)這個(gè)世界的人，是工程師。"