Login
Create new posts
如果只是遇到问题再去搜索学习，总有一种不太系统的感觉，不能做到得心应手啊……
如果仅仅是抽象地觉得我要学习什么东西，那么似乎总是不太得劲的感觉…… 只有真正地去解决问题，才有了学习的动力和切入点。
比如说 remote 被 push --force 了，导致本地和 remote 分岔，现在不想保留本地的，想要用 remote 覆盖本地，应该怎么做呢？
lerna 似乎无法统一各子 package 的依赖，而 yarn workspace 可以做这件事。但它们看起来似乎并无必然的关联。或者它们之间本来有天然的联系吗？
尤其是，Angular 的原理是什么？记得很多年前的阿里实习生面试中被问到这个问题，当时一脸蒙蔽……
就像我在这个 issue里说的那样，根本原因是 使用了 yarn offline cache 最近版本的 yarn 要校验 offline cache 的完整性 使用了淘宝 npm 源，但是淘宝 npm 源没有提供「完整性」这一字段 为了确证 3，我们可以尝试作请求 curl --silent https://registry.npm.taobao.org/serve-static/ | jq '.versions."1.13.2".dist' 返回 { "shasum": "095e8472fd5b46237db50ce486a43f4b86c6cec1", "size": 8400, "noattachment": false, "tarball": "http://registry.npm.taobao.org/serve-static/download/serve-static-1.13.2.tgz" 而支持 integrity 的源会多一个字段 curl --silent https://registry.npmjs.org/serve-static/ | jq '.versions."1.13.2".dist' 返回 { "integrity": "sha512-p/tdJrO4U387R9oMjb1oj7qSMaMfmOyd4j9hOFoxZe2baQszgHcSWjuya/CiT5kgZZKRudHNOA0pYXOl8rQ5nw==", "shasum": "095e8472fd5b46237db50ce486a43f4b86c6cec1", "tarball": "https://registry.npmjs.org/serve-static/-/serve-static-1.13.2.tgz", "fileCount": 5, "unpackedSize": 24364 解决方法有 不使用淘宝源，并重新生成 yarn.lock 文件 提示淘宝源的维护人员加入这一字段
正常进行 CI 的安装过程，就出现了这个错误。 最近才出现的。 没有找到配置中任何跟 node-sass 相关的地方
有什么比较权威的做法吗？
就是如果存在这个路由就走单页跳转，不存在的话就直接当作 href。
我们需要看合订本，是吗？ https://colliot.org/zh/2018/01/%e7%94%a8-angular-%e5%bc%84%e4%ba%86%e4%b8%80%e4%b8%aa%e8%83%8c%e5%8d%95%e8%af%8d%e7%9a%84%e7%bd%91%e7%ab%99-eliseos-org/ 虎哥名人名言： 整个弄下来的感想就是，Angular 是真的好用，Angular 生态是真的不错，universal 完全按官方走一遍就活了，现在线上运行的版本就是 universal 的，右键查看源码可以看到是渲染好的页面发过来的。angular cli 一路可以 generate 到底，基于 NgModule 的路由懒加载也是开箱即用，不需要任何配置，非常美妙。
这个网站现在还是 Angular 的吗？
给定标准布朗运动 Bt 假设 s 是个停时，那么 B′t={Bt2Bs−Btif t≤sif t>s 是标准布朗运动。
弱反射原理 mathbb{P}{M_t ge a} = 2mathbb{P}{B_t ge a}，其中 M_t = sup_{sin[0,t]}B_s 是布朗运动 B_t 在 [0,t] 内达到的最大值。 它可以写作mathbb{P}{B_t ge a}=dfrac{1}{2}mathbb{P}{M_t ge a}，这个在直观上很容易理解，因为 B_t ge a 必然有 M_t ge a，而 M_t 第一次到达 a 之后，后续任何点大于或小于 a 的概率都是 1/2。 强反射原理 给定标准布朗运动 B_t，假设 s 是个停时，那么
begin{equation} B'_t= begin{cases} B_t & text{if } t le s 2B_s-B_t & text{if } t > s end{cases} end{equation}
仍是标准布朗运动。 这实际上就是「第一次到达 a 之后，后续任何点大于或小于 a 的概率都是 1/2」的严格表述。所以后者可以推出前者。
感觉跟 Brownian motion 或者说 Wiener process 的 reflection principle 有关？
找到了相关文章 Formalising Real Numbers in Homotopy Type Theory，让我来看一看。
怎么用类型系统表述戴德金分割呢？
textbf{} extbf{}
我现在懂了，就是戴德金分割
不成立。现在的语法也有这样的歧义
Create new posts