2018 新生杯纪实

2018 年的哈尔滨工业大学(威海)ACM 新生程序设计竞赛上周结束了~

作为这次的主命题人,这一次也是搞了一个多月才选好题造好数据写好 Checker,最终呈现给所有的新生。

题目的材料在:https://github.com/lxdlam/hitwh-2018-newbie,有什么问题欢迎给我提 Issue。

这篇文章就记录一下整个过程吧。

Hugo 永久链接

之前使用 Hexo 的时候,用的是 hexo-abbrlink 插件来处理永久链接,而换到了 Hugo 之后,由于 Hugo 没有插件系统,所以就采用了简单的 /year/month/day/name 形式处理永久链接。

昨晚临睡前翻了翻 Hugo 文档,发现了 Hugo 有一系列自建函数,实验过后可以生成类似于 hexo-abbrlink 效果的永久链接,就写了这篇文章记录。

World rebuild

换博客了。

从 5 月开始到现在一直在不断的刷题忙比赛的事,一直没来得及继续写博客,算算有八个月了,大半年过去了。

最近打算集中火力写一系列文章,所以准备重新把博客弄起来。

然而,我回到 Hexo 重新 rebuild 了一下站点,60s 的生成速度实在是令人难以恭维。正巧在上个月,我听说了 Hugo 这个神器,就准备试用一下。结果这一试用,我就回不来了。花了一整天时间把博客迁移到了 Hugo,这篇文章就记录一下迁移的过程。

邱奇计数 (2)

忙过了这一茬,趁着下一茬还没来,我先填填坑~

上一篇文章里面,我们谈到了如何去表达一个自然数系统:0以及后继,然后写出了邱奇计数法中的0和后继表达方式。作为一种验证和转化手段,我们也描述了邱奇化和去邱奇化的有关内容,更好的去验证我们的结果。

然而,一个代数系统,光有数可远远不够,我们还需要有各种运算。

今天,让我们来谈谈运算的内容,除了加法、乘法、乘方以外,我还将给你展示使用代换模型来展开函数,从而去更好的理解整个运算过程。

准备好了吗?让我们开始吧!

开始使用GPG

隐私问题一直闹得沸沸扬扬,今天刚好在Github提交的时候想起来GPG公钥这个东西,所以就搞了半个小时,做了自己的首个GPG Key然后做了一些绑定。

你可以在左边那一栏看到我的keybase.io,如果只是想体验体验的话,在这里可以找到我的公钥,然后使用我的公钥加密你的信息,然后在下面留言给我:smile: