大学的考试所剩不多，而现在的自己也懂得了凡事做笔记的好处，不仅能促进自己做得更好，还能记录自己所做过的事情，不做过后即忘之人。记录一下今天的编译原理考试。

最近从 GitHub clone 仓库速度极慢，遂查阅资料解决之。本文主要介绍 Git 使用 SSH 克隆时如何走 Socks 代理，因为使用 HTTPS 克隆的话目前基本上很容易找到资料，比如 Using a socks proxy with git for the http transport | Stackoverflow。

随机算法作业 2，主要是『球和箱子模型』的相关题目。

这次给大家分享一下自己平时『科学上网』的一些经验，主要为了：

1. 理解 GFW 的工作原理，从而引出相关对策
2. 分享一些解决方案，常用工具等等

之前老师讲过两个不等式：

1. 马尔科夫不等式

   $P(X \ge t) \le \frac{E(X)}{t}$

2. 切比雪夫不等式

   令 $Y = [X-E(X)]^2$

   $P(Y \ge t^2) \le \frac{E(Y)}{t^2} = \frac{D(X)}{t^2}$

随机变量偏离它的期望一个给定的值的概率，被称为偏差的尾概率(tail probability)。尾概率的计算方式除了利用已知条件直接计算以外，还有很多『模板』可以使用，就包括：

1. 马尔科夫（Markov）不等式
2. 切比雪夫（Chebyshev）不等式
3. 切尔诺夫（Chernoff）界

简单来说尾概率就是 $P(X > t)$ 的范围主要由计数计算概率法和利用数字特征计算的方法。

这篇文章将详细介绍切尔诺夫界，以及鞅的相关概念和应用。

• 切尔诺夫界：『独立随机变量的和』的分布的尾概率的一般的界，通过矩生成函数得到，有『切尔诺夫型』、『指数形式』尾概率界等。
• 鞅：对不能抽象为『独立随机变量的和』的应用场景，鞅可以得到随机变量偏离期望的程度的界。

最近花了 4 天时间写了一个算数编码的库 arithmetic-coding，算是自己开发的第一个比较规范的 npm 库，在此分享详一些相关的经验，希望能帮助到朋友们。

这篇文章将记录中国的网络状态及自己的上网现状，并且一直更新。记录自己连上 Google, Wikipedia 等外网的艰辛历程。

随机算法常用不等式，持续更新中。

随机算法里面的 Las Vegas 算法、Monte Carlo 算法、姚期智不等式等等的习题。

2019 年数学建模，从 1.25 到 1.29 这 4 天零 3 个小时的时间里，我们组三人一行合作，顺利完成了 A 题『真实世界的虚构龙』的建模。整个过程收获很大，主要是这几个方面：

1. 合作。这次的合作非常成功，写作、建模、写代码三人齐头并进，少了任何一个人都是不行的。
2. 建模。如何建模，如何查找文献，吸收前人的思想，以前我很少考虑，这次从学长身上学到了一些经验。
3. 写代码。从这个学期学习机器学习、随机过程时只是会用一下 numpy 的矩阵计算，用 matplotlib 画简单的图，到现在 5 天基本掌握 numpy、matplotlib、sympy、scipy 的核心思想，运用自如。
4. 数学。这学期学的数学（机器学习、随机过程）让我对数学有了更深刻的认识，现在通过数学建模，这些认识更加深刻。

本文总结了概率论的基础知识，主要是一些定义。

行列式的物理（几何）意义、计算方式、拉普拉斯展开证明等等。

特征值、特征向量、特征根相关知识。

一篇文章详细搞懂傅里叶变换的数学推导及其本质、应用等等。

本文是根据逻辑回归实验总结的数学推导和实验结果。

Why $\KaTeX$

1. Much more faster than MathJax.
2. No issues such as #93, #108.

How to configure $\KaTeX$

Change your melody.yml to load $\KaTeX$ css:

katex:
  enable: true
  cdn:
    css: https://cdn.jsdelivr.net/npm/katex@latest/dist/katex.min.css

To use $\KaTeX$ in melody, you need to uninstall your old hexo render, and then install hexo-renderer-markdown-it-plus:

# Replace `hexo-renderer-kramed` with `your installed renderer`
# You can check your installed renderer in your package.json
npm un hexo-renderer-kramed --save
# install `hexo-renderer-markdown-it-plus`
npm i @upupming/hexo-renderer-markdown-it-plus --save

本文主要介绍了小程序客户端、服务器端开发（RESTful API）的相关经验。

微信小程序对没有对多语言的支持，不过我们可以自行加入。

在实现过程中，主要考虑到如下几点：

1. 语言是全局变量，一旦修改语言，其它页面应该立即作出变化。
2. 保存用户选择的语言，用户下次重新打开小程序能够恢复用户的选择。

本文记录了哈工大信息安全概论课基础知识点。

This is an easy-to-understand note for Reading 13: Abstraction Functions & Rep Invariants.

软件构造（software construction）的核心就是从不同角度审视软件系统，做到在各方面的兼顾。先要搞清楚我们要关注的点，才有软件构造可言。

软件构造视图主要分为 Build-time 视图和 Run-time 视图。他们又分为了 Monment 和 Peroid 两部分，每部分都要考虑到 Code-level 和 Component-level 的细节。

本系列主要介绍了常用的面向复用的设计模式，包括创建型模式（Creational Patterns）、结构型模式（Structural Patterns）和行为型模式（Behavioral Patterns）。

本系列主要介绍了常用的面向复用的设计模式，包括创建型模式（Creational Patterns）、结构型模式（Structural Patterns）和行为型模式（Behavioral Patterns）。

This is an easy-to-understand note for Reading 21: Locks and Synchronization.

Exercises are very important, do not skip them. On the contrary, you can read this article in an exercises-driven way if you just want to review the key ideas.

This is an easy-to-understand note for Reading 20: Thread Safety.

Exercises are very important, do not skip them. On the contrary, you can read this article in an exercises-driven way if you just want to review the key ideas.

This is an easy-to-understand note for [Reading 19: Concurrency][1].

Exercises are very important, do not skip them. On the contrary, you can read this article in an exercises-driven way if you just want to review the key ideas.

本文定义了一个 Java UML 标准，同时详细分析了各种 Delegation 及其 UML 表示。

本文主要介绍了在一个仓库内部克隆另外一个仓库，后续该如何进行管理。

2018 年 5 月 1 日 GitHub Blog 宣布增加了 Github Pages 对自定义域名的 https 支持。

异常被捕获后，程序是否会继续执行 try-catch 块后的语句？

__答案：__会。

欢迎 Fork 我的博客@GitHub。

这阵子我把 hexo 博客新换了一个主题 melody，主要就是为了让博客更加美观、简洁。换好主题之后发现有好多可以继续提升的地方，主要包括图标美化、 SEO 优化、自动构建这三个方面。

本文主要介绍了 Gradle 的使用，同时对相应的用于持续集成构建的 travis.yml 文件配置进行解读。

对于从Object到泛型的类型转换，遇到警告Type safety: Unchecked cast from Object to Edge，解决方案是修改转换的类型为通配符类型：

Edge<?> other = (Edge<?>) otherObject;

具体分析见下文。

文章来自Connecting with Cornell，文中的 Introduction 、 Summary 、 Conclusion 是笔者自己加的。

启示：研究是一项有意思的工作，你身处其中会收获很多知识与欣喜，也会体会到责任的重大，努力的做一个合格的研究人员吧。

文章来自Science，由于本人翻译水平有限，仅供参考；若有错误之处（肯定不少），还请读者不吝赐教。

作者： Gordon McBean, Alberto Martinelli
Science 2017年11月24日

我的 hexo 博客 hello world，探索一些小问题。