AMD、Intel的下一代CPU的PPT都显示了强劲的性能提升，是在吹牛吗？

AMD、Intel的下一代CPU的PPT都显示了强劲的性能提升，是在吹牛吗？

要看有没有吹牛，其实很简单，我们看看已知的信息就行了，先说说...

查看详细
如何系统地学习Lean语言？

如何系统地学习Lean语言？

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

查看详细
有哪些是你用上了mac才知道的事？

有哪些是你用上了mac才知道的事？

M芯的mac出来后，被果粉日常称为大火炉的Intel芯片的m...

查看详细
如何评价阿里等大厂笔试现已经禁用本地IDE？

如何评价阿里等大厂笔试现已经禁用本地IDE？

前段时间有同事离职，一口气面试了十来个人。 我最喜欢问的问...

查看详细
为什么韩国的热辣舞团无法征服中国的男性市场？？

为什么韩国的热辣舞团无法征服中国的男性市场？？

靠什么征服中国男人？ 1992年，中韩两国建交。 很快，还未...

查看详细