意志力

今天早上读完了鲍迈斯特的《意志力》。有趣的是,能看完这本书也是一种意志力的运用吧。

自我损耗造成的影响是双重的:一方面意志力减弱了,另外一方面渴望变强了。

“自我损耗”是作者以及书中提到的研究者在做实验的时候常用的手段。这也有警醒的意味:意志力减弱的时候,渴望还会变强!

面临一个让他们产生内心冲突(一方面非常想要,一方面真不该要)的新诱惑,如果他们已经挡住了之前的诱惑,特别是如果上个诱惑过去没多久新诱惑就来了,那么他们更容易屈服。

1.你的意志力是有限的,使用就会消耗。 2.你从同一账户提取意志力用于各种不同任务。

我们可以把意志力的运用分为四大类,控制思维,控制情绪,控制冲动,控制表现。

Read More

Pelican Signals

Pelican的插件系统是使用blinkersignal实现的。Pelican所有可以用的signals可以在signals.py找到。本文的目的是记录这些signals是在Pelican运行中什么时候发出的。

(1) Pelican有一个叫做Pelican的类,含有程序的主体框架。当Pelican的一个实例pelican初始化完成之后(基本设置,加载插件),发出第一个signal。

signals.initialized.send(pelican)

Read More

Lambda Calculus

This post is my note for What is seminar on Lambda Calculus.

Lambda calculus was created by Alonzo Church in the 1930s, and was used by him to solve Entscheidungsproblem in 1936, which is related to Hilbert's tenth problem. In the same year, Alan Turing independently solved Entscheidungsproblem using his invention Turing machine. Shortly after, Turing realized that these two models are actually equivalent as models of computation.

In this note, I will first give the formal definition of lambda expressions. Then with the help of Python, I am going to show how to do Boolean algebra and basic arithmetic using lambda calculus, which to some extend gives an illustration that Turing machine and lambda calculus are equivalent.

Definition

Lambda calculus consists of lambda expressions and operations on them. There are three basic elements in Lambda expression:

  1. variables: x, y, z, ...
  2. symbols in abstraction: λ and .
  3. parentheses for association: ()

Read More

maupassant: a Pelican theme

我现在用的博客生成软件是Hexo。这个软件可以快速将Markdown格式的文章转成html格式,并且包含发布到github page的工具。Hexo是基于Nodejs,所以某天我就在想有没有一个基于Python的博客生成软件。为什么我会这样想?因为

人生苦短,我用Python。

当然会有基于Python的博客生成软件:Pelican是最为突出的一个。事实上,我很喜欢Pelican!其中一个亮点是它的主题都是基于Jinja,这种简单统一的模版格式让用户很容易设计自己喜欢的主题。出于练手的原因,我将我喜欢的一个Hexo主题maupassant移植到Pelican了。

Read More

Cassini Ovals

This post is my note for What is seminar on Cassini Ovals.

Definition

An ellipse is a geometric object formed by locus of points which have fixed sum of distances to two fixes foci.

Ellipse

In the above figure, we can express the definition of ellipses in one simple equation:

$$|PF_1|+|PF_2|=c,$$


for some \(c>0\). What if we change the addition in the above equation to multiplication? This comes the definition of Cassini ovals.

Read More

Rademacher functions

This post is my note for What is…? seminar on Rademacher function.

For a real number \(x\) in \([0, 1]\), let \((a_1(x), a_2(x), \cdots, a_n(x), \cdots)\) be its binary representation. That is to say, \[\begin{equation} x = \sum_{n=1}^\infty \frac{a_n(x)}{2^n}. \label{20170623-1} \end{equation}\]

For some \(x\), there might be two possible binary representation. Take \(\frac{1}{2}\) for example, it can be represented as \((1, 0, 0, \cdots)\) or \((0, 1, 1, \cdots)\). In this situation, we always prefer the former representation, in which all terms become \(0\) eventually.

Definition 1. Let \(n \ge 1\) be an integer. The \(n\)-th Rademacher function \(r_n: [0, 1] \to \{-1,1\}\) is defined to be \[r_n(x) = 1 - 2a_n(x).\]

Read More

Lüroth expansion

This post is my note for What is…? seminar on Lüroth expansion.

Definition 1. A Lüroth expansion of a real number \(x \in (0, 1]\) is a (possibly) infinite sequence \((a_1, a_2, \cdots, a_n, \cdots)\) with \(a_n \in \N\) and \(a_n \ge 2\) for all \(n \ge 1\) such that \[\begin{equation} x = \frac{1}{a_1} + \frac{1}{a_1(a_1-1)a_2} + \cdots + \frac{1}{a_1(a_1-1)\cdots a_{n-1}(a_{n-1}-1)a_n} + \cdots \end{equation}\]

By abuse of notation, we will something write the right hand side of Definition 1 as \((a_1, a_2, \cdots, a_n, \cdots)\).

Given a system of representation of real numbers in \((0, 1]\), we need to determine whether these representations are 1 to 1 corresponding the numbers in \((0, 1]\). Aslo we should study the (Lüroth) shift map: \[\begin{equation} T: (a_1, a_2, \cdots, a_n, \cdots) \mapsto (a_2, \cdots, a_n, \cdots). \label{20170620-2} \end{equation}\]

Read More

Raspberry Pi Zero W无屏设置

我最近入手了一个Raspberry Pi Zero W,作为平时消遣的一个小玩具。因为我主要是想在它上面运行一些小程序,所以我希望将它设置为最简单的服务器,然后通过ssh来访问。这篇文章记录了我从网上搜来的设置步骤,方便下次设置。

制作SD启动盘

首先说明一下:我的系统是Mac OSX。在制作SD启动盘过程中,我们需要修改启动盘的内容,Mac OSX是不支持启动盘的格式的,所以我们需要借助其他途径。我是用VitualBox的Ubuntu来修改启动盘的内容。

第一步:下载raspbian lite,解压得到一个后缀名为img的镜像文件。我得到的是:2017-04-10-raspbian-jessie-lite.img

Read More

编写Hexo插件让主页显示特定的文章

今年三月份我在hostgator买的虚拟主机到期了,衡量几番二月就从wordpress迁到了Hexo。从这三个月左右的使用来看,Hexo让我挺满意的。一方面,它简洁且容易使用;另一方面它又给予用户很大的修改空间。奇怪的是,网上几乎没有编写Hexo插件的教程,以至于最近我折腾了好久才能写出可用的插件来让Hexo生成我预期的网页效果。这篇文章记录我编写Hexo插件的方法,希望对后来者有帮助。

首先描述一下我想要做的事情。最近一直参加Leetcode上面的比赛,而且每次参加之后都会写篇文章记录自己的做法,所以主页就被这些文章占领了。我希望主页只显示最新一篇关于Leetcode的文章。同时,我希望能有一个类似主页的页面,该页面是要列出所有关于Leetcode比赛的文章。总结说一下,我要做的事情是:

(I) 让主页只显示特定文章(或者说过滤掉特定文章)。

(II) 建立一个页面只显示特定文章。

Read More

Cabaret

昨天晚上并没有参加每周一次的Leetcode比赛,而是跟朋友去看Cabaret了。按照惯例要说一下吃了什么好吃的:我们去了Columbus Fish Market吃海鲜去了。前菜有fresh oysters与crab & shrimp dumplings,主菜有rainbow trout, lobster & shrimp stuffed cod和sea scallops。饭后甜点是key lime pie!这家的海鲜做法有点像广东那边,味道很清淡,试图突显海鲜的味道。我感觉最好吃的是前菜中的fresh oysters。上桌的时候,生蚝是平放在一大碗冰之上的,其纹理很清晰,也正是这种黑白分明显示出了生蚝的新鲜。可惜的是他们家的酱料相对之下粗糙简单,只有一碟类似番茄酱的酱料和一碟油,并没有蒜蓉之类可以提鲜的调料。还好的是生蚝本身已经够新鲜了,猛地一吸,生蚝的鲜甜立马在舌尖绽放,让人十分快意。

Cabaret是一部音乐剧,一部充满黄段子的音乐剧。Cabaret一开幕我就明白朋友路上说的少儿不宜是什么意思了。虽然我并不能完全明白剧中的对话(估计错过了好多黄段子 😛 ),但是剧中的大致剧情还是明白的。这里我就不剧透了,有兴趣的朋友也很容易在网上找到简介。一开始根据剧中反映的性泛滥以及对金钱的崇拜,我还以为是说战后经济大低谷时期的事情。后来剧中出现了纳粹红袖章我才意识到自己搞错了。原来剧中的人们正活着1928~1930期间,正是纳粹主义开始猖獗的时候。

Read More