技术岗成绝对主力，AI是重中之重
We developed a prototype task-level specification generator for the task of verified software translation from Rocq to Lean.
，详情可参考heLLoword翻译
马斯克称X Money将于下月开启早期公开测试
В России призвали отпустить больную раком Лерчек из-под домашнего ареста14:50
长视频也能成为AI创作的新风口近来，我们可以发现不少平台上的AI视频越来越长，以前大多数集中于十几秒或2分钟以下，如今更多的AI视频时长来到了5分钟，甚至接近半小时。比如B站UP主@黄浦江三文鱼 使用AI创作的《把远古沧龙做成六道菜》，三期视频总时长23分钟，即梦AI上线的7部AI短片，较长的体量已接近20分钟。