Avatar_small

Linux发行版本的选择

Archlinux是我长期一直使用的linux发行版,喜欢他的BSD风格的配置,喜欢他的pacman,喜欢他的可定制性。 但最近慢慢地,Archlinux的维护越来越消耗精力,原因就是他的bleeding edge。这是一把双刃剑,即能体验最新的软件版本,但又有可能存在不稳定的因素。 所以我开始寻找新的linux发行版作为归宿。 Gentoo我在用Ar...

Avatar_small

Gentoo折腾记(一)

久闻“贱兔”大名,却始终没能见其一面。而现在,终于有机会体会下“贱兔”了。 在arch里使用chroot安装gentoo,这种方式我还是第一次,不过还算顺利,按照gentoo的文档来,基本没什么问题。 在编译完内核后,第一次启动的时候,居然提示找不到网卡,这很令人蛋疼,网上google了很久,也没有什么好的解决办法,最后又...

Avatar_small

Continuous Integration - Build

三种分支模式 稳定主线 项目中只有一条稳定主线,所有开发人员的代码都直接提交到该主线上,包括新features,bug fix 等。项目Release时不开新分支,只给主线上打上tag进行标记。 该模式的最大好处就是管理方便,分支零成本管理,不涉及多分支间的合并问题。也是Martin Fowler同学推荐的模式。 ...

Avatar_small

Gentoo安装成功!

之前我的本子安装了arch+centos,可是没想到的是每次从centos中退出重启进入到arch的过程中,磁盘总是会出问题,arch就没法进入。在centos中查看分区,貌似是说分区表错误了。。这时我同学要装gentoo,于是,索性狠下心来,将硬派全部格式化掉,重新分区,试着装下gentoo。 分区结束后,装完arch,还给了gentoo留了很多空间,准备工作完成后,chro...

Avatar_small

MySQL事件调度器的基本使用方法

  根据MySQL的官方文档,从MySQL的5.1.6版本开始,MySQL支持了事件调度器,用于处理事件的调度与执行。触发器用于根据DML操作来触发事件,而事件调度器则是定时触发事件,功能类似于Linux的crontab计划任务,但是控制更为精确。在MySQL支持这项功能之前,往往通过Linux的crontab来辅助进行定时任务的触发,而当我们对于任务有更高的定时要求时,或者考虑调用接...

Avatar_small

KLEE-之函数调用

关于函数的调用在klee使用中的体现 klee -libc=uclibc -posix-runtime *.bc 在executeInstrucion()中 通过判断instruction的类型,区分了call,和invoke 然后通过判断是不是直接的函数调用(是否为函数指针??) 如果是直接的函数调用,则调用函数executeCall...

Avatar_small

[asp.net]遇到的常用方法

1.先验证后弹框的方法(页面有验证控件的前提) /// <summary> /// 先验证再弹框 /// </summary> private string strJs = @"if (typeof(Page_ClientValidate) == 'function&#...

Avatar_small

Continuous Integration - Why need it?

Continuous Integration is a software development practice where members of a team integrate their work frequently, usually each person integrates at least daily - leading to multiple integ...

Avatar_small

KLEE--constraint与state的关系

在 executor.cpp中,有run函数,一切程序的运行的驱动都是从这里开始的 line:2460 while (!states.empty() && !haltExecution) { line2465: executeInstruction(state, ki); ...............

Avatar_small

PPA 源删除

ubuntu 的 ppa 源,都被放在了 /etc/apt/sources.list.d 版本升级后 原来添加的是 natty 的源,好像没有什么自动升级源的方法 只能手动删除,重新添加一遍

Avatar_small

LuaJIT 的作者 Mike 推荐的lua源码阅读顺序

Recommended reading order:

Avatar_small

UNIX操作系统常用命令

一、文件管理命令 1、 cat,输出显示或链接文件的内容。特殊的格式如cat >testfile. 允许直接接受键盘输入的连续字符,并写入filename中。同样,<符号为输入。 2、comm命令,diff命令,find命令,略 3、tail命令:tail[+-number unit] file 功能:释放文件的最后一部分。 4、t...

Avatar_small

rem和mod的區別

我不清楚rem和mod兩種運算是否遵從什麼標準,也不瞭解它們從何而來,不過對於LISP來說,它是有標準的就OK了。它們對負數的運算方式也不難記憶,在此我只是提供一種記憶的方法。

Avatar_small

9066. Sum of Distinct Numbers

http://www.spoj.pl/problems/XXXXXXXX/ ID DATE PROBLEM RESULT TIME MEM LANG 6133413 2011...

Avatar_small

以前写的一些东西

一个C++的矩阵模板类,带有常见运算和求逆等功能:Matrix.zip 一个VC6.0写的右键打开菜单添加器,源码,程序 也就这些了,以前放在GAE搭建的博客上,现在上不去了,而且GAE收费了,所以转移下。