@Snow：众所周知，没有任何一款天气应用可以百分之百精确地预报天气。日常生活中我们大多是「赌」其可靠，万一遭遇天气突变就当自己「唔好彩」，如果真的涉及一些会被天气耽搁的重要日程，则大概率会多查几个天气源做交叉验证，或是准备些应急方案。上周，分钟级降水预报始祖应用 Dark Sky 的核心开发团队，在前者被 Apple 收购后又推出了一款全新的天气应用 Acme Weather，它可能会完全推翻你对天气预报应用的认知和使用逻辑。
var tasks []task
，这一点在PDF资料中也有详细论述
第一，别把AI当树洞。真正涉及隐私、法律、极端想法的内容，先问问自己：如果有一天被别人看到，我能不能承受？
Lean already produces performance comparable to Haskell and OCaml. When higher performance is essential, Lean models can be translated into efficient imperative code embedded in Lean, with clean semantics and without C’s undefined behavior. We are actively working on closing the remaining gap for performance-critical code. The real comparison is not Lean versus C. It is verified code versus unverified code.