The author discusses Emil Post`s life and ideas about incompletness and insolvability which later became famous with Goedel and Turing`s work, and the differences between Post and Goedel.
Fascinating read (the parts that I understood :P).
Here is an easy way to use both Emacs and OS X modifier keys when you are inside Emacs:
Toggle the right-option and function key to switch between using them inside Emacs and using them for OS X.
Addendum: <2016-06-08 Wed 08:22>
I used Karabiner to make ENTER send LEFT CONTROL when chorded. I used OS X to make CAPS LOCK be CONTROL. I didn’t change OPTION and COMMAND. I made this change because Emacs couldn’t ignore the key-event when it was coming from Karabiner.
Here is the code:
(help/on-osx
(setq mac-control-modifier 'control)
(setq mac-right-control-modifier 'left)
(setq mac-command-modifier 'meta)
(setq mac-right-command-modifier 'left)
(setq mac-option-modifier 'super)
(setq mac-right-option-modifier 'left)
(setq mac-function-modifier 'hyper)
(defunhelp/toggle-mac-right-option-modifier ()
"Toggle between passing option modifier either to Emacs or OS X."
(interactive)
(let ((old-ropt mac-right-option-modifier))
(setq mac-right-option-modifier
(if (eq mac-right-option-modifier 'left)
'none
'left))
(message "Toggled `mac-right-option-modifier' from %s to %s."
old-ropt
mac-right-option-modifier)))
(defunhelp/toggle-mac-function-modifier ()
"Toggle between passing function modifier either to Emacs or OS X."
(interactive)
(let ((old-func mac-function-modifier))
(setq mac-function-modifier
(if (eq mac-function-modifier 'hyper)
'none
'hyper))
(message "Toggled `mac-function-modifier' from %s to %s."
old-func
mac-function-modifier))))
“[It] is our most accurate measurement of courage; it fuels our daily life”
“Vulnerability is the birthplace of innovation, creativity, and change”
“You gotta dance with the one who brung ya”
“TED is the failure conference; very few people here are afraid to fail and have failed miserably many times”
“The credit goes to the man in the arena”
“Shames drives “Never good enough” and “Who do you think you are?””
Regarding men and shame, a male attendee shared that “You say to reach out, tell our story, be vulnerable… but [the most important women in my life] would rather me die on top of my white horse than watch me fall down. When [men] reach out and be vulnerable we get the shit beat out of us and don’t tell me it is [from other guys] it is the women in my life who are harder on me than anyone else”.
“Shame is an epidemic in our culture”
“Empathy is the antidote to shame”
“Me too; the two most powerful words when we are in struggle”
“Vulnerability is the path back to finding each other”
“An ordinary life as become synonymous with a meaningless life”
You can’t hear what she has to share too many times and in too many ways and this presentation is another great one
“Love and belonging are irreducible needs of [humans]”
Research shows that: “Our capacity for whole-heartedness can never be greater than our willingness to be broken-hearted which is terrible but truthful”
“Vulnerability is the path to [everything good about being human]”
The quickest way is with fire. It destroys the tiger; nothing remains. Maybe the fire gets out of control and destroys the torch-bearer, too. You never know.
The slowest way is with water. Draw a warm bath where the tiger is safe and gets some rest along with the opportunity to finally heal its wounds. You might end up with a friend afterwards and you might not; and you will definitely end up with a kitten at the end.
Creativity is the currency of vulnerability. Love is an expression of creativity and so is happiness because they are both so surprising and mysterious. It is risky to spend your currency but usually you end up with something better.
Broken hearts can heal “all at once”. They can also take a long time. When that space that used to be empty is filled again, it can even hurt a little bit. Growth is good, especially in the “heart space”.