那些女程序员的传奇人生，比你想得更精彩（文末有福利）

一说起“程序员”，很多人会在脑海里勾勒出一个格子衫、双肩包、微胖的男子形象，好像这个职业天生就是男性的领域。

但其实世界上很多关于计算机的、非常重要的“第一次”，都是由女性创造的。

世界上第一名程序员

世界上的第一名程序员，是一名女性，名叫阿达·洛芙莱斯（Ada Lovelace）。

她出生在两百多年前，家世显赫，父亲是大诗人拜伦（对，就是你知道的那个拜伦），母亲是一名数学家。

1833年的6月5日，阿达参加了数学家查尔斯·巴贝奇(Charles Babbage)在家举办的聚会。

她看到差分机和分析机的构想，立即为其着迷。随后，阿达提出了用二进制数代替十进制数，数字和字母等符号可以编码成数据等编程概念。

在巴贝奇发明了一台分析机后，在1842年与1843年其间，阿达花了9个月的时间翻译意大利数学家路易吉·米那比亚对巴贝奇最新的计算机设计书（即分析机概论）所留下的备忘录。

在这部译文里，她附加许多注记，详细说明用计算机进行伯努利数的运算方式。同时，她认为，机器不仅可以进行预设的任务，还可以根据编写和重编的程序完成其他任务。

这不就是计算机编程吗？

阿达没有让这些理论停留在理论，而是真正动手做了起来。1843 年，她公布了世界上第一套算法。因此，阿达也被认为是世界上第一位程序员。

分析机模型

为了纪念她，从上个世纪80年代开始，多个国家和组织设立了以其命名的奖项和学会。美国国防部制作的一款新的高级计算机编程语言，并以“Ada”命名，还以她的生日设立了一个编号MIL-STD-1815。英伟达则用她的名字为新一代5nm制程工艺的显卡命名。

阿达曾对着分析机预言，“这个机器未来可以用来排版、编曲或是各种更复杂的用途，它将创作出无限宽广的精妙的科学乐章。”

而现在，这一切都已由人工智能变成现实。

Debug之母和编译器的发明者

在计算机的世界里，硬件重要还是软件重要？

在2021年，你的答案一定是，都重要。但是在近百年前，并没有人重视编程的重要性。

当时的计算机科学家们认为硬件才是计算机的核心，所以将软件的工作交给女性去完成。但就是这些女性，研究出了编码计算机指令的方法，让指令控制硬件，将计算机软件的重要性被看到、被重视。

其中最传奇的一位，叫格蕾丝·赫柏（Grace Murray Hopper）。大名鼎鼎的“Bug”和“Debug”，就是她第一次使用在计算机领域的。

1945年9月9日，格蕾丝使用的计算机Mark Ⅱ出现故障，导致工作无法进行。

经过了近一天的检查，格蕾丝找到了故障的原因：继电器中有一只死掉的蛾子。

蛾子被夹了出来。格蕾丝则在自己的工作日记中写道：这是首次发现Bug。（This is the first actual bug found.）后来，“Bug” (虫子) 和“Debug” (除虫) ，就成了程序员们一生的宿敌与使命。

计算机史上的第一个Bug

格蕾丝·赫柏还发明了世界上第一个编译器——A-0 系统。（不知道编译器是什么的建议出门补课后再继续阅读。）

正是编译器的出现，让人们可以用更接近英语的语言进行编程，再由编译器处理成CPU可直接计算的代码，大幅提高了编程效率，降低了编程的学习门槛。

可以说，如果没有格蕾丝发明的编译器，编程将不可能成为一种职业，而会成为一种窄众科学，更不会有接下来的计算机互联网浪潮。

1956年，格蕾丝开发出来一套很完整的程序语言，叫做FLOW-MATIC，这套语言专为商用而设计。在此之上她和IBM合作，开发出了著名的COBOL商用语言。

格蕾丝因出色的编程技术及对编程领域的巨大贡献，80岁才从任职的美国海军退役。

回看过往，当她开始自行开发编译器时，并没有得到高层的许可。她说：“请求原谅，总是比得到许可更容易。”（It's always easier to ask forgiveness than it is to get permission.）

“ImageNet”创始人

时间来到21世纪，一位AI大神崛起，她叫李飞飞。

1976年出生于北京，长在四川，16岁随父母移居美国新泽西州。

初到美国，因为一家人语言不通，他们度过了一段艰辛的岁月。为了更快地融入当地生活，李飞飞抓紧一切时间突破语言障碍，最忙的时候，每天才睡4个小时。

功夫不负有心人，最终，她以 SAT 1250分、数学满分的成绩被普林斯顿大学计算机系录取，被当地报纸专门采访报道。

大学期间，她和同学们组织关于“南京大屠杀”的研讨会，毕业以后拒绝了高盛和麦肯锡的Offer，来到西藏助力藏药研究。

她说，我忠于自己的内心；她说，更希望人们过得好。

后来，李飞飞去了加州理工（知名美剧生活大爆炸里的那个大学），攻读人工智能和神经科学方向博士学位。毕业后加入斯坦福大学，选择了当时并不被看好的方向——计算机视觉识别。

图像识别现在是炙手可热，但在当时却无法被理解，很多人认为这项研究缺乏意义。

在如此举步维艰的情况下，李飞飞用了两年半的时间，建立了“ImageNet”数据库，并推动其成为比赛。

对，就是那个非常知名的ImageNet大规模视觉识别挑战赛（ILSVRC）。

经过这个比赛，研究者们终于意识到数据和算法同样重要，引发了人工智能井喷式的发展。

因为她的贡献和卓越成就，李飞飞在33岁那年获得了斯坦福的终身教职。2015年入选2015年“全球百大思想者”。2018年3月获“影响世界华人大奖”。2020年成为美国国家工程院院士。

她说，人工智能已经走过了0-3岁的阶段，而3-10岁是最难，也最关键。这一阶段需要由工业界来完成。

在AI领域中，像这样了不起的女性还有很多。据2020人工智能全球女性榜（Women in AI）显示，在2000位人工智能最具影响力AI学者中，便有179位是女性学者。

在OneFlow，也有一支精锐的女性团队。她们专业过硬又坚韧不拔，对人工智能领域抱有强大的好奇心、持续的探索精神和无与伦比的耐心。

你看到的《InsightFace：用OneFlow轻松实现超大规模人脸识别模型》、《快过HugeCTR：用OneFlow轻松实现大型推荐系统引擎》等优质内容，都是以她们为主导的工作成果。

如果你也想和这些优秀的女性一起并肩奋斗，如果你也想成为这样优秀的女性，不妨看看OneFlow的工作机会，我们会为你提供一个公平、透明、充满生命力的平台。

在公众号内回复“招聘”或点击这里，了解OneFlow的在招岗位吧。

最后，我们想说，我们不祝你节日快乐，因为这祝福太小。我们祝你在任何你喜欢、感兴趣、愿意为之奋斗的领域，都能得到自己想要的结果，活成自己想活的样子，为这个世界更添一份美好。