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