2012年2月10日のブックマーク (15件)
-
rawwell 2012/02/10
-
-
Tail call elimination decorator in Python | Lambda the Ultimate
Features of a programming language, whether syntactic or semantic, are all part of the language's user interface. And a user interface can handle only so much complexity or it becomes unusable. This is also the reason why Python will never have continuations, and even why I'm uninterested in optimizing tail recursion. Thus spoke Guido - as LtU readers already know. Now, not even four weeks later,
-
Datalog - Wikipedia
Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. Datalog has been applied to problems in data integration, networking, program ana
-
-
-
Lectures in Advanced Data Structures (6.851)
Retroactive data structures Today's lecture is our second and final lecture on time travel, or more precisely, temporal data structures. Here we will study retroactive data structures, which mimic the "plastic timeline" model of time travel. For example, in Back to the Future, Marty goes back in time, makes changes, and returns to the present that resulted from those changes and all the intervenin
-
-
-
Unite.vim を導入してみた - Twisted Mind
巷で噂の Unite.vim を導入してみることにした。 理由 MRU と QuickBuf で困ってはいなかったのですが、色々足らないなぁと思っていた QuickBuf は Terminal で色々上手いこと動いてくれない(環境 MRU は複数ファイルを同時に開けない 同僚の @itawasa (emacs) が anything.el が凄くいいよって教えてくれた、ただ emacs には行けないので ... 。 vim には Unite.vim というのがあるとの事を知る 普段は .vimrc なんかいじらないので vim の設定すらダメダメです。 いい機会だし環境を見直して一念発起してみようかなと。 とりあえず導入してみる 一番使うプラグインであるバッファ管理の QuickBuf を置き換えたい。 設定は @yuitowest やネットにあったモノをそのまま 条件としては、バッファ一
-
-
-
-
-
-
- 2012年2月12日
- 2012年2月10日
- 2012年2月9日
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
