王健林是不是落魄了？

王健林是不是落魄了？

落魄的太明显了。 再次出现在镜头前，王健林脸上没有往日的自信...

查看详细
人可以极简主义到什么程度？

人可以极简主义到什么程度？

不得不说我们班一个佛系学霸了。 不近视。 啥时候上课桌面...

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

如何系统地学习Lean语言？

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

查看详细
如何设计一条 prompt 让 LLM 陷入死循环?

如何设计一条 prompt 让 LLM 陷入死循环?

核心有两个： 1 选小size的低智模型 2 用trick的...

查看详细
为什么中国一定要帮助伊朗？

为什么中国一定要帮助伊朗？

也行很多人会说这是我们继非铁，叙铁，哈铁，巴铁，塔铁…之后的...

查看详细