https://www.gravatar.com/avatar/4d675e65920d5b1eca1f5b9079ea3bf5?s=240&d=mp

Ramen's Box

Google Code Jam 2019 资格轮题解

说起来很搞笑,4.7 凌晨 3 点我躺床上看群友聊到 GCJ 我才反应过来好像是资格赛,然后我随口问了一下什么时候这轮结束,特巨回了我一句:“你大概还剩…8 个小时?” 然后我掐指一算,早上 10 点截止,而我肯定写不来。幸好的是,A B 两个题的 Visible Set 就够晋级线 30 分了,躺床上把这两个题 Rush 出来我就睡了。第二天爬起来又想了想,把剩下两个题都写了。

这一轮其实四个题都很白给(比 Kickstart 简单一万倍),为什么写这一轮呢,主要是感觉这几题都还挺有意思的(难度也比去年低),加上好久没写题解了,练练手。其实官方是有题解的,就当我写了个翻译吧。

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,如果只是想体验体验的话,在这里可以找到我的公钥,然后使用我的公钥加密你的信息,然后在下面留言给我😄