关于陶哲轩(Terence Tao)用 GPT-4 进行数学研究的话题始于陶本人在 微软 Unlocked 上发表的 Embracing Change and Resetting Expectations 一文。文中提到: …… I could feed GPT-4 the first few PDF pages of a recent math preprint and…
gerrit(2) | 为什么使用 gerrit
本文以 Use Gerrit to Be a Rockstar Programmer 的翻译为基础, 增加一点个人笔记。
依照惯例, 中文的括号里是个人的粗浅看法。
概要 (Overview) The term rockstar is often used to describe those talented progra…