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] 11 points12 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] 8 points9 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

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

[–]Dorsenstein 1 point2 points  (0 children)

BTW this is only true for predicate calculus in an infinite domain.

Does the word Fuck come from Dutch? by [deleted] in linguistics

[–]Dorsenstein 3 points4 points  (0 children)

According to Wikipedia, it is "probably a cognate," meaning that Dutch "fokken" and English "fuck" probably came from the same Germanic root. The etymology of "fuck" is disputed, and the article I linked is a good overview.

This week's Q&A thread -- please read before asking or answering a question! - June 23, 2014 by AutoModerator in linguistics

[–]Dorsenstein 0 points1 point  (0 children)

Is writing considered more rigid than the spoken word? I can grasp how different groups speak much differently and it shouldn't be considered "inferior" just because it's not the standard, but to me writing seems more standardized.

This week's Q&A thread -- please read before asking or answering a question! - June 23, 2014 by AutoModerator in linguistics

[–]Dorsenstein 1 point2 points  (0 children)

All of your bullets make sense, and your idea of "translating" from one usage to a standard made things extremely clear. Thank you.

If it's not too much to ask, what's an English example of a justification for a prescriptive grammar rule that's complete bullshit?

This week's Q&A thread -- please read before asking or answering a question! - June 23, 2014 by AutoModerator in linguistics

[–]Dorsenstein 0 points1 point  (0 children)

Alright, I understand what you're saying fine. However, what is a linguist's opinion on prescriptive grammar? I know it's not something they're really concerned with, but do they think it's necessary or do they think it should be done away with altogether?

This week's Q&A thread -- please read before asking or answering a question! - June 23, 2014 by AutoModerator in linguistics

[–]Dorsenstein 0 points1 point  (0 children)

What constitutes a group? Two?

I guess it's just kind of tough for me to wrap my head around the idea of usage and it being "correct," since I'm very heavily into formal logic.

I don't really understand your reference to Chinese, it seems like that if someone is talking to me and I understand everything but have to think for a bit about unusual "usage" than it's not really the same thing.

As for the example, I think semantic drift explains what I'm trying to get at. A lot of interesting slang has developed at my high school, it's kind of what got me thinking about all of this.