- 博客(5)
- 资源 (6)
- 收藏
- 关注
RSS订阅原创 图灵机的逻辑等价形式——lambda演算简介
这篇论文是一篇简短易懂的lambda演算介绍。λ-calculus（lambda演算）是Alonzo Church开创，最初是作为研究数学函数的可计算性的相关属性的工具，随着它的流行，其逐渐成为函数编程语言家族强有力的理论基础。这篇简介展示了利用lambda演算如何构建算数和逻辑的数学计算，以及如何定义递归函数（尽管lambda演算子中的函数是匿名的，因此它们不能被显示引用，我们仍然可以定义递归函数）。lambda演算子可以说是世界上最小的通用编程语言。
2018-07-28 17:07:31
7929
2
原创 spotbugs官方文档的bug描述概述
spotbugs已经取代和继承了曾今的findbugs，已经按个人理解对bug的类别进行排序，重要的在前，不重要的在后。bug描述里的废话被我删了。 文档参考：http://spotbugs.readthedocs.io/en/latest/bugDescriptions.html### Malicious code vulnerability (MALICIOUS_CODE)恶意代码漏洞
2018-07-21 11:53:11
9224
原创 微信鉴权环境的内网部署方案
本文适用范围： 一、微信开发相关业务，涉及到微信第三方开发者鉴权、公众号鉴权业务； 二、没有固定IP的内网部署环境，尤其是测试环境。IP经常变动，导致鉴权失效。 三、本文写作时尚未解决主动定时拉取token的问题（跳板机的正向代理）解决方案核心思路： 使用带有固定IP的外网服务器，此处称：跳板服务器，作为内网服务器的端口转发服务器。和鉴权有关的域名解析到该服务器。使用到的工具为ng...
2018-07-21 11:52:54
965
原创 shell for 循环中实现异步处理
理解异步，需要理解shell壳的原理，父shell和子shell进程之间关系。 shell什么情况下会产生子进程 下英文摘自info bash 1、后台执行命令 &。If a command is terminated by the control operator ‘&’, the shell executes the command asynchronous...
2018-07-18 14:29:44
3242
原创 linux shell判断文件是否更新、修改
核心命令：stat 如下函数，判断文件是否更新，传入文件路径，间隔时间（秒s），则输入文件在多少秒内是否被更新过。function whether_changed(){ local file_path=${1} local check_time=${2} while [[ true ]]; do file_old_stat="`stat ${file_...
2018-07-10 19:49:06
16643
3
mysql-connector-java-8 源码
2019-02-20
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人