在净土上搞了一个用 WASM 实现的功能

Colliot9/9/2019, 3:50:48 PM

放在了这里:https://www.eliseos.org/en/tools/home 是用 WASM-ImageMagick 实现了把 jpg 转成 progressive jpg(就是可以从模糊到清晰逐渐加载的那种) 原图:原图 转换成果:转换成果

keyboard_arrow_down
"allowSyntheticDefaultImports" 的作用到底是啥?

Colliot8/18/2018, 5:07:14 AM

"allowSyntheticDefaultImports": true, 允许从没有设置默认导出的模块中默认导入。这并不影响代码的显示,仅为了类型检查。 在 ES6 中 import default 一个没有 export default 的东西会发生啥呢? 为啥 ES6 中可以 import React from 'react';,在 TS 中就只能 import * as React from 'react';?难道这俩的语义在 ES6 是一样的?

keyboard_arrow_down
为什么用 `Obervable.create` 和 `observer.next` 简单创建的 `Observable`,在有多个订阅者的情况下只能生效一次?

Colliot8/20/2019, 12:58:20 PM

其他的订阅者,都收不到消息了,这是为什么呢?

keyboard_arrow_down
请随心使用 C++ 的 `tuple`!

Colliot8/20/2019, 8:14:02 AM

有群友问,为啥 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;

keyboard_arrow_down
为了节约成本,净土从 AWS 迁出了

Colliot8/19/2019, 2:03:43 PM

测试是否成功。

keyboard_arrow_down
什么是 Young Tableau?

Colliot7/2/2019, 6:41:50 AM

keyboard_arrow_down
为什么这段程序会直接退出,而不是永远卡住?

Colliot6/15/2019, 8:25:28 AM

const dummy = new Promise(resolve => { ;

ync function main() { await dummy;

in(); 这个 resolve 永远也没有被执行到,为什么程序会直接退出呢?是因为我没有发起任何操作,而这个脚本也没有被要求 await main(),所以它就退出了吗?将来支持了 top-leve await 后,是否就可以永远卡住了?

keyboard_arrow_down
Black-Scholes 方程的本质是什么?

Colliot6/2/2019, 11:06:43 AM

它是一个抛物方程吗?

keyboard_arrow_down

Latest Replies

ice1000 replied to 一个重大的消息——本站的 Angular 版本不再继续开发,将会用 React 「重新」开发

我们需要看合订本,是吗? 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 的路由懒加载也是开箱即用,不需要任何配置,非常美妙。

fjcfff replied to 阿里巴巴数学竞赛选错赛道了

给定标准布朗运动 Bt 假设 s 是个停时,那么 B′t={Bt2Bs−Btif t≤sif t>s 是标准布朗运动。

Colliot replied to 阿里巴巴数学竞赛选错赛道了

弱反射原理 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」的严格表述。所以后者可以推出前者。

hugify replied to 阿里巴巴数学竞赛选错赛道了

感觉跟 Brownian motion 或者说 Wiener process 的 reflection principle 有关?

hugify replied to 用类型系统描述实数的精髓是什么?

找到了相关文章 Formalising Real Numbers in Homotopy Type Theory,让我来看一看。

hugify replied to 用类型系统描述实数的精髓是什么?

怎么用类型系统表述戴德金分割呢?

ice1000 replied to 用类型系统描述实数的精髓是什么?

我现在懂了,就是戴德金分割

ice1000 replied to 为什么不能对 C++ 的语法进行简化?

不成立。现在的语法也有这样的歧义