Programming

06/06/2017Idris

学习idris

学习idris这门语言的特性，了解依赖类型，强类型语言的优点

09/30/2016PHP

php中使用monkey patch以及在ruby和python中是如何做的

09/09/2016PHP

在写php脚本的过程中经常会遇到要并行处理大量数据的问题，比如说批量从数据库中处理几万行数据，调用第三方接口处理大数据等等，如果仅仅是循环去处理会导致非常低效，PHP本身是支持多进程的，如果让多个进程同时处理这部分数据就会让性能快很多...

08/07/2016PHP

在使用jsoneditor的时候遇到一个问题就是总是会把多余的空格写入数据库...