Tags

API ARP Apple Banzan Boolean blindness Brick CLI DNS EDEN Erasmus GHC GTD GUI Graphviz Hakyll Haskell Hedgehog IP Linux QuickCheck RAID SMT SUS TEK TV Taskwarrior Validity WiFi accounting addiction 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 cursor 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 fuzzy-time geometry getting started git goals grading guards guide hacktoberfest harddrive haskell hooks human language hygiene induction intel intro journal judgement keyboard languages learning lemons life looper luck madness magic mail mathematics matrix meat mergeful microcode milestone monads motivation multitasking nix notation notes numbers off-by-one offense optimism 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 quitting 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 software speaking speed spent spider spoofing statements strace stress study stupidity style success suits synchronisation sysadmin table flipping talk teaching technical debt template term constraints terminal testing text editor theorems thinking paper tickle time tips tools tradeoff training tshirt tutorial type safety typing university validity virtual assistant waking up website well windows wisdom work year yesod zsh