Tags

API ARP Apple Banzan Boolean blindness CLI DNS EDEN Erasmus GHC GTD GUI Graphviz Hakyll Haskell IP Linux RAID SMT SUS TEK TV Taskwarrior WiFi agenda aliases altruism annoyance appointments arch arguments arrogance attention audiobooks automation backup beastly beauty blind blog blogging boiler-plate book brute-force build system burrito business cheat-sheet chronicle circles class clock codomain collection command-line communication compass competition complexity concentration configuration creativity day debugging definitions deprecation design development direction docker documentation dotfiles drama dvorak early easyspec effectivity efficiency egoism email encryption energy engine ergonomy errors euler evidence example exchange experiment expressions fault fire flat focus frustrations fun function functor geometry getting started git goals grading guards guide harddrive haskell hooks human language hygiene induction intel intro journal judgement keyboard languages learning lemons life love luck madness magic mail mathematics matrix meat microcode milestone monads motivation multitasking nix notation notes numbers off-by-one offense optimism oracle org mode paper parsing passion paths percentage perception pirate plan point polyvariadic poop postmortem prejudice processing productivity programming project proofs property property discovery property testing random recruitment reflection religion remedy rental research responsibility review risk room sad safety scam school science scraper segfaults shake simplicity single-tasking sleep slot machine smart software speaking speed spent spider spoofing statements strace stress study stupidity style success suits synchronisation table flipping talk teaching technical debt template term constraints terminal testing theorems thinking paper tickle time tips tools tradeoff tshirt tutorial type safety typing university validity waking up website well windows wisdom work year zsh