The Essence of Dependent Object Types
infoscience.epfl.ch2 pointsby uros6430 comments
;; Makes editing without Paredit more convenient...
;; But if you're on linux, first prevent it from logging you out!
(global-set-key [C-M-delete] 'backward-kill-sexp)
(global-set-key [C-M-backspace] 'backward-kill-sexp)
;; Command key meta forever.
(labels ((normal-mac-mods (&rest _) (setq ns-alternate-modifier 'none
ns-command-modifier 'meta)))
(add-hook 'after-make-frame-functions #'normal-mac-mods)
(normal-mac-mods))
(setq-default ...
;; Make the default buffer a little shinier... also, put
;; (message "Ready")
;; at the end of the file
initial-major-mode 'text-mode
initial-scratch-message (concat " ···"
"--—===== Welcome to Emacs"
" =====—--···\n===---···"
" "
"···---================---···"
" ···---===\n\n") forall f g xs. map f (map g xs) = map (f.g) xs
forall f g xs. filter f (filter g xs) = filter (\x. g x && f x) xs
Knowing how to work (i.e. be proactive in their survival) allows kids to feel in control of their life. I equate ability to work with cognitive discipline, and note that depression is easy to succumb to when one is too weak for a change of attitude.
I propose such potential sources of work-shyness as: the illusory sense of accomplishment from video games; hedonism as default response to any emotional problem; escape into internet culture does not condition one's mind for what matters for survival in the real world; internet porn; last but not least, parents may not be able to communicate the appropriate wisdom. In short, too many stupefying distractions of the fast food variety, not enough structure.
It is better for kids to learn to discipline themselves as early on as possible, since it is harder to unlearn old habits as they grow older. It could make the difference between an ADHD diagnosis or not :)
Most importantly, work is a source of happiness, too.