-
2025-06-252025-06-25因为中国人被「美式键盘」给坑了。 这是早年来中国犯下的一个大...
-
2025-06-262025-06-26我就默认你学的是Lean4了。 可以试着玩玩下面两款交互式...
-
2025-06-252025-06-25泻药。 我一向不支持仅拿着 == 运算符的神必行为作为证据来...
-
2025-06-252025-06-25我用自然码七八年了，去年听一个做书记员培训的人说自然码和小鹤...
-
2025-06-262025-06-26啧……鬼知道叫什么。 谁拍的倒是可以告诉你，是 CHOKm...