Via here:
The ninth GNU Hackers’ Meeting will take place in Rennes (Brittany, France) from August 18-20
Talk about fine taste!
Sounds like a delightful trip.
Via here:
The ninth GNU Hackers’ Meeting will take place in Rennes (Brittany, France) from August 18-20
Talk about fine taste!
Sounds like a delightful trip.
In Emil Post and his Anticipation of Goedel and Turing
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:
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) (defun help/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))) (defun help/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))))
Aaron Hsu blogs on APL here; all good reads.
Just went through most of Zark’s Dyalog APL Tutorial
There are two easy ways to kill a paper tiger.
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.