2025-06-27 2025-06-27 Rust的工程配置为何用toml格式？ By 拉仁乡_江西省九江市永修县利延祝它交通产品有限合伙企业 2025 年了，这个问题不知道又被谁顶上来了。 答案很简单... 阅读更多
2025-06-27 2025-06-27 如何系统地学习Lean语言？ By 拉仁乡_江西省九江市永修县利延祝它交通产品有限合伙企业 我就默认你学的是Lean4了。 可以试着玩玩下面两款交互式... 阅读更多
2025-06-27 2025-06-27 有一个女儿是种怎样的体验？ By 拉仁乡_江西省九江市永修县利延祝它交通产品有限合伙企业 有两个女儿，大女儿研究生毕业，小女儿是措施未做好，老婆意外怀... 阅读更多
2025-06-27 2025-06-27 你生活中做过最自律的一件事是什么？ By 拉仁乡_江西省九江市永修县利延祝它交通产品有限合伙企业 1.每天练瑜伽。 即使失眠，即使睡眠不足，即使被所烦恼的事... 阅读更多
2025-06-27 2025-06-27 你见过最无用的节俭行为是什么？ By 拉仁乡_江西省九江市永修县利延祝它交通产品有限合伙企业 那必须是我妈 1，不买垃圾袋，用超市里薅来的免费塑料袋，然后... 阅读更多
