如何系统地学习Lean语言？

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

***拍大尺度片子时摄影师不会看光吗？

我现在从事服装行业（内衣）。 这么说把，现在的***，想接... [更多]

为什么软件公司很少用python开发web?

自荐一个数据构建小工具： pydantic-resolve,... [更多]

Golang和J***a到底怎么选?

就不想用rust吗？局面打开，j***a写一堆class太臃... [更多]

macbookair m4 值得入手吗?

值得，买了会方便非常多，并且只建议买13寸5799款。 我... [更多]