develop

linux邮件列表的一点记录

记录点事情吧。主要是今天发现突然收不到邮件列表的邮件了。大概查了下。FAQ有几种可能会出现自动退订。以及今天重新订阅出的问题。

浮点误差

浮点运算不同于整数运算,是存在大量误差的。这是因为在计算浮点时,为了处理下溢问题,引入了“舍入”和“截断”

从vim转至emacs的理由

笔者以前是使用vim写代码,因为vim和emacs一直处于被讨论的情况,所以很自然就去了解了一下,最开始是spacemacs,然后弃了(不管怎么说,这不过是在用别人的配置。没有意义,这样不如直接用atom什么的)。后来去学习了一下emacs操作。了解了evil。以及elisp(如果学过scheme或者common lisp的话,elisp可以直接上手,基本上没有太大差别。就是文档习惯有点不太一样)。

Haskell类型限制

起因

起因其实是关于catch以及catchIOError。对于catch,一开始,博主怎么弄都是错误信息,最后的原因是在于lambda中第一个参数的类型是非确认而引起的。

函子,应用函子,单子

Haskell

嗯,继续写函数式。之前有比较过,也提及过关于类型类相关的事。这次主要写写单子吧。主要是这个东西学起来快,但是真的理解有点麻烦啊。

CL与Scheme与Haskell

最近开始学习Haskell了,同样是函数式语言,当然少不了对比。因为Haskell还没有完全学完,所以表达可能有点不太完善,不过现在已经完全想走向haskell了。

Back to Top ↑

os

nixos试用

在虚拟机大概跑了一下,说一下感觉吧。最后的感觉是暂时弃用了。

gentoo配置makeopt

问题说明

emerge编译llvm时,各种自动killed,一开始还以为是用的vps限制掉了,后来加上-v后发现ninja居然有-j999的参数

Gentoo清理不需要的包

首先,要说明,这里所有的不需要并非指不依赖,本文主要说明如何处理掉未知的依赖项,然后清理掉不需要的软件。

Web服务器日志分析工具

服务器弄好了。之后就是要开始做监控了。主要是想针对流量做监控。比较好的工具有google analytics什么的,不过由于google在国内,嗯,大家懂的。所以只好找找其它的了。

owncloud安装问题记录

今天又把服务器安装了一个owncloud玩玩,虽然主要数据还是存在dropbox上的就是了。

这里主要写一下配置问题吧。中间被坑了几次(其实是 本人理解有问题可能)

Back to Top ↑

extract

你的第一本哲学书

什么东西真的存在?我们能知道任何东西吧?是否真的有是非对错?生命有意义吧?死亡是结束吧?

如何解题 笔记

教师应当帮助学生,但不能太多,也不能太少,这样才能使学生有一个合理的工作量

Back to Top ↑

mathematical

如何解题 笔记

教师应当帮助学生,但不能太多,也不能太少,这样才能使学生有一个合理的工作量

Back to Top ↑

algorithms

用乘法实现除法

为什么我们需要用乘法来实现除法?首先在计算机运算中,乘法的效率要来得高于除法。其次,除法的实现在电路中非常不容易,而用乘法能实现在一定精度下的除法。

Back to Top ↑

life

Back to Top ↑

default

Welcome to Jekyll!

You’ll find this post in your _posts directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different ways, but the most common way is to run jekyll serve, which launches a web server and auto-regenerates your site when a file is updated.

To add new posts, simply add a file in the _posts directory that follows the convention YYYY-MM-DD-name-of-post.ext and includes the necessary front matter. Take a look at the source for this post to get an idea about how it works.

Jekyll also offers powerful support for code snippets:

def print_hi(name)
  puts "Hi, #{name}"
end
print_hi('Tom')
#=> prints 'Hi, Tom' to STDOUT.

Check out the Jekyll docs for more info on how to get the most out of Jekyll. File all bugs/feature requests at Jekyll’s GitHub repo. If you have questions, you can ask them on Jekyll Talk.

And here test a picture.

Back to Top ↑

galgame

Back to Top ↑

physics

Back to Top ↑

tool

笔记使用工具

最近对使用的工具整理了一下。一开始是使用印象笔记来做各种笔记整理。后来转到了MWeb,但是因为印象笔记没有比较好的导出方案,所以就还是使用着那个。两者同时。后来学了Org,基本上部分文件从markdown转到的org去了。

Back to Top ↑

script

娱乐,故事,深度,中庸

前言

在本文中想以攻壳机动队、素晴日、玲音、EVA等几部作品来谈谈故事性与深度。然后又想到了以前非常喜欢的仙古,于是又联想到了中庸一事,中庸文化,推向大众。

本文想得出一个优秀的作品中,应该有哪些东西?娱乐、故事、深度或是中庸。主要是围绕着这几个元素进行自思。

这仅仅是突发奇想才想写这个内容,内容非常零散,仅是写给自己看的。

Back to Top ↑

philosophy

你的第一本哲学书

什么东西真的存在?我们能知道任何东西吧?是否真的有是非对错?生命有意义吧?死亡是结束吧?

Back to Top ↑

game

Back to Top ↑