如何系统地学习Lean语言？

如何系统地学习Lean语言？

我就默认你学的是Lean4了。 可以试着玩玩下面两款交互式...

查看详细
如何评价Electron？

如何评价Electron？

一眨眼就到2025年了，新年快乐！ 去年年底（其实就是昨天）...

查看详细
现在的年轻人为什么跟父母沟通不来了？

现在的年轻人为什么跟父母沟通不来了？

身边的人经常有人会问我，你一个人在外面上班不会想家吗，我没有...

查看详细
如今的Intel为什么连AMD都打不过？

如今的Intel为什么连AMD都打不过？

ZEN1出来前的7700k，4c8t卖2k，大家应该还历历在...

查看详细
到底是9800x3d+5070ti还是u7+5080?

到底是9800x3d+5070ti还是u7+5080?

9800X3D 3300 U7 2200 两者相差1000 ...

查看详细