-
2025-06-29如何系统地学习Lean语言？我就默认你学的是Lean4了。 可以试着玩玩下面两款交互式...
-
2025-06-29后端真的比前端累吗?本人后端，先说结论，后端累 坐标北京，游戏后端开发，也不能说...
-
2025-06-29如何评价首个女性友好的编程语言HerCode?我开发了一个语言 herlang： justj***ac/h...
-
2025-06-29谁在半夜看过鱼缸里的鱼，它们都在干什么？有一次和朋友夜宵，高兴，烧鹅、叉烧、猪手…… 吃多了，半夜睡...
-
2025-06-29什么时候你发现和农村父母渐行渐远？就在昨天。 我和我妈***，看到她一边脸上贴着一块膏药，一...