Login
Create new posts
会不会存在一个精妙绝伦的想法或者发现,当时没有记录,就再也想不起来了,无论你在与当时类似的环境下和相同的对象工作多久?
不只是论文,包括其它的文章可能都有这种现象,我也不知道为什么养成了这个习惯,这背后有什么深层次的原因吗
比如你有一个依赖是自己开发的,叫 Dep,你在 Dep 的目录运行了 yarn link,再在依赖 Dep 的项目,比如说叫 Proj,的目录里运行 yarn link Dep,那么 Proj 对 Dep 的依赖会被指向本地的 Dep。这时候运行 webpack,它解析出来的 Dep 的文件地址,全都是 Dep 在本地的真实文件地址了,而不是以 node_modules 开头的那份地址。这就会导致 loader 配置的规则失效。 比如 Proj 里面有一些是需要经过 babel 编译的,而 babel-loader 的规则默认是忽略 node_modules 的,你可能会想要反忽略 node_modules/Dep。当你采用 yarn link 的方案进行本地开发时,你却发现这个反忽略失效了。这似乎就是因为这个文件的地址跑到了项目之外,因而不受任何 loader 处理了…… 当然我们得承认,在依赖里保留需要编译的代码,这可能不是好作风。
我还想用 Qt 来写一个具有查看文件功能的程序,还要写一个 hex 模式编辑器(类似 UltraEdit 那种感觉)。
五人者,蓋當蓼洲 周公之被逮,激於義而死焉者也。至於今,郡之賢士大夫請於當道,即除逆閹廢祠之址以葬之,且立石於其墓之門,以旌其所爲。嗚呼,亦盛矣哉!夫五人之死,去今之墓而葬焉,其爲時止十有一月爾。夫十有一月之中,凡富貴之子,慷慨得志之徒,其疾病而死,死而堙沒不足道者,亦已眾矣,況草野之無聞者歟?獨五人之皦皦,何也? 予猶記周公之被逮,在丁卯三月之望。吾社之行爲士先者,爲之聲義,斂貲財以送其行,哭聲震動天地。緹騎按劍而前,問:「誰爲哀者?」眾不能堪,抶而仆之。是時以大中丞撫吳者,爲魏之私人,周公之逮所由使也。吳之民方痛心焉,於是乘其厲聲以呵,則譟而相逐,中丞匿於溷藩以免。既而以吳民之亂請於朝,按誅五人,曰顏佩韋、楊念如、馬杰、沈揚、周文元,即今之傫然在墓者也。然五人之當刑也,意氣陽陽,呼中丞之名而詈之,談笑以死。斷頭置城上,顏色不少變。有賢士大夫發五十金,買五人之脰而函之,卒與屍合。故今之墓中,全乎爲五人也。 嗟夫!大閹之亂,縉紳而能不易其志者,四海之大,有幾人歟?而五人生於編伍之間,素不聞《詩》《書》之訓,激昂大義,蹈死不顧,亦曷故哉?且矯詔紛出,鉤黨之捕遍於天下,卒以吾郡之發憤一擊,不敢復有株治。大閹亦逡巡畏義,非常之謀,難於猝發。待聖人之出而投環道路,不可謂非五人之力也。 辱人賤行,視五人之死,輕重固何如哉?是以蓼洲 周公,忠義暴於朝廷,贈謚美顯,榮於身後。而五人亦得以加其土封,列其姓名於大堤之上,凡四方之士,無有不過而拜且泣者,斯固百世之遇也。不然,令五人者保其首領,以老於戶牖之下,則盡其天年,人皆得以隸使之,安能屈豪傑之流,扼腕墓道,發其志士之悲哉?故予與同社諸君子,哀斯墓之徒有其石也,而爲之記,亦以明死生之大,匹夫之有重於社稷也。 賢士大夫者,冏卿因之 吳公、太史文起 文公、孟長 姚公也。
我们需要看合订本,是吗? 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