计算机的历史——世界图景的数字化

A History of Modern Computing 读书笔记写作杂谈

在上学期选了《技术哲学》课知难而退后,这学期我还是忍不住选了胡老师的《技术通史》课。这门课的期末作业是读书笔记,胡老师提供了几十本各种各样的书(如下图所示)。在这学期里面者确实读过其中的好几本,包括《人类简史》,《技术与文明》,《理解媒介》,《城市发展史》(看了一半),《口语文化和书面文化》(看了一小部分)。最后还是选择了 A History of Modern Computing 这本书作为读书笔记的对象。

VSCode 中文快捷键跳转解决方案

记一次 VSCode 插件的开发(魔改)过程

之前的文章介绍过,我常用 VSCode 来进行 LaTeX 写作。但是当进行中文写作时,VSCode 的一个问题常常让我感到不快:对于英文的内容,我们可以使用 ctrl + 方向键 来进行以单词为单位的跳转(如果只用方向键的话,效果是以字符为单位跳转),ctrl + backspace 可以做到以单词为单位的删除,等等。然而由于 VSCode 机制的原因,这样的快捷健对于中文的效果是很糟糕的:它会将一整段中文识别为一个单词,这导致跳转 / 删除的范围是一整段,这一般并不是我们需要的。本文将记录我解决这一问题的过程。

小记:Submodular 函数与社交网络

论 2017 CTST D1T3 的背景

2017 年的 CTST 上有一道看起来有些奇特的题目,当年这道题由于放送事故被整成了错题,导致没有起到任何区分度。我原本也没有太在意这样的一个题目,直到这学期某位老师给我们讲课的时候讲到了一些关于社交网络传播的内容,经过一些思考之后,我发现老师讲的内容里面正好蕴含了上面这道题目的背景。遂(在大半个学期之后)记录之。

LaTeX Writing Workflow

之前的文章中介绍了 LaTeX 的工具链的相关内容。在这一节中,我将根据我当前微小的经验,记录一下我目前使用 LaTeX 写出一篇完整的论文所需要的工具和工作流。

Distributed System for Deep learning Training: A Survey

某奇妙课程的期末论文。主要介绍分布式深度学习的架构和技术。

结构光技术——原理及其应用

本文为我的写作与沟通课程期末长文终稿,主要介绍结构光原理及其应用

为什么微信是屑

屑微信

Theoretical Analysis of Multi-layer Neural Network: A Survey

本文是我在人工智能入门课上的期中论文。主要介绍关于多层神经网络的一些理论方面研究,包括可表达性,收敛性等。

多边形的三角形剖分结构及其应用

本文为我的写作与沟通课程的短文终稿。主要介绍了关于三角形剖分的一些问题和应用。

Dive into LaTeX, Part 1

LaTeX 工具链介绍

TeX作为 Kunth 为了 TAOCP 所开发的排版工具,它专注于生成高质量的学术排版效果,是我日常作业/文章写作的最佳选择之一。LaTeX 绝大多数情况下以 pdf 作为输出格式,能够在各种设备上保持相同的显示效果,这在很大程度上和 LaTeX 是针对出版物排版所设计的有关(这和注重自适应式布局的 web 型格式,例如 markdown, html, epub 不同)。对于没有较强排版需求的情况下,例如笔记,发言稿等等,我会使用 Typora 来写 Markdown。在本文和后续的一些文章中,我将介绍 LaTeX 的一些内容,以及用它来编写文章,尤其是学术文章的实践。

关于博客搭建过程的一些总结和吐槽

前些日子看到Github pages的一些介绍(虽然之前就知道了),再加上想复习一下CSS,于是便脑子一热萌发了使用Github pages搭建blog的想法,写了几天代码CSS,算是把基本功能都完成了。这里总结一些搭建过程中遇到的问题。

北夏第四题的证明

昨晚看到今年北夏第一天的题目,显然第四题是最好看的一个,发现一个比较自然的做法,记录如下:

小数部分均匀分布的初等(大概)证明

$\{n\alpha\}$的均匀分布性是一个非常方便好用的命题,之前我一直只知道使用Wyle判据的证明方法,但是这一证明方法需要用到稍深入的分析学,包括Weierstrass的三角多项式逼近定理。今天我正在思考另外一个和小数部分有关的命题,突然想到了一个有趣的方法,可以用于证明这个问题,于是便将它记录下来了.

一个猜想的证明

立方体图子图的最大度

最近看到一篇文章,讲述了一个几十余年历史的猜想近日被证明的事情。令人惊讶的是论文中的这个证明主题居然只有不到两页,并且只用到了基本的线性代数,遂记录之。