Login
Create new posts
将进酒
钟,琥珀浓,小槽酒滴真珠红。 炮凤玉脂泣,罗帏绣幕围香风。 笛,击鼍鼓;皓齿歌,细腰舞。 青春日将暮,桃花乱落如红雨。 终日酩酊醉,酒不到刘伶坟上土! 这是我很喜欢的一首汉乐府,它描绘了李贺的一次宴会。“琉璃钟”几句看得出主人很有钱,宴会很高级,“烹龙炮凤”说得比较夸张,但至少说明吃得很好,而且很稀有,可能是某些山珍海味?音乐也很棒,从“吹龙笛,击鼍鼓”来看,应该是有一个乐队;“皓齿歌,细腰舞”说明歌女很美丽,舞姿很优雅。再配上暮春时节“桃花乱落如红雨”的盛大场面,我想这应该是人间极乐了。色彩,可能是美的重要组成要素。我读词偏好于读色彩丰富的词,可能是我见得太少,而色彩是少数能被精确表达的感觉吧。这首词我唯一不太懂的是最后一句,“酒不到刘伶坟上土”是什么意思?刘伶是谁?是当时的名人吗?是李贺的朋友吗?
最近部署了发现在移动端总是无法加载完成。上电脑调试才知道,是因为我打开了 Google Analytics 的「启用受众特征和兴趣报告」功能,这个功能会请求一个 google.com 域名下的内容,难怪加载不出来…… 第二个事情是 js bundle 大小一下从 220 到了 450(KB),初步猜测是引入了 moment.js 我又没有删除无用的 locales……
就是你在地址栏里直接输 eliseos.org,结果出来的是旧版页面,要刷新一下才能有新版页面。 会不会给浏览器的一些黑魔法有关?貌似不只是 Chrome 这样。Safari 也会这样……网上搜到了这个,看起来有些联系。 我看龙神访问的就是旧版页面,他还连着我后端的 websocket 呢……我早就把这功能去掉了,因为 websocket 在一个浏览器里开多了,浏览器处理网络请求貌似会变得很慢……
我一直没搞清这些概念,也可能是没用到。关于锁的唯一一些知识就是从「数据库系统」这门课学的什么 X 锁,S 锁,SIX 锁……不知道这些术语怎么和「乐观锁」「悲观锁」联系起来。
目前我已经搞了一部分,包括 Qt, GTK 和 Cocoa(纯 C,没有 Objective-C)。在这里。 其实是一年多前就在写了,但后来就没进度了。Qt 的写到转换键盘代码的时候想写了,因为感觉在做苦力……我宁愿有更自动化的方法直接转换。 目前 Qt 的进度大概是彩色的时钟能走,GTK 是时钟能走但是是黑白的,Cocoa 则是基本毫无进度? 你们有什么看法,觉得有意思吗?我觉得可能对上翁恺的 C 大程、又不用 Windows 的人有一些价值。(其实他自己也不用 Windows)
在服务器上居然不运行 10-tenth.js, 11-eleventh.js 这样的 migration,不知道怎么回事。折腾了老半天,最后我把它们改名为 tenth.js, eleventh.js,是能运行了,但顺序确是反的,先 eleventh 后 tenth。好在我的 down 是空的,只能 undo 两次再redo 了。 如果这帖子能发出来,就说明我抢救成功了……
底部的导航在滚动速度很快的时候会黑掉…… 另外 water 的主页貌似略有左右滚动,原因尚不明……(不过这是所有浏览器都有的)
我们需要看合订本,是吗? 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