Tags

Apple Banzan Haskell accounting addiction agenda aliases altruism announcement annoyance api appointments arch arguments arp arrogance attention audiobooks automation backup beastly beauty blind blog blogging boiler-plate book boolean blindness brick brute-force build system burrito business cheat-sheet chronicle circles class cli clock codomain collection command-line communication compass competition complexity concentration configuration creativity cursors day debugging definitions deprecation design development direction dns docker doctor documentation dotfiles dvorak early easyspec eden effectivity efficiency egoism email empathy encryption energy engine erasmus ergonomy errors euler evidence example exchange exchange rates experiment expressions fault fire flat focus frustrations fun function functor fuzzy-time geometry getting started ghc git goals grading graphviz gtd guards gui guide hacktoberfest hakyll harddrive haskell hedgehog hooks human language hygiene induction intel intray intro ip journal judgement keyboard languages learning lemons life linux looper luck madness magic mail mathematics matrix meat medics mergeful microcode milestone monads money motivation multitasking nix notation notes numbers off-by-one offense optimism option parsing oracle org mode paper parsing passion paths percentage perception phone pirate plan point polyball polyvariadic poop postmortem prank prejudice pretty-relative-time processing productivity programming project proof of concept proofs property property discovery property testing quickcheck quitting raid random recruitment reflection religion remedy rental research responsibility review risk room sad safety scam school science scraper segfaults self-management shake simplicity single-tasking sleep slot machine smart smos smt software speaking speed spent spider spoofing statements strace stress study stupidity style success suits sus synchronisation sysadmin table flipping talk taskwarrior teaching technical debt tek template term constraints terminal testing text editor theorems thinking paper tickle tickler time tips tools tradeoff training tshirt tutorial tv type safety typing university validity virtual assistant waking up website well wifi windows wisdom work yamlparse-applicative year yesod zsh