名称	打包格式	首发日期
搜狗输入法	deb	2014/04/17
WPS	deb 与 rpm	约2012/03/28
百度网盘	rpm	2019/06/14
网易云音乐	deb	未知

资料来自：科普书《复杂》和知乎网站。

假设存在这么一个“停机程序”，不管它是怎么实现的，但是它能够回答“停机问题”：它接受一个“程序”和一个“输入”，然后判断这个“程序”在这个“输入”下是否能给出结果：

def is_halt(program, input) -> bool:
  # 返回 True  如果 program(input) 会返回
  # 返回 False 如果 program(input) 不返回

Continue Reading »

• 年初：开始看房，但是感觉没有合意的（户型、朝向、周边环境、业主欠款情况），反而觉得自己现在租的这个最好，因此决定购买现在租的这个。
• 5月9日-5月20日：与业主协商价格、付款方式、贷款银行、合同条款等，自己录入网签合同，预约银行面签时间。
• 5月23日：和配偶、 业主一起去工商银行网点办手续：签合同、交定金、办理首期款资金监管（银行POS机刷的）、签各种贷款协议，由于是组合贷款，签字的地方比较多。
• 5月26日：评估公司上门评估。
• 5月27日：缴纳评估费。
• 6月4日：公积金审核完毕（在微信小程序上查得）。
• 6月13日： 工商银行电话审核。
• 6月17日：工商银行通知贷款已审核通过（其实6月14日已经能在app上查询获得贷款结果）。

Visual Studio Code 中的 Python 插件（附详细安装链接）

Python官方教程

来自旗下的国际癌症研究机构（International Agency for Research on Cancer， IARC ）。列表中包含化学物质、物理因素、食品等，分四个级别：

• 1级：Carcinogenic to humans 明确致癌（坚决不要碰或不要吃）
• 2A级：Probably carcinogenic to humans 可能致癌（少碰、少吃）
• 2B级：Possibly carcinogenic to humans 未定
• 3级：Not classifiable as to its carcinogenicity to humans 正常

症状：用优盘安装系统，安装成功了，但是重启之后就进不去啦！不管你是否把优盘拔掉。

Continue Reading »