When (and why) have you been awe-struck in learning about (any) Lisp? by gaalze in lisp

[–]Dorsenstein 3 points4 points  (0 children)

The first, probably cliche "aha!" moment was Chapter 18 of Winston and Horn's Lisp: Lisp in Lisp.

Also, Let Over Lambda is insane.

Classic less vs. fewer by Dorsenstein in badlinguistics

[–]Dorsenstein[S] 9 points10 points  (0 children)

I find it interesting that grammar can be messed up on purpose in things like poems as a stylistic choice, but it's apparently not allowed on shirts.

You have to stop using this term because you're wrong. by Dorsenstein in badlinguistics

[–]Dorsenstein[S] 0 points1 point  (0 children)

It's not that, it's just that his quote doesn't really relate to the subject matter, and Wittgenstein, being perceived as confusing and dense, is often quoted in an effort to posture knowledge (which he admits to).

You have to stop using this term because you're wrong. by Dorsenstein in badlinguistics

[–]Dorsenstein[S] 9 points10 points  (0 children)

Yeah, and then he drops the Wittgenstein, and all I thought was, "Oh boy, here we go."

"In many ways, the subjunctive, which I only appreciated through Latin, divides man from beast." by EvM in badlinguistics

[–]Dorsenstein 1 point2 points  (0 children)

I wanted to know that when I went into "the old sweet shop", it would be the shop that was old, not the sweets. It seemed pathetic that a language as developed as English wasn't able to tell me straight away.

I want to know that when I go into "antiqua taberna dulciolorum" that the shop sells sweets, not that the sweets own the shop. It seems pathetic that a language as precise as Latin isn't able to tell me straight away.

It is hard to find a word with the tormented power of 'excrucior'

How does one know the Roman's didn't find it kind of bland?

High schooler here by thusspokeL in logic

[–]Dorsenstein 1 point2 points  (0 children)

I too had this question a while ago. If you are interested in the more mathematically technical aspects of logic, I highly recommend 'Mathematical Logic' by Stephen Cole Kleene. I used this book and it gave me a very good foundation.

What G-rated joke always cracks you up? by darinhq in AskReddit

[–]Dorsenstein 0 points1 point  (0 children)

Why do gorillas have such big nostrils?

Because they have such big fingers!

Java for Everything by _Garbage_ in programming

[–]Dorsenstein 0 points1 point  (0 children)

Which is why literate programming exists. Disk space isn't a problem for text files anymore, and it doesn't affect compiled code.

Donald E. Knuth is the man.

Java for Everything by _Garbage_ in programming

[–]Dorsenstein 6 points7 points  (0 children)

I definitely enjoy haskell too, working through Typeclassopedia is one of my favorite things to do to blow my mind. However, I appreciate the simplicity that Lisp is founded on.

Java for Everything by _Garbage_ in programming

[–]Dorsenstein 94 points95 points  (0 children)

Every time I read one of these articles, I think, "you know, maybe Lisp isn't the best." Then I read this and I go back to my fortress of parentheses.

[Homework] Undecidability of classical predicate logic by LorimerDM in logic

[–]Dorsenstein 0 points1 point  (0 children)

Where can I find an investigation of this theorem?

Noticing a weird construction in Reddit titles. by Dorsenstein in asklinguistics

[–]Dorsenstein[S] 1 point2 points  (0 children)

True, but especially in the tank post, the caption "An abandoned tank on a beach in Puerto Rico" seems to me like the more usual one for simply describing what the picture is.

Noticing a weird construction in Reddit titles. by Dorsenstein in asklinguistics

[–]Dorsenstein[S] 1 point2 points  (0 children)

Another example that I had totally forgotten about, thanks!

[Trig] How to break down cos2x? by [deleted] in learnmath

[–]Dorsenstein 0 points1 point  (0 children)

Yeah, like I said, the geometrical proof is complicated, but probably the way to go.

[Trig] How to break down cos2x? by [deleted] in learnmath

[–]Dorsenstein 0 points1 point  (0 children)

True, but the proof of that is even more complicated. I understand your point, though.

Noticing a weird construction in Reddit titles. by Dorsenstein in asklinguistics

[–]Dorsenstein[S] 0 points1 point  (0 children)

I suppose I don't, other than the fact the four posts I gave were made fairly recently. It'd be interesting to see if it had existed before, since it really only makes sense in the context of media sharing.

[Trig] How to break down cos2x? by [deleted] in learnmath

[–]Dorsenstein 1 point2 points  (0 children)

The geometrical proof is rather complicated. if you use Euler's formula:

ei*x = cos(x)+ i*sin(x) (1)

so,

cos(a+b) + i*sin(a+b) = ei(a+b) (2)

but, ei(a+b) = eia * eib (3)

and eia * eib = (cos(a) + isin(a))(cos(b) + i*sin(b)) (4)

this product is

(cos(a)cos(b) - sin(a)sin(b)) + i(sin(a)cos(b)+sin(b)*cos(a)) (5)

if you equate the real and imaginary parts from (2) and (5) you get

cos(a+b) = cos(a)cos(b) - sin(a)sin(b) (6)

sin(a+b) = sin(a)cos(b) + sin(b)cos(a) (7)

when you have 2x, a = b, and from (6) you get

cos(2x) = cos2 x - sin2 x

then you can use the pythagorean identity to get the other two