V2EX › mizuhashi 的所有回复 › 第 4 页 / 共 6 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6

❮

❯

2022-07-16 07:18:23 +08:00

淘宝找菲律宾外教练口语，很实惠

2022-07-16 00:45:37 +08:00

我觉得除非是超人，能专心编码的时间不会超过 4 小时每天

2022-07-15 14:44:05 +08:00

rails 的关键是 scope 是一种代数，可以自由组合，一般的 query builder 没这功能。另外 rails 的路由是一个有限自动机，而不是别的那样一个正则列表遍历。

2022-06-30 15:23:29 +08:00

agda 的话可以，做法参考 42 楼，你需要构造一个 isTen 类型，然后穿参的时候提供一个这个类型的证明，如果你用 literal 来调用这个证明可以自动产生，但是别的运行时量证明需要你自己写

2022-06-23 22:37:04 +08:00

@kappa 同等难度真不一定有战神 4 容易，砍字幕容易脑溢血

2022-05-21 05:19:49 +08:00

中国的基尼系数要看中南财大的，美国比中国高是不可能的

1 2 3 4 5 6

❮

❯