ldc1513的博客

使用方法：obsidian -> 设置 -> 外观 -> （最下面）css代码片段 -> 点击文件夹图标 -> 在文件夹里面新建一个名为typora.css的文件 -> 复制下面的代码进去 -> 保存 -> 在设置里面启用该代码片段。而且这个自己修改也很方便，比如obsidian里面不能修改的行间距等等，都可以直接在这个css里面修改。/* 调用 Open Sans 字体 *//* 引用块样式 *//* 代码块样式 *//* 全局样式 *//* 标题样式 *//* 表格样式 */

在owned attributes里面添加：#run=frontendStartup。在owned attributes里面添加：#widget。在owned attributes里面添加：#widget。

Thanks!!!in更新：zadam后来增加了对更新方式的解释：https://github.com/zadam/trilium/wiki/Upgrading-Trilium总之核心在于：trilium的应用程序（坐落在applications里面）和数据（https://github.com/zadam/trilium/wiki/Data-directory）是完全分开存放的，所以更新程序的时候只要更新应用就行了。

程序之间的数据交互其实是一件非常复杂的事情，因为不同的数据有不同的格式，怎么统一起来是个很大的问题。今天我们只讨论计算机中文本的交互。

整理自：https://blog.ghkk.net/post/collectors-fallacy/https://zettelkasten.de/posts/knowledge-cycle-efficiently-organize-writing-projects/构造短知识循环：为什么：指引：

完成之后再用md的导入功能及时导入trilium中。同时，涉及到参考文献的部分，可以与zotero联动，用zotero建立同名文件树整理每篇笔记对应的文献。

【代码】Types and Programming Languages, Benjamin C. Pierce 读书笔记（五） simple type-typed lambda-calculus。

T。

Lambda culculus:First invented in mid 1960s by Peter Latin. computations are described as mathematical objects where rigorous statements can be proved.t::= terms: x variable λx.t abstraction t t application \begin{array}{rlr} \mathrm{t}::= & \text { terms

define the set of termseg:t::=terms true constant true false constant false if t then telse t conditional 0 constant zero succ t successor pred t predecessor iszerot zero test \begin{array}{lr} t::= &\text{terms }\\\text { true } & \text { co

they compute （eg：C++里面的类型系统，通过类型检查来规避一些类型错误）.

自动化！堂堂完结！

使用applescript自动化trilium的数学公式环境

实值哈希函数及其在大数据中的应用

集中不等式及其应用

Karger的最小割算法

课程简介和哈希算法

midjournery绘画使用指南：配置，使用原则，常用命令，资源网站，应用解析

基于bibtex的文献管理

主要内容：贝叶斯估计，统计决策，偏差分析，线性回归