LaTeX Programming Done Wrong

我们最开始使用 LaTeX,也许是开始于某些奇奇怪怪的教程。例如,从 开始,这一切看起来似乎都很正常。但是美好的幻觉很快就被打破了:在网上抄下来的代码稍微改一下就会报出不知所云的错误信息;想要做出一些不太常规的排版效果,但是对于如何实现没有任何头绪;试图写一个宏来减少自己的重复…

Posted on Tue Feb 16 2021

后现代静态网站

用 Gatsby 重建博客

从 2019 年夏天开始,我用 Jekyll 搭建的博客已经运行一年有余。中间也经历过一次比较大的设计变动。到了今天, Jekyll 这种基于字符串模板的静态网站构建系统愈加让人沮丧。Jekyll 基于 YAML frontmatter 来传递数据,而这对于多个层级的 layo…

Posted on Fri Feb 05 2021

关于前日 rock live 的简记

12.4,一个周五的晚上,在代码中沉浸了一个下午,又在城市中游荡了许久,最终想起了几天前看到的海报:今晚 8 点,在学校附近的 live house,似乎有一个 rock live。想来今晚也无事,便从快餐店中冲出,急速赶往 live house。 这个 live 是敝校和附…

Posted on Sun Dec 06 2020

关于 FELT 的杂谈

写在 FELT 宣布即将休止创作后

今天正准备洗澡,忽闻群友谈到车万同人社团 FELT 的事情,去主催 NAGI 的 Twitter 上果然看到了这样置顶的 Tweet。凭借我蹩脚的日语,姑且理解了其意义,简而言之:FELT 即将休止创作,下一张专辑就会是 FELT 的最后一张专辑。看到这条消息之后,想了想还是要…

Posted on Sat Aug 15 2020

如何搭建一个 full-text search 引擎

在文档中查询的技术

当我们使用搜索引擎,使用网站或者在线服务内置的搜索功能,或者管理本地的文本文件的时候,都会面临这样一种需求:如何在大量的自然语言文本中快速找到符合特定模式的部分?对于精确的字符串匹配,当然已经有成熟的算法了。但是更多的时候我们需要处理更复杂的需求:用户可能只记得大概的模式,因此…

Posted on Sat Jul 11 2020

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

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

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

Posted on Sun Jun 21 2020

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

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

之前的文章介绍过,我常用 VSCode 来进行 LaTeX 写作。但是当进行中文写作时,VSCode 的一个问题常常让我感到不快:对于英文的内容,我们可以使用 + 方向键 来进行以单词为单位的跳转(如果只用方向键的话,效果是以字符为单位跳转), + 可以做到以单词为单位的…

Posted on Tue Feb 04 2020

小记:Submodular 函数与社交网络

论 2017 CTST D1T3 的背景

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

Posted on Thu Jan 09 2020

Distributed System for Deep learning Training: A Survey

某奇妙课程的期末论文。主要介绍分布式深度学习的架构和技术。 Abstract Recent years have witnessed a growth in computation requirement to train modern deep neural networks…

Posted on Wed Jan 08 2020

LaTeX Writing Workflow

之前的文章中介绍了 LaTeX 的工具链的相关内容。在这一节中,我将根据我当前微小的经验,记录一下我目前使用 LaTeX 写出一篇完整的论文所需要的工具和工作流。 Bibliography 参考文献是论文中重要的一环,但是如果手动输入参考文献的话,无论是编写的复杂度(手动输入非…

Posted on Wed Jan 08 2020

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

本文为我的写作与沟通课程期末长文终稿,主要介绍结构光原理及其应用。结构光技术是一种非接触式的、高精度的三维测量技术。通过一个投影装置投射出特定的图案,摄像机拍摄并识别这个图案,可以对被拍摄的物体的表面三维情况进行测量。本文对结构光技术的原理和应用进行了综合的考察。 Abstra…

Posted on Thu Dec 19 2019

Theoretical Analysis of Multi-layer Neural Network: A Survey

本文是我在人工智能入门课上的期中论文。主要介绍关于多层神经网络的一些理论方面研究,包括可表达性,收敛性等。 Abstract Though multi-layer neural network has been used in a wide range of areas, th…

Posted on Fri Nov 15 2019

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

本文为我的写作与沟通课程的短文终稿。主要介绍了关于三角形剖分的一些问题和应用。 由于可能的版权问题,此文保留一切权利 Abstract 三角剖分问题在理论研究和实际问题中都有大量应用,因此也产生了众多相关的研究。本文介绍了其中的一些重要的问题和结果。 本文主要选取了三方面的内容…

Posted on Sun Nov 10 2019

Dive into LaTeX, Part 1

LaTeX 工具链介绍

TeX作为 Kunth 为了 TAOCP 所开发的排版工具,它专注于生成高质量的学术排版效果,是我日常作业/文章写作的最佳选择之一。LaTeX 绝大多数情况下以 pdf 作为输出格式,能够在各种设备上保持相同的显示效果,这在很大程度上和 LaTeX 是针对出版物排版所设计的有关…

Posted on Thu Oct 24 2019

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

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

Posted on Thu Aug 08 2019

北夏第四题的证明

昨晚看到今年北夏第一天的题目,显然第四题是最好看的一个,发现一个比较自然的做法,记录如下: Problem 设 是一个实系数多项式,求证存在一个实系数多项式 ,使得 ,且 Sketch 如果 0 是 的根,将约去因子 使得剩下的多项式不含根 0,注意到这不影响本题的结论,…

Posted on Tue Aug 06 2019

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

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

Posted on Sun Aug 04 2019

一个猜想的证明

立方体图子图的最大度

最近看到一篇文章,讲述了一个几十余年历史的猜想近日被证明的事情。令人惊讶的是论文中的这个证明主题居然只有不到两页,并且只用到了基本的线性代数,遂记录之。 Hypothesis 这个猜想可以是在研究 Bool 函数的“敏感性"时被提出来的,其内容可等价叙述如下: 设 表示 …

Posted on Thu Aug 01 2019