Tuesday, May 24, 2011

[FOSS] get-shit-done

最近比较迷 homebrew 与 github
brew update 时会看被更新的 formula 是什么东西,
github 的 reflog 也很有趣, 会定期推荐一些 promising 的 project.
今天就见到一个很简单同时也很有趣的东东: get-shit-done.
这是它的介绍:

    Small script to configure your hosts file so you don't get distracted during the day

它的原理很简单, 通过修改 hosts 文件, 屏蔽一些容易让人分心的社交网站 (facebook, twitter, etc)
使你偷懒打开网页时被重定向. 命令很简单,

    sudo get-shit-done work

即可修改 hosts 并且重启 network daemon, 

    sudo get-shit-done play

则是回复正常状态.
有趣的是, 这个小工具在 hacker news 引起了很大的反响.

Thursday, May 5, 2011

[繼續貢獻]我是一名吉他手,昨天晚上去相親,感覺現在的女生..

我是一名音樂傢,昨天晚上去相親,感覺現在的女生... 相親時,我就隨便問了三個問題,她竟然一個都答不上來,也沒有討論的氣氛。。。

先問了一個"大三和絃與小三和絃有什麼區別?",她楞在那裏半天,既不回答,也不說說自己的觀點。

看她對和絃理論沒什麼研究,就問一點實際一點的問題吧"怎麼在雙搖琴上實現Joe式的尖叫人工泛音",她說話了"雙搖琴?人工泛音?" 

崩潰了,萬般無奈之中,記得女孩子普遍對感情敏感,"爲什麼英格威使用的和聲小調音階會給人帶來一種古典音樂的感覺?"她終於活躍了:"英格威是誰?...和聲小調音階?..."

[貢獻一個爛gag]我是一名理論計算機研究僧,昨天晚上去相親,感覺現在的女生⋯⋯

我是一名理論計算機研究僧,昨天晚上去相親,感覺現在的女生... 相親時,我就隨便問了三個問題,她竟然一個都答不上來,也沒有討論的氣氛。。。

先問了一個"確定性圖靈機與非確定性圖靈機有什麼區別?",她楞在那裏半天,既不回答,也不說說自己的觀點。

看她對複雜性理論沒什麼研究,就問一點簡單的證明問題吧"怎樣證明一般圖上的旅行推銷員問題是無法近似的",她說話了"旅行推銷員問題?無法近似?" 

崩潰了,萬般無奈之中,記得女孩子普遍對時間敏感,"怎麼實現背包問題的僞多項式時間的動態規劃?"她終於活躍了:"僞多項式時間?...動態規劃?..."

給 blogspot 裝了一個插件,可以顯示 TeX 公式了

根據這個 post,可以安裝 MathTeX 到template裏面。
測試:

If $G$ has uniform arc failure probability $p$,
arc-vertex bound $\mu$ and let $l_\text{min}$ and
$l_\text{max}$ be the minimum and maximum length of any
$s$-$t$ path in $G$, then we have:

$\frac{w(S)}{w(A)} \le \min\left\{\left( \frac{2}{2-q} \right)^{m-l_\text{min}},\exp_2(1+(\mu/m)[(q m+\ln2)(qm+\ln 2 +l_\text{max})])\right\}$

where $\exp_2(x)=2^x$.