马来西亚是一个什么样的国家？

马来西亚是一个什么样的国家？

马来西亚：表面是天堂，实际是……我不敢说太多 这篇文章我考虑...

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

如何系统地学习Lean语言？

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

查看详细
有什么是你去了山西才知道的？

有什么是你去了山西才知道的？

全山西除了太原的12123，其他地区的全都打不通，甚至包括大...

查看详细
PS怎么画斜的直线？？？

PS怎么画斜的直线？？？

今日吃瓜：在数位屏（或数位板）用尺子画直线是怎样的？ 这...

查看详细
MacBook的诱惑在哪里？

MacBook的诱惑在哪里？

M2 Max，不插电直接开Pro Tools，一分钟以内可以...

查看详细