From f61026119df4700f69eb73e95620bc5928ca0fcb Mon Sep 17 00:00:00 2001 From: User Date: Tue, 13 Oct 2009 02:52:09 +0000 Subject: Grand rename for gitit transfer --- books/Genealogy of Morality | 59 ----------------- books/Genealogy of Morality.page | 59 +++++++++++++++++ books/Gravity's Rainbow | 114 -------------------------------- books/Gravity's Rainbow.page | 114 ++++++++++++++++++++++++++++++++ books/Little Schemer | 108 ------------------------------ books/Little Schemer.page | 108 ++++++++++++++++++++++++++++++ books/Seasoned Schemer | 139 --------------------------------------- books/Seasoned Schemer.page | 139 +++++++++++++++++++++++++++++++++++++++ books/wanted books | 53 --------------- books/wanted books.page | 53 +++++++++++++++ 10 files changed, 473 insertions(+), 473 deletions(-) delete mode 100644 books/Genealogy of Morality create mode 100644 books/Genealogy of Morality.page delete mode 100644 books/Gravity's Rainbow create mode 100644 books/Gravity's Rainbow.page delete mode 100644 books/Little Schemer create mode 100644 books/Little Schemer.page delete mode 100644 books/Seasoned Schemer create mode 100644 books/Seasoned Schemer.page delete mode 100644 books/wanted books create mode 100644 books/wanted books.page (limited to 'books') diff --git a/books/Genealogy of Morality b/books/Genealogy of Morality deleted file mode 100644 index 65f0357..0000000 --- a/books/Genealogy of Morality +++ /dev/null @@ -1,59 +0,0 @@ -============================ -On the Genealogy of Morality -============================ - -:by: Friedrich Nietzsche -:Translators: M. Clark and A. Swenson - -My impressions immediately after reading ----------------------------------------- -Overall, very angry and sporadic. Very libertarian. Has a distaste for the common man, especially the old or diseased. Doesn't stress youth (?) but that is exactly what he idolizes: passion without meaning or thought. Could be the translation? He writes strongly but acts as if he is not always emotionally attached. - -Section II, 23 -~~~~~~~~~~~~~~ -Notes that the Greeks would shift blame and **guilt** to the gods (page 65, lines 13-16), compared to Christ taking **punishment** but leaving guilt to the mortals. Similar to the secular blame on hereditary effects (affect!), genetics, fate, science?, misunderstanding. What does a guilt-free society look like? - ------------------- - -At an earlier point (Section I, 10) he talks about the most mighty society having no need for punishment, as the community simply absorbs the crime. Maybe for a brief empire, but it seems foolish in the long run... He notes banishment as original punishment, which is no longer viable. - -Section II, 18 -~~~~~~~~~~~~~~ - -| Nietzsche: "the will to power" -| Goethe: "instinct for freedom" - -Nietzsche says it's the same thing - -Nietzsche talks about the perversity of turning one's animal passion on one's self... it's tempting to say he is hawkish and trying at instigate war or violence, but technically he is only pointing out his opinion: despite colorful language a plan of action is left to the reader - if any action. This duplicitous language seems to be his big schtick: "what buttons can I push without touching them?" - -Section III, 5 -~~~~~~~~~~~~~~ -Nietzsche praises Wagner as a musician/oracle who pulls beauty out of thin air, echoing his earlier appreciation of "only that without history is definable" (paraphrase). - - - "... a kind of mouthpiece of the 'in itself' of things, a telephone of the beyond." - -Section III, 6 -~~~~~~~~~~~~~~ -Nietzsche compares interpretations of beauty. - -| Kant: "The beautiful is what pleases without interest" - -Nietzsche prefers Stendhal: "une promese de bonheur", or "a promise of happiness". - -Nietzsche cites statues of nude women as being interesting - -Section III, 18 -~~~~~~~~~~~~~~~ -Nietzsche calls the will to power "the strongest, most life-affirming drive, even if in the most cautious of doses" (page 98, line 1). Nietzsche claims that Christianity cam into being via "herd-formation" among the weak based on attempts to combat depression, such as "associations for mutual support, pauper-, invalid-, burial associations...". - -Section III, 28 -~~~~~~~~~~~~~~~ -Nietzsche closes with: "man would much rather will *nothingness* than *not* will!" - -Section I -~~~~~~~~~ -.. admonition:: TODO - - paraphrase section I on the origins of good/evil, good/bad diff --git a/books/Genealogy of Morality.page b/books/Genealogy of Morality.page new file mode 100644 index 0000000..65f0357 --- /dev/null +++ b/books/Genealogy of Morality.page @@ -0,0 +1,59 @@ +============================ +On the Genealogy of Morality +============================ + +:by: Friedrich Nietzsche +:Translators: M. Clark and A. Swenson + +My impressions immediately after reading +---------------------------------------- +Overall, very angry and sporadic. Very libertarian. Has a distaste for the common man, especially the old or diseased. Doesn't stress youth (?) but that is exactly what he idolizes: passion without meaning or thought. Could be the translation? He writes strongly but acts as if he is not always emotionally attached. + +Section II, 23 +~~~~~~~~~~~~~~ +Notes that the Greeks would shift blame and **guilt** to the gods (page 65, lines 13-16), compared to Christ taking **punishment** but leaving guilt to the mortals. Similar to the secular blame on hereditary effects (affect!), genetics, fate, science?, misunderstanding. What does a guilt-free society look like? + +------------------ + +At an earlier point (Section I, 10) he talks about the most mighty society having no need for punishment, as the community simply absorbs the crime. Maybe for a brief empire, but it seems foolish in the long run... He notes banishment as original punishment, which is no longer viable. + +Section II, 18 +~~~~~~~~~~~~~~ + +| Nietzsche: "the will to power" +| Goethe: "instinct for freedom" + +Nietzsche says it's the same thing + +Nietzsche talks about the perversity of turning one's animal passion on one's self... it's tempting to say he is hawkish and trying at instigate war or violence, but technically he is only pointing out his opinion: despite colorful language a plan of action is left to the reader - if any action. This duplicitous language seems to be his big schtick: "what buttons can I push without touching them?" + +Section III, 5 +~~~~~~~~~~~~~~ +Nietzsche praises Wagner as a musician/oracle who pulls beauty out of thin air, echoing his earlier appreciation of "only that without history is definable" (paraphrase). + + + "... a kind of mouthpiece of the 'in itself' of things, a telephone of the beyond." + +Section III, 6 +~~~~~~~~~~~~~~ +Nietzsche compares interpretations of beauty. + +| Kant: "The beautiful is what pleases without interest" + +Nietzsche prefers Stendhal: "une promese de bonheur", or "a promise of happiness". + +Nietzsche cites statues of nude women as being interesting + +Section III, 18 +~~~~~~~~~~~~~~~ +Nietzsche calls the will to power "the strongest, most life-affirming drive, even if in the most cautious of doses" (page 98, line 1). Nietzsche claims that Christianity cam into being via "herd-formation" among the weak based on attempts to combat depression, such as "associations for mutual support, pauper-, invalid-, burial associations...". + +Section III, 28 +~~~~~~~~~~~~~~~ +Nietzsche closes with: "man would much rather will *nothingness* than *not* will!" + +Section I +~~~~~~~~~ +.. admonition:: TODO + + paraphrase section I on the origins of good/evil, good/bad diff --git a/books/Gravity's Rainbow b/books/Gravity's Rainbow deleted file mode 100644 index 3dcddac..0000000 --- a/books/Gravity's Rainbow +++ /dev/null @@ -1,114 +0,0 @@ -================= -Gravity's Rainbow -================= - -:by: Thomas Pynchon - -Excellent German Words ----------------------- -These are some of my favorites from http://www.hyperarts.com/pynchon/gravity/extra/german.html - - -Weltschmerz - world-weariness -Leunahalluziationen - gasoline hallucination -Schweinheldfest - pig-hero festival -Purpurstoff - purple substance -Folgsamkeitfaktor - obedience factor -Versuchsanstalt - research institute, experimental station -Urstoff - primordial stuff -Kadavergehorsamkeit - corpse-like obedience, i.e., slavish obedience -Hinterhof - back-courtyard -Bohnenkaffee - pure coffee - -Rocket Limericks ----------------- -*(These are interspersed on pages 305-335)* - -| There once was a thing called a V-2 -| To pilot which you did not need to- -| You just pushed a button, -| And it would leave nuttin' -| But stiffs and big holes and debris, too. -| -| -| Ja, ja, ja, ja! -| In Prussia they never eat pussy! -| There ain't hardly cats enough, -| There's garbage and that's enough, -| So waltz me around again, Russky! -| -| There was a young fellow named Crockett, -| Who had an affair with a rocket. -| If you saw them out there -| You'd be tempted to stare, -| But if you ain't tried it, don't knock it! -| -| There was a young fellow named Hector, -| Who was fond of a launcher-erector. -| But the squishes and pops -| Of acute pressure drops -| Wrecked Hector's hydraulic connector. -| -| There once was a fellow named Moorehead, -| Who had an affair with a warhead. -| His wife moved away -| The very next day- -| She *was* always kind of a sorehead. -| -| There was a technician named Urban, -| Who had an affair with a turbine. -| "It's much nicer," he said, -| "Than a woman in bed, -| And it's sure as hell cheaper than bourbon!" -| -| There once was a fellow named Slattery -| Who was fond of the course-gyro battery. -| With that 50-volt shock, -| What was left of his cock -| Was all slimy and sloppy and spattery. -| -| There was a young fellow named Pope, -| Who plugged into an *os*-cillo-*scope*. -| The cyclical trace -| Of their carnal embrace -| Had a damn nearly infinite slope. -| -| There was a young fellow named Yuri, -| Fucked the nozzle right up its venturi. -| He had woes without cease -| From his local police, -| And a hell of a time with the jury -| -| There was a young man named McGuire, -| Who was fond of the pitch amplifier. -| But a number of shorts -| Left him covered with warts, -| And set half the bedroom on fire. -| -| There once was a fellow named Ritter, -| Who slept with a guidance transmitter. -| It shriveled his cock, -| Which fell off in his sock, -| And made him exceedingly bitter. -| -| There once was a fellow named Schroeder, -| Who buggered the vane servomotor. -| He soon grew a prong -| On the end of his schlong, -| And hired himself a promoter. -| -| There was a young man from Decatur, -| Who slept with a LOX generator. -| His balls and his prick -| Froze solid read quick, -| And his asshole a little bit later. diff --git a/books/Gravity's Rainbow.page b/books/Gravity's Rainbow.page new file mode 100644 index 0000000..3dcddac --- /dev/null +++ b/books/Gravity's Rainbow.page @@ -0,0 +1,114 @@ +================= +Gravity's Rainbow +================= + +:by: Thomas Pynchon + +Excellent German Words +---------------------- +These are some of my favorites from http://www.hyperarts.com/pynchon/gravity/extra/german.html + + +Weltschmerz + world-weariness +Leunahalluziationen + gasoline hallucination +Schweinheldfest + pig-hero festival +Purpurstoff + purple substance +Folgsamkeitfaktor + obedience factor +Versuchsanstalt + research institute, experimental station +Urstoff + primordial stuff +Kadavergehorsamkeit + corpse-like obedience, i.e., slavish obedience +Hinterhof + back-courtyard +Bohnenkaffee + pure coffee + +Rocket Limericks +---------------- +*(These are interspersed on pages 305-335)* + +| There once was a thing called a V-2 +| To pilot which you did not need to- +| You just pushed a button, +| And it would leave nuttin' +| But stiffs and big holes and debris, too. +| +| +| Ja, ja, ja, ja! +| In Prussia they never eat pussy! +| There ain't hardly cats enough, +| There's garbage and that's enough, +| So waltz me around again, Russky! +| +| There was a young fellow named Crockett, +| Who had an affair with a rocket. +| If you saw them out there +| You'd be tempted to stare, +| But if you ain't tried it, don't knock it! +| +| There was a young fellow named Hector, +| Who was fond of a launcher-erector. +| But the squishes and pops +| Of acute pressure drops +| Wrecked Hector's hydraulic connector. +| +| There once was a fellow named Moorehead, +| Who had an affair with a warhead. +| His wife moved away +| The very next day- +| She *was* always kind of a sorehead. +| +| There was a technician named Urban, +| Who had an affair with a turbine. +| "It's much nicer," he said, +| "Than a woman in bed, +| And it's sure as hell cheaper than bourbon!" +| +| There once was a fellow named Slattery +| Who was fond of the course-gyro battery. +| With that 50-volt shock, +| What was left of his cock +| Was all slimy and sloppy and spattery. +| +| There was a young fellow named Pope, +| Who plugged into an *os*-cillo-*scope*. +| The cyclical trace +| Of their carnal embrace +| Had a damn nearly infinite slope. +| +| There was a young fellow named Yuri, +| Fucked the nozzle right up its venturi. +| He had woes without cease +| From his local police, +| And a hell of a time with the jury +| +| There was a young man named McGuire, +| Who was fond of the pitch amplifier. +| But a number of shorts +| Left him covered with warts, +| And set half the bedroom on fire. +| +| There once was a fellow named Ritter, +| Who slept with a guidance transmitter. +| It shriveled his cock, +| Which fell off in his sock, +| And made him exceedingly bitter. +| +| There once was a fellow named Schroeder, +| Who buggered the vane servomotor. +| He soon grew a prong +| On the end of his schlong, +| And hired himself a promoter. +| +| There was a young man from Decatur, +| Who slept with a LOX generator. +| His balls and his prick +| Froze solid read quick, +| And his asshole a little bit later. diff --git a/books/Little Schemer b/books/Little Schemer deleted file mode 100644 index 394de5b..0000000 --- a/books/Little Schemer +++ /dev/null @@ -1,108 +0,0 @@ -============================ -The Little Schemer -============================ - -:by: Daniel Friedman and Matthias Felleisen -:Edition: Fourth (4rth) - -See also `Scheme `__. - -I read this book before starting on a scheme/physics project. I had programmed -in scheme previously as an algebra/analysis tool, but never really sat down -and got comfortable with the language. Working through all the examples -has made me *much* more comfortable with this style of programming. Despite -the humble tone and ambitions of the book I think I learned deeply. - -The first 7 chapters were very straight forward, the end of chapter 8 took -some more thought and I'm not sure how happy I am with the description of -collectors and continuations. - -For a better description of the Y-combinator, see these `course notes -`__. - -This book is followed by `The Seasoned Schemer `__ -and The Reasoned Schemer. - -Preface Definitions ------------------------- -This primitive function is required for most of the functions in the book:: - - (define atom? - (lambda (x) - (and (not (pair? x)) (not (null? x))))) - -Laws ------------------------ -Law of Car - The primitive *car* is defined only for non-empty lists. - -Law of Cdr - The primitive *cdr* is defined only for non-empty lists. The *cdr* of any - non-empty list is always another list. - -Law of Cons - The primitive *cons* takes two arguments. The second argument to *cons* - must be a list. The result is a list. - -Law of Null? - The primitive *null?* is defined only for lists. - -Law of Eq? - The primitive *eq?* takes two arguments. Each must be a non-numeric atom. - -Commandments ------------------------- - -The First Commandment - When recurring on a list of atoms, *lat*, ask two questions about it: - *(null? lat)* and **else**. When recurring on a number, *n*, ask two - questions about it: *(zero? n)* and **else**. - - When recurring on a list of S-expressions, *l*, ask three questions - about it: *(null? l)*, *(atom? (car l))*, and **else**. - -The Second Commandment - Use *cons* to build lists. - -The Third Commandment - When building a list, describe the first typical element, and then - *cons* it onto the natural recursion. - -The Fourth Commandment - Always change at least one argument while recurring. It must be changed to - be closer to termination. The changing argument must be tested in the - termination condition: - - when using *cdr*, test termination with *null?* and - - when using *sub1*, test termination with *zero?*. - -The Fifth Commandment - When building a value with +, always use 0 for the value of the terminating - line, for adding 0 does not change the value of an addition. - - When building a value with x, always use 1 for the value of the terminating - line, for multiplying by 1 does not change the value of a multiplication. - - When building a value with cons, always consider () for the value of the - terminating line. - -The Sixth Commandment - Simplify only after the function is correct. - - -The Seventh Commandment - Recur on the subpart that are of the same nature: - - * on the sublists of a list. - * on the subexpressions of an arithmetic expression. - -The Eighth Commandment - Use help functions to abstract from representations. - -The Ninth Commandment - Abstract common patterns with a new function. - -The Tenth Commandment - Build functions to collect more than one value at a time. - diff --git a/books/Little Schemer.page b/books/Little Schemer.page new file mode 100644 index 0000000..394de5b --- /dev/null +++ b/books/Little Schemer.page @@ -0,0 +1,108 @@ +============================ +The Little Schemer +============================ + +:by: Daniel Friedman and Matthias Felleisen +:Edition: Fourth (4rth) + +See also `Scheme `__. + +I read this book before starting on a scheme/physics project. I had programmed +in scheme previously as an algebra/analysis tool, but never really sat down +and got comfortable with the language. Working through all the examples +has made me *much* more comfortable with this style of programming. Despite +the humble tone and ambitions of the book I think I learned deeply. + +The first 7 chapters were very straight forward, the end of chapter 8 took +some more thought and I'm not sure how happy I am with the description of +collectors and continuations. + +For a better description of the Y-combinator, see these `course notes +`__. + +This book is followed by `The Seasoned Schemer `__ +and The Reasoned Schemer. + +Preface Definitions +------------------------ +This primitive function is required for most of the functions in the book:: + + (define atom? + (lambda (x) + (and (not (pair? x)) (not (null? x))))) + +Laws +----------------------- +Law of Car + The primitive *car* is defined only for non-empty lists. + +Law of Cdr + The primitive *cdr* is defined only for non-empty lists. The *cdr* of any + non-empty list is always another list. + +Law of Cons + The primitive *cons* takes two arguments. The second argument to *cons* + must be a list. The result is a list. + +Law of Null? + The primitive *null?* is defined only for lists. + +Law of Eq? + The primitive *eq?* takes two arguments. Each must be a non-numeric atom. + +Commandments +------------------------ + +The First Commandment + When recurring on a list of atoms, *lat*, ask two questions about it: + *(null? lat)* and **else**. When recurring on a number, *n*, ask two + questions about it: *(zero? n)* and **else**. + + When recurring on a list of S-expressions, *l*, ask three questions + about it: *(null? l)*, *(atom? (car l))*, and **else**. + +The Second Commandment + Use *cons* to build lists. + +The Third Commandment + When building a list, describe the first typical element, and then + *cons* it onto the natural recursion. + +The Fourth Commandment + Always change at least one argument while recurring. It must be changed to + be closer to termination. The changing argument must be tested in the + termination condition: + + when using *cdr*, test termination with *null?* and + + when using *sub1*, test termination with *zero?*. + +The Fifth Commandment + When building a value with +, always use 0 for the value of the terminating + line, for adding 0 does not change the value of an addition. + + When building a value with x, always use 1 for the value of the terminating + line, for multiplying by 1 does not change the value of a multiplication. + + When building a value with cons, always consider () for the value of the + terminating line. + +The Sixth Commandment + Simplify only after the function is correct. + + +The Seventh Commandment + Recur on the subpart that are of the same nature: + + * on the sublists of a list. + * on the subexpressions of an arithmetic expression. + +The Eighth Commandment + Use help functions to abstract from representations. + +The Ninth Commandment + Abstract common patterns with a new function. + +The Tenth Commandment + Build functions to collect more than one value at a time. + diff --git a/books/Seasoned Schemer b/books/Seasoned Schemer deleted file mode 100644 index 0bc6346..0000000 --- a/books/Seasoned Schemer +++ /dev/null @@ -1,139 +0,0 @@ -============================ -The Seasoned Schemer -============================ - -:by: Daniel Friedman and Matthias Felleisen -:Edition: First (1st) - -See also `Scheme `__. This book is a sequel -to `The Little Schemer`_; The Reasoned Schemer is a paralel exploration of -logical programming. - -One of the things I liked about learning a programming language this way, or -maybe just about scheme in general, is the seperation between the specification -and implementations. Usually when I start learning a new language I try to -break it as fast as possible and I am most interested in how certain little -tricky bits are handled (are the file handles cross platform? does it catch -infinite recursion? what kind of errors are thrown when? how big are the -primitives and simple objects/user defined data types?). These are the -imporant day to day issues and are a good basis for choosing a language to get -work done in, but it's kind of like searching for anti-aliasing in digital -photos or scanning the edges of a wall for painting mistakes. Sometimes the -big picture is the whole point and it's worth putting up with small flaws. - -.. _The Little Schemer: /k/books/littleschemer/ - -Issues/Omissions --------------------------- -The Y combinator function is never defined in this book, I had to copy it out of -`The Little Schemer`_; - - (define Y - (lambda (thing) - ((lambda (le) - ((lambda (f) (f f)) - (lambda (f) (le (lambda (x) ((f f) x)))))) - thing))) - -Also ``eqlist?``:: - - (define eqlist? - (lambda (a b) - (cond - ((and (null? a) (null? b)) #t) - ((or (null? a) (null? b)) #f) - ((and (atom? (car a)) (atom? (car b))) - (and (eqlist? (cdr a) (cdr b)))) - ((or (atom? (car a)) (atom? (car b))) #f) - (else (and (eqlist? (car a) (car b)) (eqlist? (cdr a) (cdr b))))))) - -MIT/GNU Scheme doesn't seem to have ``letcc`` or ``try``; I stuck with -``call-with-current-continuation``: - - (call-with-current-continuation (lambda (hook) ...) - ; is the same as - (letcc hook (...)) - - ; as noted in the book (p. 89) - (try x a b) - ; is the same as - (letcc success - (letcc x - (success a)) - b) - ; is the same as - (call-with-current-continuation - (lambda (success) - (begin - (call-with-current-continuation - (lambda (x) - (success a))) - b))) - -When reimplementing scheme at the end of the book, I'm kind of miffed that the -(letcc ...) definition basically just uses letcc, because magic North Pole -compasses seem like the most interesting part. - -Notes ------------------ -Y-bang is the "applicative-order imperative Y combinator":: - - (define Y-bang - (lambda (f) - (letrec - ((h (f (lambda (arg) (h arg))))) - h))) - -At one point I wondered:: - - Is there any language/interpreter which, when it runs into an undefined - value, lets you define it on the spot? Would be great for learners. - -MIT/GNU Scheme, of course, has this feature in the error REPL. But I never -noticed it. - -The Next 10 Commandments --------------------------- - -The Eleventh Commandment - Use additional arguments when a function needs to know what other - arguments to the function have been like so far. - -The Twelfth Commandment - Use (letrec ..) to remove arguments that do not change for - recursive applications. - -The Thirteenth Commandment - Use (letrec ...) to hide and protect functions. - -The Fifteenth Commandment - Use (let ...) to name the values of repeated expressions in a function - definition if they may be evaluated twice for one and same use of the - function. And use (let ...) to name the values of expressions (without - set!) that are re-evaluated every time a function is used. - -The Sixteenth Commandment - Use (set! ...) only with names define in (let ...)s - -The Seventeenth Commandment - Use (set! x ...) for (let ((x ..)) ..)) only if there is at least one - (lambda .. between it and the (let ..), or if the new value for x is a - function that refers to x. - -The Eighteenth Commandment - Use (set! x ...) only when the value that x refers to is no longer needed. - -The Nineteenth Commandment - Use (set! ...) to remember valuable things between two distinct uses of a - function. - -The Twentieth Commandment - When thinking about a value created with (letcc ...), write down the - function that is equivalent but does not forget. Then, when you use it, - remember to forget. - -**I love that last sentence!** - - - - diff --git a/books/Seasoned Schemer.page b/books/Seasoned Schemer.page new file mode 100644 index 0000000..0bc6346 --- /dev/null +++ b/books/Seasoned Schemer.page @@ -0,0 +1,139 @@ +============================ +The Seasoned Schemer +============================ + +:by: Daniel Friedman and Matthias Felleisen +:Edition: First (1st) + +See also `Scheme `__. This book is a sequel +to `The Little Schemer`_; The Reasoned Schemer is a paralel exploration of +logical programming. + +One of the things I liked about learning a programming language this way, or +maybe just about scheme in general, is the seperation between the specification +and implementations. Usually when I start learning a new language I try to +break it as fast as possible and I am most interested in how certain little +tricky bits are handled (are the file handles cross platform? does it catch +infinite recursion? what kind of errors are thrown when? how big are the +primitives and simple objects/user defined data types?). These are the +imporant day to day issues and are a good basis for choosing a language to get +work done in, but it's kind of like searching for anti-aliasing in digital +photos or scanning the edges of a wall for painting mistakes. Sometimes the +big picture is the whole point and it's worth putting up with small flaws. + +.. _The Little Schemer: /k/books/littleschemer/ + +Issues/Omissions +-------------------------- +The Y combinator function is never defined in this book, I had to copy it out of +`The Little Schemer`_; + + (define Y + (lambda (thing) + ((lambda (le) + ((lambda (f) (f f)) + (lambda (f) (le (lambda (x) ((f f) x)))))) + thing))) + +Also ``eqlist?``:: + + (define eqlist? + (lambda (a b) + (cond + ((and (null? a) (null? b)) #t) + ((or (null? a) (null? b)) #f) + ((and (atom? (car a)) (atom? (car b))) + (and (eqlist? (cdr a) (cdr b)))) + ((or (atom? (car a)) (atom? (car b))) #f) + (else (and (eqlist? (car a) (car b)) (eqlist? (cdr a) (cdr b))))))) + +MIT/GNU Scheme doesn't seem to have ``letcc`` or ``try``; I stuck with +``call-with-current-continuation``: + + (call-with-current-continuation (lambda (hook) ...) + ; is the same as + (letcc hook (...)) + + ; as noted in the book (p. 89) + (try x a b) + ; is the same as + (letcc success + (letcc x + (success a)) + b) + ; is the same as + (call-with-current-continuation + (lambda (success) + (begin + (call-with-current-continuation + (lambda (x) + (success a))) + b))) + +When reimplementing scheme at the end of the book, I'm kind of miffed that the +(letcc ...) definition basically just uses letcc, because magic North Pole +compasses seem like the most interesting part. + +Notes +----------------- +Y-bang is the "applicative-order imperative Y combinator":: + + (define Y-bang + (lambda (f) + (letrec + ((h (f (lambda (arg) (h arg))))) + h))) + +At one point I wondered:: + + Is there any language/interpreter which, when it runs into an undefined + value, lets you define it on the spot? Would be great for learners. + +MIT/GNU Scheme, of course, has this feature in the error REPL. But I never +noticed it. + +The Next 10 Commandments +-------------------------- + +The Eleventh Commandment + Use additional arguments when a function needs to know what other + arguments to the function have been like so far. + +The Twelfth Commandment + Use (letrec ..) to remove arguments that do not change for + recursive applications. + +The Thirteenth Commandment + Use (letrec ...) to hide and protect functions. + +The Fifteenth Commandment + Use (let ...) to name the values of repeated expressions in a function + definition if they may be evaluated twice for one and same use of the + function. And use (let ...) to name the values of expressions (without + set!) that are re-evaluated every time a function is used. + +The Sixteenth Commandment + Use (set! ...) only with names define in (let ...)s + +The Seventeenth Commandment + Use (set! x ...) for (let ((x ..)) ..)) only if there is at least one + (lambda .. between it and the (let ..), or if the new value for x is a + function that refers to x. + +The Eighteenth Commandment + Use (set! x ...) only when the value that x refers to is no longer needed. + +The Nineteenth Commandment + Use (set! ...) to remember valuable things between two distinct uses of a + function. + +The Twentieth Commandment + When thinking about a value created with (letcc ...), write down the + function that is equivalent but does not forget. Then, when you use it, + remember to forget. + +**I love that last sentence!** + + + + diff --git a/books/wanted books b/books/wanted books deleted file mode 100644 index 6c29a2e..0000000 --- a/books/wanted books +++ /dev/null @@ -1,53 +0,0 @@ -================================= -Wanted Books -================================= - -These are some books i'd love to own a copy of or at least read through -carefully. - -Technical ------------- - - * **Visual Complex Analysis** by Tristan Needham - * **Visualizing Data: Exploring and Explaining Data with the Processing Environment** by Ben Fry - * **General Theory of Relativity** by P. A.M. Dirac - * **Computability and Unsolvability** by Martin Davis - * **Mathematical Foundations of Quantum Mechanics** by John von Neumann - * **Real and Complex Analysis** by Walter Rudin - * **Art of Computer Programming** by Donald E. Knuth - * **Gravitation** by MTW - * **Euclid's Elements** - * **C Programming Language** by Brian W. Kernighan - * **Mathematical Physics** by Robert Geroch - -Math -~~~~~~~~~~~~~~ -(I haven't really looked in to most of these, just sound interesting) - - - * `On formally undecidable propositions of Principa Mathematica and related systems`:title:, by Kurt Godel. - * `Computability and Unsolvability`:title:, by Martin Davis. - * `Mathematical Foundations of Information Theory`:title:, by A.I. Khinchin. - * `Calculus of Variations with Applications to Physics and Engineering`:title:, by Robert Weinstock. - * `Relativity, Thermodynamics, and Cosmology`:title:, by Richard Tolman. - * `Mathematics Applied to Continuum Mechanics`:title:, by Lee Segel. - * `Optimization Theory and Applications`:title:, by Donald Pierre. - * `The Variational Principles of Mechanics`:title:, by Cornelius Lanczos. - * `Tensor Analysis for Physicists`:title:, by J.A. Schonten. - * `Investigations on the Theory of Brownian Movement`:title:, by Albert Einstein. - * `Great Experiments in Physics`:title:, ed. by ???. - * `Curvature and Homology`:title:, by Samuel Goldberd. - * `The Philosophy of Mathematics`:title:, by Stephan Korner. - * `The Various and Ingenious Machines of Agostino Ramelli`:title:, by A. Ramelli (!). - * `Experiments in Topology`:title:, by Stephan Barr. - -Novels ------------ - - * **Return From the Stars** by Stanislaw Lem - * **Mortal Engines** by Stanislaw Lem - -Other -------- - * **Pictures Showing What Happens on Each Page of Thomas Pynchon's Novel Gravity's Rainbow** by Zak Smith - diff --git a/books/wanted books.page b/books/wanted books.page new file mode 100644 index 0000000..6c29a2e --- /dev/null +++ b/books/wanted books.page @@ -0,0 +1,53 @@ +================================= +Wanted Books +================================= + +These are some books i'd love to own a copy of or at least read through +carefully. + +Technical +------------ + + * **Visual Complex Analysis** by Tristan Needham + * **Visualizing Data: Exploring and Explaining Data with the Processing Environment** by Ben Fry + * **General Theory of Relativity** by P. A.M. Dirac + * **Computability and Unsolvability** by Martin Davis + * **Mathematical Foundations of Quantum Mechanics** by John von Neumann + * **Real and Complex Analysis** by Walter Rudin + * **Art of Computer Programming** by Donald E. Knuth + * **Gravitation** by MTW + * **Euclid's Elements** + * **C Programming Language** by Brian W. Kernighan + * **Mathematical Physics** by Robert Geroch + +Math +~~~~~~~~~~~~~~ +(I haven't really looked in to most of these, just sound interesting) + + + * `On formally undecidable propositions of Principa Mathematica and related systems`:title:, by Kurt Godel. + * `Computability and Unsolvability`:title:, by Martin Davis. + * `Mathematical Foundations of Information Theory`:title:, by A.I. Khinchin. + * `Calculus of Variations with Applications to Physics and Engineering`:title:, by Robert Weinstock. + * `Relativity, Thermodynamics, and Cosmology`:title:, by Richard Tolman. + * `Mathematics Applied to Continuum Mechanics`:title:, by Lee Segel. + * `Optimization Theory and Applications`:title:, by Donald Pierre. + * `The Variational Principles of Mechanics`:title:, by Cornelius Lanczos. + * `Tensor Analysis for Physicists`:title:, by J.A. Schonten. + * `Investigations on the Theory of Brownian Movement`:title:, by Albert Einstein. + * `Great Experiments in Physics`:title:, ed. by ???. + * `Curvature and Homology`:title:, by Samuel Goldberd. + * `The Philosophy of Mathematics`:title:, by Stephan Korner. + * `The Various and Ingenious Machines of Agostino Ramelli`:title:, by A. Ramelli (!). + * `Experiments in Topology`:title:, by Stephan Barr. + +Novels +----------- + + * **Return From the Stars** by Stanislaw Lem + * **Mortal Engines** by Stanislaw Lem + +Other +------- + * **Pictures Showing What Happens on Each Page of Thomas Pynchon's Novel Gravity's Rainbow** by Zak Smith + -- cgit v1.2.3