Tags

API ARP Apple Banzan Boolean blindness CLI DNS EDEN Erasmus GHC GTD GUI Graphviz Hakyll Haskell Hedgehog IP Linux QuickCheck RAID SMT SUS TEK TV Taskwarrior Validity WiFi accounting agenda aliases altruism announcement 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 cursors day debugging definitions deprecation design development direction docker documentation dotfiles dvorak early easyspec effectivity efficiency egoism email encryption energy engine ergonomy errors euler evidence example exchange exchange rates 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 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 quitting 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 smos 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 virtual assistant waking up website well windows wisdom work year zsh