文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
上周，苹果公司发布了年度新品 iPhone 14 系列。其中，iPhone 14 Pro 创新的灵动岛（dynamic island）特性让众多关注者眼前一亮。
灵动岛在无法避免的挖孔屏上，设计了新的人机交互方式。伴以优雅的动画、动态效果，那一块严重影响美感的黑孔就能不再显得那么另类。这恐怕也会是用户们更换新一代 iPhone Pro 的巨大动力之一。
毕竟，在众多安卓厂商拼性能（借高通拼）、拼参数（屏幕好、续航长、像素高、网速快等）、拼造型（无孔屏、升降、折叠）的战场，这种逆向屎上雕花的操作确实独树一帜。苹果公司还是那么特立独行。还是只和自己的前代产品对比、只用通俗的话术表述特性，对于他本该能做到的事情只字不提。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
Multi-Level Intermediate Representation（MLIR）是创建可重用、可扩展编译器基础设施的新途径。本文为第 3 期，介绍编译器基础概念 EBNF。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
科普：地震发生，室内避险指南
2022年9月5日12时52分，四川省甘孜州泸定县发生6.8级地震，震源深度16公里。
本文内容整理自 国家减灾网
首先，不要慌！
生死有命，把能做的做好。
简单讲就两点：
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
Multi-Level Intermediate Representation（MLIR）是创建可重用、可扩展编译器基础设施的新途径。本文为 MLIR 系列第 2 期，介绍基础概念 SSA。
已收录至https://zhuanlan.zhihu.com/p/52815498
本文内容来自官方教程
可以直接跳到6看
可以列出模型
$$\begin{cases} p_t = p_{t-1}+ v_{t-1} \times \Delta t+u_t\times\frac{\Delta t^2}{2} \ v_t=v_{t-1}+u_t\times\Delta t\end{cases} $$
则可以写出状态空间方程
$$\left[\begin{matrix}p_t \ v_t\end{matrix}\right]=\left[\begin{matrix}1 & \Delta t \ 0 & 1\end{matrix}\right]\left[\begin{matrix}p_{t-1} \ v_{t-1}\end{matrix}\right]+\left[\begin{matrix}\frac{\Delta t^2}{2} \ \Delta t\end{matrix}\right]u_t $$
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
Multi-Level Intermediate Representation（MLIR）是创建可重用、可扩展编译器基础设施的新途径。
本文起，将结合工作经验对 MLIR 进行讲解。本文为开篇，内容来自Chris Lattner’s Homepage。
科技：2022未来科学大奖获奖名单公布：李文辉、杨学明、莫毅明获奖
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
未来科学大奖获奖工作必须同时具备以下条件：
（一）产生巨大国际影响；
（二）具有原创性、长期重要性或经过了时间考验；
（三）主要在中国内地（大陆）、香港、澳门、台湾完成。完成者的国籍不限。
原地址，时间：2022-08-21
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
线性代数作为 AI 的重要基础知识，不可不狠狠学习啊！
Gilbert Strang，这个名字对于用心学过线性代数的同学应该不陌生。这位 MIT 的教授所讲授的线性代数（《Linear Algebra》）网课广泛流传于网络，深受同学喜爱。其网课视频下也尽都是同学们的爱戴、溢美之词。
老爷子今年 86 了，仍然坚持在教学一线。最近，清华大学还选用了他的出版物《Introduction to Linear Algebra》作为了教材。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
编译原理的学习世界有三大名著：龙书，虎书，鲸书。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
科技：无人驾驶汽车可合法上路！自动驾驶怎么分级的？
首次将完全自动驾驶纳入立法范围、首次为无人驾驶事故划分责任……我国迎来第一部关于智能网联汽车管理的法规。7月5日，深圳人大正式公布《深圳经济特区智能网联汽车管理条例》，并规定自2022年8月1日起施行。至此，无人驾驶汽车算是正式拿到了上路门票。