ねこはかわいい

すごぽよ(´･_･`) / “Big-O Algorithm Complexity Cheat Sheet” http://t.co/LSpWRSSy5W

“

—	https://twitter.com/#!/tanakh/status/331217630167961601

Mac での TeX 環境について。短くて要を得た解説。特にフォントの埋め込みと bibtex。http://t.co/VLRcvMC12M

“

—	https://twitter.com/#!/kyon_math/status/331281396159086592

Cinder: a library for SVG/HTML and DOM manipulation in Fay, with animated examples http://t.co/7ZE9Pafe5L

“

—	https://twitter.com/#!/reddit_haskell/status/326398484477530112

[SCM][Merge][Semantic Merge][programming]プログラムの構造を見た上でマージするツールか。こういったブレークスルーはすごく歓迎する。プログラミングやシステム開発が一段階進化しそうな感じ http://t.co/t49X9h1UjZ

“

—	https://twitter.com/#!/atsushifx/status/325649573630582784

まさかsyb速くなるんか / “Optimizing SYB Is Easy!” http://t.co/1llAAP7Vmu

“

—	https://twitter.com/#!/tanakh/status/320560097770217472

Constrained Monads (GADTs indexed by Constraint) http://t.co/fz4GT5vfdC

“

—	https://twitter.com/#!/reddit_haskell/status/319386931295301632

[jhc] ANNOUNCE: Ajhc 0.8.0.3 Release <http://t.co/aBFacpcsh4> #Ajhc #jhc #Haskell

“

—	https://twitter.com/#!/masterq_teokure/status/319178424725934080

@tmiya_ 機械学習による証明の自動化、こういうのをみつけました。 http://t.co/uAOw2S8PaI Coq ではないようですが

“

—	https://twitter.com/#!/pi8027/status/317694334273216513

https://t.co/qHAPmUn3ow SKIへの変換ならこのアルゴリズムがたぶん最強

“

—	https://twitter.com/#!/fumieval/status/315139378664067073

Basic Lensing https://t.co/cvEPam0gfl わかりやすいLensのチュートリアル

“

—	https://twitter.com/#!/fumieval/status/314267771414384640