if self.is_Programmer? # beta

之前一直在用 gnome-sound-applet 来调节音量。今天终于脱离了它。 GNOME 越来越臃肿了。今天系统出了点小问题，查看日志时再次看到 dbus 报怨 NetworkManager 没有运行的错误。我是直接用的 ArchLinux 的network服务连网的，根本不需要 NetworkManager 掺和，可是自己要用 Empathy，而它奇迹般地依赖 Netw...

CSS3 Transitions, Transforms和Animation使用简介与应用展示 « 张鑫旭-鑫空间-鑫生活 CSS3 Transitions, Transforms和Animation使用简介与应用展示 by zhangxinxu from http://www.zhangxinxu.com 本文地址：http:...

在 C++11 里面，for 有了更方便的写法，具有范围的概念。类似于脚本语言的 for xx in xxx 之类的语法。

使用klee时，一般要利用klee_make_symbolic函数，将要跟踪的变量标记为symbolic，但是klee是如何找到这个函数，并且对应标记的呢。。。。。 把klee_make_symbolic使用的分为两个过程，1。绑定 2.调用 1.绑定 在main.cpp中 line：1303 Interpreter *in...

problem 21-3 of CLRS. See wiki.

转自：http://www.phpweblog.net/maple094/archive/2008/05/30/4054.html define部分： 宏不仅可以用来代替常数值，还可以用来代替表达式，甚至是代码段。（宏的功能很强大，但也容易出错，所以其利弊大小颇有争议。） 宏的语法为： #define 宏名称 宏值 注意，宏定义不是C或C++严...

这是之前的一篇文章 vim:撤销最后关闭的buffer 的后续。 因为依云同学表示那个小脚本还有很大提升空间， 于是我就把它改成了小插件并上传到了vim.org 和github.com https://github.com/Rykka/lastbuf.vim 功能： 重新打开最后关闭的buffer :hid 所关闭的buf...

ArchLinux的gvim版本比较新， 但是其python2的library链接有错。 当import gtk就会出现Error import的错误提示。 这个错误我知道已经有好几个月了， 之前在github上就有用ArchLinux的人表示用不了我插件里的取色器。 但是当时我用的还是Ubuntu，所以没去fix。 不过如今我用上了Arch,当然得...

用过 debian 知道 aptitude 软件管理 用过 ubuntu 知道 apt-xxx 软件管理 一直纠结于两者的区别，google 很多，各种说法 看来要求甚解，要 研读 man + 官方文档

1 经过对比，选择了 LMDE 作为桌面系统， 主要看中的是滚动更新的能力 （rolling update ），良好的优化和稳定性，可保证系统一直可用。 2 常见软件的选择，可以跟随大众，且不用费力折腾。 3 『ATI fglrx』硬件驱动，能用，决不是最新。需要耐心等待，但也免了折腾。直接安装linuxmint的fglrx即可。 我的RS880 (主板集成...

在目前的主流浏览器里面，都可以撤销最后关闭的标签页。 于是我以为vim里面也有这样的功能，但是看完:help buffer后发现,这个真没有 :| 于是只好自己动手，写了个mapping <ctrl-w>z:撤销最后关闭的buffer "reopen last closed buffers "{{{ &q...

http://www.zybbs.org/JudgeOnline/problem.php?id=2120 RunID User Problem Result Memory Time Language Code ...

转自：http://eezjye.blog.163.com/blog/static/164760659201051093817291/ tar 系统备份：tar -cvf 目标文件名/设备名 备份文件，例如： tar -cvf backup.tar * 命令将当前目录下的所有文件（包括各级子目录）都打包在backup.tar文件中。 t...

本文介绍通过网上流传的《将shp文件导入到mysql的命令.rar》将shp文件导入到MySQL数据库中。 首先下载《将shp文件导入到mysql的命令。rar》并解压。将文件名改为字符的吧，省去不必要的麻烦。（如果不能下载，email至shchen.lmars@live.cn, 标题：《求<将shp文件导入到mysql的命令。rar>》） 第二部...

目前比较流行的shell的软件工具是SSH Secure Shell与putty。putty的使用已经介绍过，今天主要介绍SSH Secure Shell。 SSH Secure Shell Client支持图形化的SFTP(即Secure File Transfer Client)，功能比较完善。安装步骤如下： 下载安装完成之后打开SSH Secure Shell C...