Posts

Showing posts from September 6, 2009

emacs lisp function to copy dir and all sub dir

perm url with updates http://xahlee.org/emacs/modernization_elsip_copy_dir.htmlEmacs Lisp Suggestion: A Function For Copying and Deleting Whole DirXah Lee, 2009-09-11It appears to me, this is a good suggestion.There lacks a function to copy and delete directories recursively.in the elisp manual, the closest is: (info "(elisp)Create/Delete Dirs")it would be good to have a function that copy a whole dir, and another for deleting whole dir.Emacs does implement them in dired, or in eshell, apparently, but it's not easy to use them.many scripting langs provide such functions, and is very convenient.for deleting dir, perhaps this can be implemented: (delete-directory dirname &optional recursive) for copying dir, perhaps it can be modeled on copy-file: (copy-file oldname newname &optional ok-if-exists time) these should be perhaps few hours to implement for elisp developers, perhaps by just pulling existing implementation from dired or eshell.Once implemented, they'…

Lyrics Appreciation: Damn! (YoungBloodZ)

perm url with updates: http://xahlee.org/Periodic_dosage_dir/sanga_pemci/damn.htmlDamn! (Youngbloodz)Xah Lee, 2009-09-11Damn! (song) by YoungBloodZ.A fantastic black gangster pop rap. Smooth rapping, soothing beat, and a lyrics that's a satisfying fire grammarians to chew. Title: Damn Lyrics: Music: Singer: Sean Paul, Lil Jon, J-Bo 「• Sean Paul = Sean Paul and J-Bo are rap duo, forming the band YoungBloodZ. Lil Jon is a guest singer in this song.」 「• dem hoes = them whores.」 「• Eastside Boyz = seems to be a band or album associated with Lil Jon. Not sure what eastside boys refers to originally. Possibly East Coast blacks.」 「• Attic Crew = The Attic may refer to Eddie's Attic, a music club in Decatur, Georgia.」 "Damn!"(feat. Lil' Jon) [Intro] OK, OK, OK This Sean Paul, Lil Jon. J-Bo, Youngbloodz You already know how we do it homeboy It's A-Town (105 Road for dem hoes) It's A-Town (east side for dem hoes), Attic Crew you already know Lil John, Eastside Boyz a…

Math Notations, Computer Languages, and the “Form” in Formalism

perm url with updates Math Notations, Computer Languages, and the “Form” in FormalismMath Notations, Computer Languages, and the “Form” in FormalismOn Sep 5, 7:41 am, slawekk <skoko...@yahoo.com> wrote:Isabelle's presentation layer is well integrated with LaTeX and you can use math notation in (presentation of) proofs. my previous post was quickly written and didn't clearly bring about my point.The point is, that formalism in mathematics, consistency of math notation issues (for human), math notation language systems (TeX, Mathematica, MathML), and calculational proof movement (a la Edsger Dijkstra), and computer algebra systems, and theorem proving systems, and computer language syntax, all of the above, should be unified into one single entity, and is today very much doable, in fact much of it is happening in disparate communities, but as far as i know i do not think there's any literature that expresses the idea that they should all be rolled into one.Let me addr…