hugify

关于根系有什么相关的问题或者应用?

就是根系。感觉这个概念很有意思,但又捉不住它。

nameoverflow

我们应该退出知乎加入净土吗?

我们应该退出知乎加入净土吗?

Colliot

Berkeley Packet Filter 是什么?

为什么会出现在 Little Snitch 对 iStat Menus 的权限许可中?

hugify

前端实现编辑器的根本思路是什么?

不是说引用 Monaco 或者 CodeMirror,而是说如果要完全从头实现一个,我们所需要的根本思路和技术是什么?

Colliot

ffi 的原理是什么?

两种语言写的程序是如何实现交互的呢?

Colliot

闭区间 $[a, b]$ 上固定一端点的连续函数集,其势是多少?

固定一端点,即给定 $f(a)=y_0$;函数指实值函数 $f:[a, b]\rightarrow\mathbb{R}$

ice1000

Elaborating Dependent Copattern Matching 中到底有几颗AST?

这些 AST 之间的关系是怎样的?

ice1000

Fraïssé Theorem 和 Univalence Axiom 形式类似,他们有什么异同?

看这: https://en.wikipedia.org/wiki/Fra%C3%AFss%C3%A9%27s_theorem 长得和 UA 真像……而且基于 uaisoToPath 就和这完全一样了

Colliot

两个独立同分布且服从 $\mathcal{N}(0, 1)$ 的随机变量,它们的样本空间可能是同一个 $\mathbb{R}$ 吗?

严格来说,就是是否存在两个 $\mathbb{R} \rightarrow \mathbb{R}$ 的可测函数 $f, g$,使得

$$\int_{f^{-1}((-\infty, x_1])} \mathrm{d}x = F_{f}(x) = F_{\mathcal{N}}(x)$$

$$\int_{g^{-1}((-\infty, x_1])} \mathrm{d}x = F_{g}(x) = F_{\mathcal{N}}(x)$$

并且

$$\int_{f^{-1}((-\infty, x])} \mathrm{d}x \int_{g^{-1}((-\infty, x])} \mathrm{d}x_2 = \int_{(f^{-1}((-\infty, x])\cap g^{-1}((-\infty, x_2]))} \mathrm{d}x$$

如果不可以,什么样的分布才可以呢?

Colliot

「鞅」过程的直觉到底是什么?

$\mathrm{E}(X_t | \sigma_s) = X_s$ 这个条件到底意味着什么?到底蕴藏着什么能量?它想表达什么?