摘要：
桌面环境：Gnome3安全类基本不需要系统辅助easystroke，鼠标手势clipit，剪贴板增强(我这里使用原生的Gpaste有点问题）gnome-extension，按自己需求装；ubuntu tweak，常用文档类leapad，适合txt等常用文档，代替gedit，类似win的记事本，速度快，自动识别编码；可以显示行号、自动缩进。Vim（emacs），浏览、编辑代码或其他需要高亮的文件li... 阅读全文
摘要：
…第四章 函数的语法Let it belet绑定类似于where绑定，都是用来定义局部变量（函数），其语法结构是：let [bindings] in [expressions]let绑定与where的区别之处在于，前者是一个表达式，而后者却是一个语法结构。表达式是可以嵌入其他表达式的，前面学到的if语句也是一种表达式。如果定义的局部变量不止一个，可以写在一行用";"隔开，也可以断行... 阅读全文
摘要：
这一篇是在Ubuntu下面写的，LibreOffice我还是第一次用，习惯了Ribbon，这类似word2003的风格一时半会还真适应不了。稍微配置了一下，装了个Tex插件来写公式，其他就默认了。不得不吐个槽，虽然很多有用的技术源自Unix或者Linux，但是真正做的很好用，很傻瓜的基本都在Windows上，比如CTex，Ubuntu下装起来相当麻烦。直接装源里面的Texlive是... 阅读全文
摘要：
昨天晚上Ubundu突然没声了，是彻底的没声音——不管是系统的还是应用程序或者网页的。google了一下，发现这问题还是比较频繁出现的，而且个人症状有些略微的差异。有些是系统声还在，但是应用程序没了，有些却完全相反。解决的方法也是不一而足，见仁见智。尽早折腾了一会，突然有声了（当时正开着播放器做测试，霎时被震晕了，后来神经还发了半天麻），虽然很莫名其妙，不过还是记录一下过程给下次做个参考。 因为以前都有声音，是突然没声的，近期也没有大的系统更新，所以排除驱动问题。 在系统工具—声音里面检查是否不小心mute了某些选项，结果是一切正常。 开始收集网上的方法，首先是检查声卡权限： sh... 阅读全文
摘要：
使用教材：《learn you a Haskell》，中文1-8章戳我 准备工作。 编译器&调试器：安装Haskell Platform，也就是著名的GHC； 文本编辑器： ①安装Eclipse（最新的是4.2），安装EclipseFP，根据Extra configuration steps安装一些必要的插件； ②安装GVIM，调教一下_... 阅读全文
摘要：
本来想要用LiveWriter做一下发布测试的，毕竟那个有代码高亮插件，但是我试了一下不是很好用，在发布的时候总是出些小差错。word相较于Livewriter的优势也很多，比如公式编辑，比如排版布置。当然，最强大的还是Tex，配置一下这两者的功能应该都可以实现，不过太麻烦了还是算了：）测试一下功能吧：公式输入： 不是很好看，等式左端没对齐，调了半天还是不满意... 阅读全文