今天去Anaconda官网下载软件安装，遇到了"NSIS_Error", 感觉又神奇又无语，因为去官网下载并安装文件一般都是不会出现问题的。 开始认为电脑程序出问题，于是重启，结果还是错误 后来百度一下 ''' 安装游戏时，有时打开安装包会出现installer integrity check ha ...
分类：
其他好文 时间：
2018-11-04 21:19:25
阅读次数：
789
区块链快速入门（四）——BFT（拜占庭容错）共识算法一、BFT简介1、拜占庭将军问题简介拜占庭将军问题（ByzantineGeneralsProblem）是LeslieLamport（2013年的图灵奖得主）用来为描述分布式系统一致性问题（DistributedConsensus）在论文中抽象出来一个著名的例子。拜占庭将军问题简易的非正式描述如下：拜占庭帝国想要进攻一个强大的敌人，为此派出了10支
分类：
编程语言 时间：
2018-10-18 18:50:46
阅读次数：
218
背景介绍 itchat是一个开源的微信个人号接口，使用python调用微信从未如此简单。 使用不到三十行的代码，你就可以完成一个能够处理所有信息的微信机器人。 官方文档参考https://itchat.readthedocs.io/zh/latest/ 最近要做一个自动应答机器人，获得用户消息GUI ...
分类：
其他好文 时间：
2018-10-18 13:08:55
阅读次数：
349
什么是验证码？ 验证码（CAPTCHA）是“Completely Automated Public Turing test to tell Computers and Humans Apart”（全自动区分计算机和人类的图灵测试）的缩写。是一种用来区分用户是计算机还是人的公共全自动程序。 验证码的作 ...
分类：
编程语言 时间：
2018-10-12 17:05:14
阅读次数：
213
莱布尼兹曾经有两个梦想： 1. 创建一种“普遍语言”（universal language）使得任何问题都可以用这种语言表述； 2. 找到一种"判定方法"（decision method）以解决所有可以在“普遍语言”中所表述的问题。 这两个问题是上百年来数理逻辑、数学哲学和数学基础问题的核心、实质。 ...
分类：
其他好文 时间：
2018-10-12 14:11:07
阅读次数：
242
C++模板创造之初只是为了让c++程序员编程更简单，避免书写很多冗余代码，常常和c/c++中的宏做对比，但是在后续发展过程中，模板被证明是图灵完备的，也就是可以做一些元编程，让所谓的“程序”执行变成了由C++编译器来完成，让程序员可以很轻易写出各种DSL特性，交由编译器计算，最终生成非常高效可执行代 ...
分类：
编程语言 时间：
2018-10-11 11:33:49
阅读次数：
188
Turing Tree http://acm.hdu.edu.cn/showproblem.php?pid=3333 分析： 这道题目叫 图灵树。 离线+树状数组。 维护到每个右端点的答案，直接查询左端点，树状数组维护。一个数字不能出现两次，会发现如果出现了多个数，最右边的数可以代替左边的所有数，所 ...
分类：
其他好文 时间：
2018-10-09 11:02:36
阅读次数：
138
为了算法复杂性分析具有普适性，即一个算法的性能与具体的计算机无关，我们需要选定一种可用于描述计算的计算机模型。 图灵机 图灵机本质上是一个具有存储载体（通常用一个有无限多个方格线性带表示）的、按照具体指令可完成向左或右移动、放置标记、抹去标记以及在计算终止时停机等四种基本操作的、用于描述算法的语言。 ...
分类：
编程语言 时间：
2018-10-04 19:52:32
阅读次数：
335
转自：http://www.cnblogs.com/chinazhangjie/archive/2010/12/06/1898070.html 一、图灵机 根据有限状态控制器的当前状态及每个读写头读到的带符号，图灵机的一个计算步可实现下面3个操作之一或全部。 （1）改变有限状态控制器中的状态。 （2 ...
分类：
编程语言 时间：
2018-10-02 17:39:15
阅读次数：
141
转自：http://mindhacks.cn/2006/10/15/cantor-godel-turing-an-eternal-golden-diagonal/ 我看到了它，却不敢相信它[1]。 转自：http://mindhacks.cn/2006/10/15/cantor-godel-turi ...
分类：
其他好文 时间：
2018-09-30 16:47:44
阅读次数：
277
