2023年5月4日 · 这也是写在公司名 Modular 中的事情。 Python 是 first class 支持，没有 Swift 或者 Julia 的历史包袱，是吃掉 Python 生态的必要条件。 用一句话概括 Mojo 的本质的话，我认为是： MLIR …

2017年6月25日 · 注: 这在群论中称为戴德金模律 (Dedekind's Modular Law), 并可以借助陪集的性质将该结论推广到 S,T,X 为 G 的子群的情况 (见 [Rob 96]), 但应该注意的是由于子群的乘积并不能总成为子 …

2015年1月27日 · 总而言之，入门的话读读Serre的书就好了。 关于单变量理论有本The 1-2-3 of Modular Forms写得很有意思，Zagier写的部分介绍了不少模形式理论在数论中的应用（Fermat's last …

2020年4月21日 · SPMT Self-propelled modular transporter中文名称：自行式模块运输车，又名自行式液压平板车。想深入学…

2024年4月11日 · 什么是Modular Bootstrap？ 最近在看TT bar deformation、模形式之类的，看到文章提到了modular bootstrap是一种常用的方法，有没有简单的原理解释、现… 显示全部 关注者 10 被浏览

2025年3月3日 · 如何看待雷军在直播间曝光的小米 15 系列手机的磁吸外接摄像头？ 能否引领手机影像发展方向？ 3 月 2 日，雷总在直播间曝光小米相机部预研的「可换镜头手机」，其被命名为“小米模块 …

知乎，中文互联网高质量的问答社区和创作者聚集的原创内容平台，于 2011 年 1 月正式上线，以「让人们更好的分享知识、经验和见解，找到自己的解答」为品牌使命。知乎凭借认真、专业、友善的社区 …

2023年5月4日 · 如何看待 Modular 提出的 mojo 语言？ 近日，Chris Lattner 的 创业之路 有了重要动态。 这一次，他官宣的是全新的编程语言「Mojo」。 [图片] 「Mojo 结合了 Pytho… 显示全部 关注者 740

2024年3月7日 · 这里给个数学角度的，也是之前听BIMSA王亦龙老师的MTC课时听到的：Letures on tensor categories and modular functor, Bojko Bakalov 。 所以什么是MTC，就是在category基础上逐 …

2024年3月12日 · 北大核心 组合机床与自动化加工技术Modular Machine Tool & Automatic Manufacturing Technique 北大核心 JSTWJCI 基本信息 曾用刊名：组合机床通讯;组合机床 主办单位：中国机械工程 …