Login
Create new posts
放在了这里:https://www.eliseos.org/en/tools/home 是用 WASM-ImageMagick 实现了把 jpg 转成 progressive jpg(就是可以从模糊到清晰逐渐加载的那种) 原图:原图 转换成果:转换成果
"allowSyntheticDefaultImports": true, 允许从没有设置默认导出的模块中默认导入。这并不影响代码的显示,仅为了类型检查。 在 ES6 中 import default 一个没有 export default 的东西会发生啥呢? 为啥 ES6 中可以 import React from 'react';,在 TS 中就只能 import * as React from 'react';?难道这俩的语义在 ES6 是一样的?
root 和非 root 有什么不同呢?
其他的订阅者,都收不到消息了,这是为什么呢?
有群友问,为啥 Fibonacci 数列,Python 只要一条语句,即 a, b = b, a + b 而 C 语言却需要三条语句 int t = a; = b; = t + b; 为什么这么菜呢? 我说,也许 C 语言是这样,但其实 C++ 也只需要一条语句呀! tie(a, b) = make_tuple(b, a + b); 并且,这样编译出来的结果,在 -O3 优化下,跟上面的朴素写法,是完全一样的哟,都会被优化成用寄存器交换: mov esi, dword ptr [rbp - 12] ov edx, dword ptr [rbp - 16] dd edx, esi ov dword ptr [rbp - 16], esi ov dword ptr [rbp - 12], edx 所以,请放心大胆地使用 C++ 的 tuple 吧! 完整的样例程序(采用了 scanf 动态读入,防止被优化成常数……) #include <tuple> include <cstdio>
sing std::tie; sing std::make_tuple;
nt main() { scanf("%d %d", &a, &b);
printf("%d, %d\n", a, b);
tie(a, b) = make_tuple(b, a + b);
printf("%d, %d\n", a, b);
return 0;
const dummy = new Promise(resolve => { ;
ync function main() { await dummy;
in(); 这个 resolve 永远也没有被执行到,为什么程序会直接退出呢?是因为我没有发起任何操作,而这个脚本也没有被要求 await main(),所以它就退出了吗?将来支持了 top-leve await 后,是否就可以永远卡住了?
我们需要看合订本,是吗? 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