文章

Types and Programming Language

这篇博客是Pierce, Benjamin C.在2002年出版的《Types and Programming Languages》的阅读笔记。
最近更新于 2022年5月19日 3 分钟阅读时长 编程语言
编程语言入坑指南
本文先按照理论和应用两方面介绍了编程语言方向的相关概念，而后
最近更新于 2022年5月2日 8 分钟阅读时长 静态分析
Tarjan的支配树算法

这篇文章介绍了Tarjan的快速支配算法1。这个算法很有洞察力地利用了”半支配“的性质。

最近更新于 2021年10月23日 8 分钟阅读时长 静态分析
Stanford CS231n
Image Classification Distance Metric to compare images L1 distance: $d_1(I_1,I_2)=\sum_p|I_1^p-I_2^p|$ In Nearest Neighbor classifier, we just memorize all training image, and then find the nearest training image for each testing
最近更新于 2021年11月1日 1 分钟阅读时长 机器学习
DeepLab (WIP)

本篇笔记来自多篇paper的整合，分别是：

  1. DeepLab v1：Semantic Image Segmentation With Deep Convolutional Nets and Fully Connected CRFs
  2. DeepLab v2: Semantic Image Segmentation with Deep Convolutional Nets, Atrous Convolution, and Fully Connected CRFs
最近更新于 2021年11月1日 3 分钟阅读时长 机器学习
FCN for Semantic Segmentation(wip)

本篇笔记来自FCN for semantic segmentation1一文。

最近更新于 2021年11月1日 2 分钟阅读时长 机器学习
深度学习在语义分割中的应用（未完待续）

本篇笔记来自深度学习在语义分割中的应用的评论1一文。

最近更新于 2021年10月11日 5 分钟阅读时长 机器学习
构建数据依赖的实现

这篇文章总结了DFST、支配、归约的各种性质和算法，并最终给出路径摘要的方案。上一篇文章的链接在这里：从CFG直接构建GSA的算法。

最近更新于 2021年10月23日 22 分钟阅读时长 静态分析
语义分割论文概览

这篇文章是顺着一篇语义分割的综述1开始阅读相关论文。

最近更新于 2021年10月10日 12 分钟阅读时长 机器学习
Coq学习笔记（未完待续）

这篇文章来自《Coq in a Hurry》1的总结。

最近更新于 2021年9月26日 5 分钟阅读时长 类型论