滴水成冰的快乐

摘要： Jasey WangLinux operations web老赵点滴.Net 架构 并行云风的BLOGC Lua 游戏编程四火的唠叨java javascript 设计闲思录DBA 前端优化 架构AderethClojure javascriptdirlt大数据 算法 cppLanceyan大数据 ... 阅读全文

摘要： . 匹配除换行符以外的任意字符^ 匹配字符串的开始$ 匹配字符串的结束[] 用来匹配一个指定的字符类别？ 对于前一个字符字符重复0次到1次*对于前一个字符重复0次到无穷次{} 对于前一个字符重复m次{m，n} 对前一个字符重复为m到n次\d 匹配数字，相当于[0-9]\D 匹配任何非数字字符，相当于... 阅读全文

摘要： 在客户端主动请求的所有逻辑中：（1）自动获取新的任务，（量大的时候的循环）（2）获取排行榜的人物信息，由于数据的同步问题导致的循环，或者客户端被恶意使用(3)防刷设置，对所有的消息入口做处理，包括类型和越界等每次开发新系统时候需要注意的地方：（1）内存申请和释放，只要每个系统用对了，所有的地方就都用... 阅读全文

摘要： :%s/ /\r/gc 将空格替换为换行符 :%s/ /\t/gc 将空格替换为制表符 syntax on set ts=4 set autoindent set smartindent set cindent shiftwidth=4 set softtabstop=4 autocmd FileT 阅读全文

摘要： Haskell LPC lisp/schemefrom: http://blog.codingnow.com/2008/08/lua_is_not_c_plus_plus.html梦幻西游的游戏逻辑是用一种类 C 的脚本语言 LPC 写的，而大话3 则是用的 lua 。对于那些新接触 lua 的 C... 阅读全文

摘要： 动态的实现： dofile和require，将文件动态的加载到package.loaded中规则： “;”为不同路径之间的分割符，"?"为require后面跟着的模式，".."是追加的连接符，如package.path=package.path..";luascript/?.lua" 阅读全文

摘要： 最近看了《逻辑的引擎》，心得写下：（1）计算机的分层理论来自与集合论和系统的不可判定性（不明白为什么，也许是1为什么就是1的问题？待定），因为系统部可判定，但是系统内部是可计算的，所以说需要分层结构建立新的系统证明结构的正确性（2）符号系统是用来证明数学的可证明行的有效工具（3）从存在性转化为符号系统，在转化为编码形式，两个集合之间的对应关系式符号转化系统的基础（4）数学中的集合和定义在集合上的操... 阅读全文