我个人印象里最复杂的几个东西是 1 ctfe 2 trait solver 3 gat

现在 ctfe 似乎直接嵌了个 miri进去？

拿最近3年Forbes公开的大陆富豪榜800个作为种子用户（基本都是企业家），通过二度关系扩展到几十万，覆盖全国各地的主要城市，然后以这几十万为种子，分城市继续扩展，按二度好友数逆序排，发现除了北上深杭广外，其他城市排前面的几乎是一色的市长、秘书长、局长、区长、国土资源局长等等，反而很少企业家，越是低线的越是明显、集中。也许广袤的天朝只需要“顺从”的良民😤