Category: Uncategorized

Godaddy世界杯期间$0.99域名优惠券

Godaddy是世界最大的域名注册机构，经常不定期开展优惠活动，但是每次优惠活动都是有名额限制的，所有需要的尽快行动。这次世界杯期间，又推出了0.99美元的特价优惠码。

优惠码: SOCCER99

优惠内容: 注册或转入.COM, .US, .MOBI, .BIZ, .NET, .ORG, .CA, .CO.UK , .IN，仅0.99美元

有效期: 前10000个注册, 或者2010/7/2号过期

Continue reading “Godaddy世界杯期间$0.99域名优惠券”

Formality Equivalence Checking Verification Process

What is Formal Verification?

Formal verification is an alternative to verification through simulation. Verification through simulation applies a large number of input vectors to the circuit and then compares the resulting output vectors to expected values. As designs become larger and more complex and require more simulation vectors, regression testing with traditional simulation tools becomes a bottleneck in the design flow.

Continue reading “Formality Equivalence Checking Verification Process”

6月22日倒桩顺利通过

早上4点就起来了，4点半和师傅一块出发，中途接了2个人，5点半到了金山训练场，考试6点半开始，还有一个小时，我和另外一个同学每人练了2把，顺利通过。

6点到了桩考地点，师傅已经帮我们取了号，我是26号，说是一小时考30个，等到我考试已经7点20了。

Continue reading “6月22日倒桩顺利通过”

firefox3.6 tab标签的打开位置变量：browser.tabs.insertRelatedAfterCurrent

firefox 3.6 RC1 发布，安装使用基本还好，只是点击链接后的tab标签页打开位置是紧随在所点击的页面后，和之前的不同。

Firefox 3.5和以前的版本的信tab标签页打开是在所有标签页最后面，而FireFox 3.6的tab标签页打开后是在原标签页之后，在Firefox 3.6中添加了一个变量来控制tab标签打开的方式，变量名为 browser.tabs.insertRelatedAfterCurrent

Continue reading “firefox3.6 tab标签的打开位置变量：browser.tabs.insertRelatedAfterCurrent”

Save Image From URL Using PHP

Code 1: $url = ‘http://example.com/image.php’;
$img = ‘/my/folder/flower.gif’
file_put_contents($img, file_get_contents($url));

Code 2: $ch = curl_init(‘http://example.com/image.php’);
$fp = fopen(‘/my/folder/flower.gif’, ‘wb’);
curl_setopt($ch, CURLOPT_FILE, $fp);
curl_setopt($ch, CURLOPT_HEADER, 0);
curl_exec($ch);
curl_close($ch);
fclose($fp);

Continue reading “Save Image From URL Using PHP”

控制终端代码 – Linux 控制终端转义和控制序列 zz

DESCRIPTION 描述

Linux控制台实现了VT102和ECMA-48/ISO 6429/ANSI X3.64终端控制的子集, 这个子集很庞大,当然还有Linux自己私有的控制序列,以改变颜色配置,字符集映像,等等.在下面将要给出的表格中,第二列为指定的功能给出了 ECMA-48 或者DEC助记符(如果是后者会在前面加有DEC前缀).没有给出助记符的序列既不是ECMA-48也不是VT102字符.

Continue reading “控制终端代码 – Linux 控制终端转义和控制序列 zz”

设置KSH的自动补全和历史命令功能

设置KSH的自动补全和历史命令功能

方法一：

set -o vi

历史命令功能（esc -，esc +），自动补全文件名（esc \）。

方法二：

set -o emacs

历史命令功能（ctrl-n，ctrl-p），自动补全文件名(按两次esc)。

找不到自动补全命令的功能，还是bash比较人性化。

Continue reading “设置KSH的自动补全和历史命令功能”