根据 Lean 在 QQ 群中发布的消息，飞牛 FnOS 的 Arm 版本内测即将启动，支持的 CPU 范围扩大至百元级硬件，包括 RK3399 和 RK3528 等型号，同时为 N1 盒子及 Radxa 系列设备提供官方支持。

当减肥还困在“节食挨饿”“疯狂运动”的循环中时，一款名为Modius Lean的神经调节设备打破了传统模式——它形似耳机，无需手术、不用服药，仅通过低强度电信号刺激大脑，就实现了临床验证的减脂效果，近日正式获FDA批准登陆美国市场，为超重及肥胖人群带来了低风险的体重管理新方案。 神经科技巨头的深耕：Neurovalens的“健康三部曲” 这款创新产品背后的Neurovalens公司，自2013年成 ...

据悉，洪乐潼曾是美国斯坦福大学博士生，目前退学创业。她本科毕业于美国麻省理工学院，获数学和物理双学位，后在英国牛津大学获得神经科学硕士学位。她还曾获得表彰北美地区数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。不久前，洪乐潼入选“福布斯30岁 ...

最近，陶哲轩迷上了形式化数学证明。 在YouTube上，他开设了账号，上传了4段视频：如何用Lean形式化数学证明。 尤其引人注目的是第三支视频（下图右三），他借助GitHub Copilot挑战了数学分析中的基础内容——微积分中的ε-δ极限。 如今，他开始形式化自己的 ...

Meta公司前高管、Lean In的创始人雪莉・桑德伯格指出，这种资源支持上的差距，是导致女性在职场上吃亏的一个重要原因。美国劳工统计局的数据也显示，今年美国职场上的男性数量增加了近40万人，而职场女性的数量却减少了约50万人。