FirstFT: the day's biggest stories
Jason Gross, Vishesh Saraswat, Jeffrey Chang, Harshikaa Agrawal, Vaidehi Agarwalla, Robert Zhang, Twm Stone, Jacob Green, Shiki Vaahan, Lawrence Chan, and Rajashree Agrawal. "lf-lean: The frontier of verified software engineering." Theorem Blog, February 2026. https://theorem.dev/blog/lf-lean/
，详情可参考有道翻译
他不是只在开播的时候哭，也不是每场直播都卖货，他像是演一场连续剧，每天固定时间直播，每场直播最后留一个“钩子”，明天接着演，人设是接着的，剧情也是接着的。有时候打开一个直播间，你看不懂，为啥？因为你不知道前因后果。。业内人士推荐手游作为进阶阅读
\textrm{Vertical lines: } & |x| = a, \quad |y| \leq a \\，更多细节参见超级权重
Путин освободил от должности помощника секретаря Совета безопасности14:49