Web Developer The Ultimate Math Developer!

2022-01-19 02:27:47 +08:00
 xieyuheng

https://twitter.com/CicadaLanguage/status/1483498344332677121

请求转发！

1323 次点击
所在节点    程序员
5 条回复
uni
2022-01-19 13:53:05 +08:00
不如去给 lean 做做贡献？
xieyuheng
2022-01-19 14:34:15 +08:00
@uni 在类型系统方面我有一些自己的 idea ，设计自己的语言可以有更自由的空间去创新。

不过确实也可以向已有的语言学习到很多东西。
uni
2022-01-19 18:54:06 +08:00
@xieyuheng 加油，做这个不容易
现在 lean 在数学界已经开始得到越来越多的关注（尤其得到 Peter Scholze 的关注后吸引了很多数学家的目光），我相信计算机辅助证明进入主流数学界进入一定只是时间问题，然而在这之前仍然有很多路要走，理论上和工程上
加油
xieyuheng
2022-01-19 19:58:16 +08:00
@uni 感觉鼓励！

确实不容易。而且时机也不一定已经到了。有时候我也在想，会不会要需要个几十年才可以～
contractswif
2022-01-23 19:15:50 +08:00
赞一下，很棒

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/829107

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX