Login
Create new posts
像 graphviz 这种，是不是做到很完备、能够随心所欲了呢？
使用 iptables 透明代理 TCP 与 UDP 还有这篇也不错：WireGuard: 简单好用的 VPN。可惜我不能用 WireGuard，因为我的 client 是 macOS 的。
我记忆中一开始是不卡的，后来发生了什么事情，就变得特别卡，表现为 ping（甚至是局域网地址）特别高 网速特别慢，只有 20KB/s 丢包率特别高，能有 20% 通过 lshw 查看，似乎只工作在 802.11 模式，但网卡是 802.11ac 的 相关的事件，也许是我试图装了一些 USB 网卡驱动，其中似乎有一个 8821cu 的。不知道这是否对它产生了影响。 我该如何精通 Linux 无线网卡驱动呢？我该如何诊断 Linux 无线网络问题呢？我该从何入手呢？命令行工具的每个命令真的都是非常复杂，我是否可以直接访问 Linux API 来得到我想要的信息，而不使用这些二手的工具？
它们是有不同的物理意义的吗？感觉这种第一、第二、第三的分类很生硬啊……
有人有兴趣做个题吗？实现 asyncThrottle 和 asyncDebounce（暂无） Push 模型： TS 版的 sandbox: https://codesandbox.io/s/34v5myvy51 JS 版的 sandbox: https://codesandbox.io/s/q9j9n9wjq9 Pull 模型： TS 版的 sandbox: https://codesandbox.io/s/7m9yy8mznj JS 版的 sandbox: https://codesandbox.io/s/401zm0p3j7 注释里有 (1)(2)(3)，按要求改这三处，实现 throttle
「人性化」说的是使用者直接感受到的不正确的地方，就是不关心内部实现的黑盒方式体现出来的 Bug。
我们需要看合订本，是吗？ 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