server

Web服务器日志分析工具

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

owncloud安装问题记录

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

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

Back to Top ↑

haskell

Haskell类型限制

起因

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

函子,应用函子,单子

Haskell

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

CL与Scheme与Haskell

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

Back to Top ↑

linux

Back to Top ↑

emacs

从vim转至emacs的理由

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

Back to Top ↑

gentoo

gentoo配置makeopt

问题说明

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

Gentoo清理不需要的包

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

Back to Top ↑

lisp

Back to Top ↑

fedora

Web服务器日志分析工具

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

owncloud安装问题记录

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

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

Back to Top ↑

common-lisp

CL与Scheme与Haskell

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

Back to Top ↑

vim

从vim转至emacs的理由

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

Back to Top ↑

git

Back to Top ↑

education

Back to Top ↑

macos

Back to Top ↑

jekyll

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 ↑

GitLab

Back to Top ↑

Fedora

Back to Top ↑

owncloud

owncloud安装问题记录

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

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

Back to Top ↑

swapfile

Back to Top ↑

piwik

Web服务器日志分析工具

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

Back to Top ↑

goaccess

Web服务器日志分析工具

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

Back to Top ↑

nginx

Web服务器日志分析工具

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

Back to Top ↑

test

Back to Top ↑

python3

Back to Top ↑

scheme

CL与Scheme与Haskell

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

Back to Top ↑

functor

函子,应用函子,单子

Haskell

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

Back to Top ↑

applicative

函子,应用函子,单子

Haskell

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

Back to Top ↑

monad

函子,应用函子,单子

Haskell

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

Back to Top ↑

website

Back to Top ↑

quantum-mechanics

Back to Top ↑

note

笔记使用工具

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

Back to Top ↑

functional

Back to Top ↑

type-annotation

Haskell类型限制

起因

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

Back to Top ↑

docker

Back to Top ↑

mysql

Back to Top ↑

datebase

Back to Top ↑

dfs

Back to Top ↑

bfs

Back to Top ↑

id

Back to Top ↑

sicp

Back to Top ↑

python

Back to Top ↑

javascript

Back to Top ↑

spacemacs

Back to Top ↑

configure

Back to Top ↑

pkg

Back to Top ↑

cabal

Back to Top ↑

stack

Back to Top ↑

ssh

Back to Top ↑

portage

Back to Top ↑

structure

用乘法实现除法

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

Back to Top ↑

intero

Back to Top ↑

irony

Back to Top ↑

os

Back to Top ↑

ide

Back to Top ↑

editor

Back to Top ↑

command-line

Back to Top ↑

bug

Back to Top ↑

story

娱乐,故事,深度,中庸

前言

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

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

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

Back to Top ↑

depth

娱乐,故事,深度,中庸

前言

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

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

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

Back to Top ↑

moderation

娱乐,故事,深度,中庸

前言

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

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

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

Back to Top ↑

entertainment

娱乐,故事,深度,中庸

前言

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

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

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

Back to Top ↑

stand-alone-complex

娱乐,故事,深度,中庸

前言

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

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

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

Back to Top ↑

live

Back to Top ↑

solve

如何解题 笔记

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

Back to Top ↑

question

你的第一本哲学书

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

Back to Top ↑

clean

Gentoo清理不需要的包

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

Back to Top ↑

nixos

nixos试用

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

Back to Top ↑

ruby

Back to Top ↑

stackoverflow

Back to Top ↑

recursion

Back to Top ↑

zsh

Back to Top ↑

shell

Back to Top ↑

startup

Back to Top ↑

purchase

Back to Top ↑

lambda

Back to Top ↑

ipv6

Back to Top ↑

kernel

linux邮件列表的一点记录

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

Back to Top ↑

mail

linux邮件列表的一点记录

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

Back to Top ↑

lang

Back to Top ↑

type

Back to Top ↑

ocaml

Back to Top ↑