小心假设，痛苦求证 - 51CTO技术博客

文章

XBOX360共享笔记本无线网络（傻瓜版）

2009-09-07 04:47:59

暑假休息，今晚新败了XBOX360先前没有做足研究，入手发现居然无线功能还是要额外配网卡的，甚晕查了查UK无线网卡的价钱，49胖子...国内，也是500大洋...吐血于是还是拿我的笔记本当AP吧...
随便看了下，发现网上的说明写的乱七八糟Google排名最前面的就是“微软不会告诉你的10个技巧”：里面号称要用桥接连...分明是搅混水...麻烦（所有的地址，包括dns都要手动分配《---很负责任的说，无聊的我测试过了，汗），且在更新的时候就不能拿本本看网页了百度知道以及其他几个论坛（恩，后面的不知道了，我就看了第一页的结果...）的回答更是..

类别：使用经验 | 阅读全文(334) | 回复(1)

极品思维定势

2009-08-14 23:48:25

刚寄完申请表，MSN上几乎同时跳出了2封新邮件提示。一封出自某个计算机系的老师，一封则出自数字技术组的某位博士生。邮件大概说的都是同一个意思，说是我忘记登出，导致“no one can use”那台装有扫描仪的共享工作站。葡萄牙博士还特意强调此行为如何如何“Anti Social”,以及他在1楼（扫描仪）和3楼（他的办公室）间往返多次如何如何幸苦。两封信气势凌然，让人禁不住心里发毛。实验室中国学生本来就不多，我生怕做出点傻事来坏了咱老祖宗五千年的名声。所以在剑桥这一年，虽然没有夹着尾巴做人，自认为方方面面还是考虑的挺周全的..

类别：前景思辩 | 阅读全文(107) | 回复(9)

为什么绿坝是个笑话

2009-06-16 01:21:31

国内的分析文很多，这里也不跟风追讨了。
效率低下，差错率高，都不可怕。可怕的是它那让人难以理解的安全机制...能在这儿转悠的人都明白我指的是什么，不继续扯了。
更好笑的是它又偷了别人的代码，偷完了屁股还不擦干净：请看洛杉矶时报的新闻：http://www.latimes.com/technology/la-fi-china-internet13-2009jun13,0,2106517.story

类别：前景思辩 | 阅读全文(275) | 回复(0)

Latex中插入Smartdraw所绘图形

2009-06-02 10:51:28

最近换了SmartDraw的2009新版本，fancy的风格多了不少，可惜的是...它的输出机制没跟上...
众所周知，latex贴图要么用eps,要么用pdf（其他的高失真的格式就不讨论了吧）. 如果你用了某些必须要用dvi输出的package（比如我这次），那么就非要用eps不可了。当然了，如果是普通使用，word,ppt这些，那实在是太轻松了，2009支持微软家的东西方便快捷，基本怎么转都无损...
如果不是微软的嘛...先说pdf,smartdraw直接输出pdf还okay,主要会调用自己的PosrScript的虚拟打印机，效果比较不错，但是某些箭头的某一半会莫名其妙的有1-2个像素的偏..

类别：使用经验 | 阅读全文(397) | 回复(3)

胡乱吹捧的“云安全”

2009-05-27 19:34:03

将病毒资料库放在“云”端，与客户端构成的防御体系可以通过网络直接阻断病毒和木马的传播路径，保护终端机器安全

以上这东西有任何新鲜的地方么？这也值得厂商大吹特吹？云计算时代倘使到来，那么显然任何服务都是要进入云的，本地杀毒根本没有意义...极端的来说，云时代的客户端或许根本支持不了也不需要本地杀毒。现在所谓的病毒资料库在服务器中的做法根本就是老套的不能更老套了，2年前我就在PC World被强塞过一个免费的防毒优盘，采用的就是这种手段，当然了，持续使用是要付费的。总而言之，新瓶旧酒的把戏，就不要拿出来欺骗..

类别：前景思辩 | 阅读全文(53) | 回复(1)

MSN去广告方法（转）

2008-12-09 15:28:42

MSN去广告方法（转）1、去掉主窗口下的广告
用Restorator打开msgsres.dll中的4004－923,查找里面的"ID=Atom(SSConstrainer)",不包括两头双引号,将前面的layoutpos=top改为layoutpos=none

2、去掉聊天窗口下的文字广告
在4004 - 920里
找到: element id=atom(adbannercont) layout=filllayout()
改为: element id=atom(adbannercont) layoutpos=none

3、去除界面底部搜索栏：
在上边的文件中查找"idSearchContainer"
将上边的"layoutpos=bottom"改成"layoutpos=none"

网上找来找去麻烦，转过来省心！可以直接用VS..

类别：使用经验 | 阅读全文(185) | 回复(1)

Cygwin下安装LeoII简介

2008-11-07 00:54:09

什么是Cygwin?咳...这个不介绍了...Google吧
什么是LeoII？LeoII是一款在2007年开发的逻辑证明工具。其核心是把高阶逻辑转换为一阶逻辑，然后利用一阶逻辑的ATP辅助工具，自动求证问题。
Cygwin和LeoIILeoII是为Linux开发的，在Cygwin下运行有很多兼容问题。事实上，目前公开提供下载的版本（最新为v098)都有不同程度的Bug。昨天亲自得到了内部测试版本，v099-Beta,经测试运行良好。
oCamlLeoII需要Objective Caml，其下载页面是：[url]http://caml.inria.fr/download.en.html[/url] 选择Binary Distribution for Microsoft Win..

类别：使用经验 | 阅读全文(152) | 回复(2)

人生中第一篇学报论文

2008-10-31 13:04:00

Verifying the CICS File Control API with Z/Eves
硕士时候的成果，现在才被接受
结果申请博士的时候啥忙都没帮上
小小的第三作者

类别：未分类 | 阅读全文(171) | 回复(0)

所见即所得？MikTex+lyx

2008-10-31 11:41:37

11月底要参加一个MSR的Workshop，很有幸的得到了一个做poster presenter的机会，让我得以展示一下硕士学习的成果。（刚开学一个月，博士还真是啥成果也没有）
海报需要的大小是A0或者A1，选择编辑软件的话，MS的office毫无疑问是出局了。自然的就想到了latex。MikTex是Windows下很稳定的一个latex系统，安装也非常的傻瓜。与之相配套的编辑器用什么好呢？网上的推荐五花八门，但在我们Laboratory还是公认MikTex+Winedt的组合的。Winedt最大的优势就是它有着很强的容错性，速度也很快。也有人推荐emacs+autex的，但是考虑到一个windows..

类别：使用经验 | 阅读全文(1549) | 回复(1)

前沿还是边缘

2008-10-31 10:19:57

一开博就觉得很尴尬，不论是系统分类还是兴趣点，似乎在CTO都很难找到我这个方向合适的位置。
作为Grand Chanllenge项目，人类基因组计划得到了全世界的关注，国内的热炒程度更是远远超过了学术界的预期。但是下一代的Grand Chanllenge 6：Dependable Systems Evolution （proposed in 2005） [url]http://www.fmnet.info/gc6/[/url]在中国却没什么人知道。一个在2006年被正式立项，计划第一步准备消耗15年时间的全球项目，就这样的被亚洲雄狮冷漠的忽视了。
在我的印象中，清华和浙大貌似是近几年唯有的两所开设Formal Methods课..

类别：前景思辩 | 阅读全文(80) | 回复(1)

最新评论

[匿名]littlep：lz的smartdraw是什么版本啊？网上说..

flybirdfly：呃傻瓜版也得研究一下

漠北：不知博主7楼的朋友有木有兴趣来开博..

GhostLover：广大网民的出发点果然是多角度的，..

捣蛋学生：hmmm，其实没有人是明智的。一旦你..

友情链接

从牛棚到草棚的解放

唧唧歪歪的坎德人

Onlypengpeng

51CTO推荐博客

gehailong	狼哥
邹盼盼	delxu
pc2004lcq	danni505
randy_shan..	文平
神相	王易见
王超博	Luckcy_sky

热门文章

捣蛋学生的BLOG

捣蛋学生的相册

博客统计信息

用户名：捣蛋学生
文章数：10
评论数：19
访问量：4839
无忧币：63
博客积分：106
博客等级：1
注册日期：2008-10-31