Bookmarks
local
self
journals/haskell
journals/general
programming/haskell
programming/clojure
programming/agda
programming/coq
programming/emacs
programming/game_dev
compsci/plt
compsci/type_theory
compsci/algorithms
compsci/ai
math/category_theory
math/tex
math/misc
unix/bsd
unix/nix
unix/software
windows
services
games
general/misc
business/employment
consumerism
temp