假设存在这么一个“停机程序”，不管它是怎么实现的，但是它能够回答“停机问题”：它接受一个“程序”和一个“输入”，然后判断这个“程序”在这个“输入”下是否能给出结果：
def is_halt(program, input) -> bool:
# 返回 True 如果 program(input) 会返回
# 返回 False 如果 program(input) 不返回
购房记
2019年
- 年初：开始看房，但是感觉没有合意的（户型、朝向、周边环境、业主欠款情况），反而觉得自己现在租的这个最好，因此决定购买现在租的这个。
- 5月9日-5月20日：与业主协商价格、付款方式、贷款银行、合同条款等，自己录入网签合同，预约银行面签时间。
- 5月23日：和配偶、 业主一起去工商银行网点办手续：签合同、交定金、办理首期款资金监管（银行POS机刷的）、签各种贷款协议，由于是组合贷款，签字的地方比较多。
- 5月26日：评估公司上门评估。
- 5月27日：缴纳评估费。
- 6月4日：公积金审核完毕（在微信小程序上查得）。
- 6月13日： 工商银行电话审核。
- 6月17日：工商银行通知贷款已审核通过（其实6月14日已经能在app上查询获得贷款结果）。
- 6月20日：去不动产登记中心交件（在微信公众号上预约“国有建设用地使用权登记及房屋所有权转移登记”）、办理公证（业主香港人，需公证）
- 6月27日：去不动产登记中心缴税、领证、办理抵押（那儿居然不让复印产权证，只能自己拍照扫描了）。银行放首期款给业主。
- 7月3日：去把公积金取出来用了。
- 7月7日：在工行app上查到了贷款合同，时间为7月4日，显示额度为71万。
- 7月9日：工行贷款联系人告知商贷部分71万已放款，还款日期为下月开始每月9日。
- 7月12日：公积金放款
CentOS 7 优盘安装之后无法进入系统？
一个用于定位含简并碱基的oligo的工具
能用于定位oligo（或primer）的工具很多，比如BioEdit、BLASTN都可以，但是它们不能处理简并碱基的情况，只会把简并碱基当成错配。
现在列一个能够用于定位含简并碱基的oligo的工具：usearch中的search_oligodb命令。
命令格式为：
usearch -search_oligodb [your/target/seq.fa] -db [your/probes.fa] -alnout or -blast6out [your/result] 可用参数有：
-strand: plus or both
-maxdiffs: [int]wikipedia之殇
已经第4天了
替代品：自己寻找科学上网工具
银联卡境外取现
事情源于去年11月份澳门之行，网上看到说宁波银行借记卡每月前几笔可以免费境外取现，于是未携带任意现金即上路。然而事实证明不对：还是要收费的。
3月份准备去日本旅行，自然也做足了功课，找到两个网址：
- 银联借记卡境外ATM取现发卡银行手续费一览表 （由境内银行负责收费）
- 银联卡境外取款当地ATM收单机构手续费一览表 （由境外ATM负责收费）
简单来说，取现的费用由境内+境外两部分组成。宁波银行免了境内的部分费用，因此只需注意境外ATM费用即可。从表格上看，澳门的ATM设备一般均需收取手续费，而香港、台湾等地则不收取手续费