图灵奖

最近，美国计算机科学家，图灵奖获得者Jack Dongarra表示，机器学习的硬件正在被我们大量使用。 这是一个不争的事实。 和任何一个机器学习的开发人员聊聊天，你就能发现，运行或者建立一个GPT模型...

还记得大牛们就“AI是否可能灭绝人类”，分成了两大阵营吗？ 由于并不理解为啥“AI会造成风险”，吴恩达最近开启了一个对话系列，去找两名图灵奖得主聊聊： AI究竟存在哪些风险？ 有意思的是，在相继和Yo...

Leslie Lamport可能并不是一个家喻户晓的名字，但对于计算机科学家们来说，他是一些耳熟能详的「名字」幕后的贡献者。比如Paxos算法、排版程序LaTeX、规格语言TLA+、「面包店算法」和...