3,146 karma · joined June 12, 2020
"DC power lines transmit power more efficiently than AC lines do"
This is not at all what is taught at school. Looking into this is interesting. 100 years ago people were debating about whether AC or DC is a better means of transmitting power and, it looks like answers still aren't clear now. I'm interested in knowing what an expert in this thinks.
"Now we would like to go a step further and extend the system to handle differentiation. This is a favorite problem, and one which has historical significance: in the summer of 1958 John McCarthy decided to investigate differentiation as an interesting symbolic computation problem, which was difficult to express in the primitive programming languages of the day. This investigation led him to see the importance of functional arguments and recursive functions in the field of symbolic computation. For example, McCarthy invented what we now call mapcar to express the idea that the derivative of a sum is the sum of the derivative function applied to each argument. Further work led McCarthy to the publication in October 1958 of MIT AI Lab Memo No. 1: "An Algebraic Language for the Manipulation of Symbolic Expressions," which defined the precursor of Lisp."
PAIP is filled with writing like this. You could remove this paragraph from the book and, it wouldn't make the explanation any more or less comprehensible. The level of detail at which he provides this insight is interesting. It ends up being more than just amusing anecdotes. It's what makes the book worth reading imo.
I'm not trying to be that guy but, looking at the title for this piece I'm thinking: Esperanto is dead and, it is not a universal language.
"... Humphrey Tonkin, an English professor at the University of Hartford in Connecticut. He taught himself Esperanto at age 14, and then used it to travel across Eastern Europe and beyond."
I feel like this needs some clarification.
>type's have always been there
I've seen this argument before and, I disagree with this statement as presented. The implication is that there is a type system underlying a language's semantics. But, really that's not true. It's more correct to say that objects have always been there.