Terence Tao | What's new 中文 关注 精益魔典 早在七月,我便开始尝试利用现代编程代理构建一系列数学可视化小程序。由于过去几个月事务繁忙,我不得不搁置这些项目;但最近我终于找到了一些时间,着手推进其中一个早在……便已开始的项目。 Lean Grimoire terrytao.wordpress.com Terence Tao | What's new 中文 RSS thenote.app