https://www.aao.org/eye-health/tips-prevention/are-computer-glasses-worth-it

美国眼科学会不推荐使用防蓝光眼镜，因为没有证据证明有用，反而可能有证据证明没用

@qiumaoyuan 试试 imba.io

做之前建议先用用 rails 的 activerecord 体验一下

@yanng 这个只有你自己试了才知道，我个人的感觉是有雅思 7 分以上的帮助不大，因为他相对来说更相当于陪练，深度不够，以下就有帮助。

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

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

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

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

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