如何系统地学习Lean语言?

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

继续阅读

为什么有的程序员很抗拒使用Ai?

这个现象的确存在,而且很普遍。 我们公司最近也在推AI编程,...

继续阅读

你见过最恶心的邻居是什么样子?

最近三天晚上这辆电摩老是停我车位~~~ 第一天我刚好喝酒,代...

继续阅读

战鹰真名叫什么?

一开始我也不相信会有人叫这种名字,直到我认识了一位优秀的律师...

继续阅读

为什么没人提微软裁员?

微软号称要裁掉全球三分之二的员工,全部用ai代替。 是的,...

继续阅读

有一个***约你出去,你会去吗?

就我楼上,一个单亲妈妈,带两个孩子。 也就电梯里打过几次招呼...

继续阅读