鬼使神差副赛道选了概率与组合……明明应该选分析的，看到题目就后悔了 看来是有种无形的力量想让我学概率。 第一题目测跟停时有关，可惜我不会…… def\R{\mathbb{R}} Suppose B_t is a bidirectional Brownian motion, i.e. (B_t){t\ge 0} and (B{-t})_{t\ge 0} are two independent 1-dimensional standard Brownian motion and B_0 = 0. For t \in \R, write X_t = B_t - |t|. Denote \tau the (almost always) unique time s.t. X_{\tau} = \max_{t\in \R} X_t. Prove that (X_{\tau + t}){t \ge 0} and (X{\tau - t})_{t \ge 0} are of the same distribution.

所以说 codegen 才是正道吗？看了 typegraphql 的文档之后，感觉我之前自制的 GraphQL/sequelize decorator 系统就是一坨翔。 我设想的方案是写一些 TS def，设计一套 decorator，然后基于这套 decorator 生成 sequelize schema 和 GraphQL schema。这种内存中生成 schema 的缺陷在于有 bug 不好调试，因为你不知道生成出来的是什么东西。此外就是 runtime 生成会带来一些奇怪的循环依赖问题，我花了很多时间和精力处理这些东西，若可以绕过则是极好的。 Codegen 没有这些问题。它的根本优势在于预编译自由得多，可以做各种处理（不像运行时编译只能基于有限的且不可靠的 type metadata 做），而且生成的内容是固定的、可见的，甚至可以（也应该）check in 到 repo 里。这对于大型项目开发无疑是重要的。 而且几年不写前端，现在的方案（指 typegraphql-prisma）已经可以进化到这么好用、这么细粒度了。可以自定义 expose 哪些 field 就不说了，甚至可以细化到某个 method 的权限管理，真是颇有点当年 rails 框架 conventional over configuration 的风范了，只不过这一次更牛，是 type safe 的。 说到这里更不得不佩服 TypeScript 的远见卓识。有 TypeScript 无敌类型系统的加持，这样的方案才得以运行，其他语言则只能望洋兴叹了。

就像牛顿三定律或者光速不变那样，系统设计存在一个能推导出一切的出发点吗？

https://leetcode.com/contest/weekly-contest-350/problems/painting-the-walls/ 说白了就是：Given two integer arrays cost and time of size n. Choose m <= n indices M from {0, 1, ..., n-1}, s.t. \sum_{i \in M} \mathrm{time}i + m >= n, while minimizing \sum{i \in M} \mathrm{cost}i. 其中 \sum{i \in M} \mathrm{time}i + m >= n 这个约束，第二项是 m 个 paid painter 的贡献，第一项是在这些 paid painter 工作期间，free painter 可以做的贡献。容易想到它可转化为 \sum{i \in M} (\mathrm{time}_i + 1) >= n，那么把 time 的每个元素 + 1，就化为了原版的「有容量下界限制的背包问题」。

比如 template<typename T> oid addName(T&& name) { names_.push_back(std::forward<T>(name)); 直接简化成 void <T>addName(T&& name) { names_.push_back(forward(name)); 不好吗？

@Nicekingwei 你知道吗？

如题。