monjaro

This has nothing to do with Gödel's incompleteness theorem. It's much simpler than that: https://en.wikipedia.org/wiki/Wittgenstein_on_Rules_and_Priv...

Your analogy doesn't make sense because Verizon doesn't select which calls you receive. A phone company that drops any calls (positive or negative) is just defective. Facebook always curates what they show on your newsfeed. The neutral case where the experiment isn't being run still involves Facebook picking and choosing what to show you.

If you want an analogy relating to socializing, how about a dating site experimenting with showing you more or less attractive people? Is that terrible and unethical?

Would you feel the same way if a grocery store played a sad song when you were depressed?

I was considering phrasing my comment as "conversations between stoned philosophy students", so yes, that sounds about right.

Not to mention the fact that a philosophy course about Borges will likely be examining the work of the philosophers Borges was referencing. I've yet to see anyone make the claim that Borges originated any of the important philosophical ideas in his stories.

Edit: Just to back this up a little more, here is a quote from the man himself: "But I wonder if they are my ideas. Because really I am not a thinker. I have used the philosophers’ ideas for my own private literary purposes, but I don’t think that I’m a thinker. I suppose that my thinking has been done for me by Berkeley, by Hume, by Schopenhauer, by Mauthner perhaps."

http://denisdutton.com/jorge_luis_borges_interview.htm

This is utter nonsense. García Márquez wrote some of the most compelling and beautiful stories of the 20th century. Borges wrote the literary equivalent of late night stoner conversations, covering up a lack of substance with erudition.

I don't deny that the Nobel Prize can be political, but García Márquez was one of the most deserving recipients.

Please don't use this. It doesn't do anything you can't do with the default go tools, and it doesn't follow the standard project organization.

He even links to the guide that tells you exactly how you should be setting up a project: http://golang.org/doc/code.html

There is nothing here that requires a Makefile.

Even if it's consistent within files, you can still run into big problems. If the different macros supply slightly different functionality, you could end up in a situation where you have two different types of classes that can't be used interchangeably. It's not a problem if you write all the code, but once you start pulling in other code all bets are off.

It really depends which audience this article is targetting...

I disagree. Low quality articles like this are part of the reason why many undergrads are full of strongly held opinions about things they don't know much about. They think you can dismiss a huge paradigm with a glib one-liner: "functions are not objects".

Yes, but why have that definition, if you already have functions as builtin types?

Because we can't talk about objects without having a definition of what they are? I have no idea what point you're trying to make here. I'm just trying to be clear about my terminology.

Careful, the wording is a bit lacking here imho: you join two different ideas and make it seem like the second one validates the first, while it's not the case.

Think about it a little bit and you'll see why they are actually very related. His statement about Java is meant to imply that proper higher order functions and OOP are in opposition in some way (at least I assume that's his point, it's still not clear to me because that is obviously incorrect). I am saying that proper higher order functions alone are enough for a very pure form of OOP, so there is clearly no opposition.

That shows you probably don't follow much the field. Anyway, this article doesn't fit your standard (see first point), ergo this man's whole work doesn't, ergo the whole field doesn't? That twice too much stretching from someone who isn't very careful in his own argumentation.

I'm going to ignore the digs at me and elaborate on what I meant. The author wrote an article about programming languages that was full of elementary errors, both in logic and in technical details. If he can't make a simple argument correctly, how am I supposed to have faith that his research isn't similarly full of errors? It's easy to disguise sloppy thinking in technical writing.

This is a low quality article from someone who, given his qualifications, should know better.

The criticisms of functional programming languages range from trivially true (you can't be purely functional and have side effects) to incorrect (it is certainly not difficult to create a circular data structure in Haskell - it's easy given laziness).

The criticism of OOP is verging on nonsensical. Of course functions can be objects. A general definition of an object (following Cook somewhat) is something that satisfies an interface along with some form of dynamic dispatch. There is no reason why a function can't fall under that definition. The distinction between “fundamental” and “derived” isn't a technical argument, it's pseudo-philosophical junk. As several others have pointed out, the fact that Java doesn't have proper first-class functions is also utterly irrelevant. In fact, it is possible to program in a very pure OOP manner in any language with proper closures.

If the author is representative of the quality of researchers working on programming languages, it's no wonder the field seems stagnant.

jsgrep looks very neat as well. I like the patch syntax. However, I don't think this example is quite equivalent. In the grasp example, it replaces every binary operator, not just that specific call. Could you show how to represent the same thing in jsgrep?

Perhaps I'm being overly pedantic, but in my mind "showed" and "appeared to show" mean very different things.

You're right, that's a much better article.

As a response to your edit, no it doesn't. So what? If you can infinitely divide space in the manner of Zeno's paradox, then the sum is well defined and easy to do. If you can't, the paradox doesn't apply to reality. What's the problem?

You are assuming more about the Planck units than is currently known. Directly from wikipedia:

"There is currently no directly proven physical significance of the Planck length; it is, however, a topic of research."

Calculus is a tool for reasoning about exactly this kind of thing. If you think there is an actual paradox present, please explain what it is.

"He did this by setting up a series of paradoxes that showed, among other things, that half a given span of time is equal to twice that given span of time, that time and space are neither continuous nor discrete, and that nothing ever moves. Ever."

None of those things are true. One minute isn't equal to four minutes, Zeno didn't prove anything about time and space being neither continuous nor discrete, and things clearly do move.

This article is very low quality. The account of Zeno's paradox is wrong on pretty much every count, which makes it hard to trust anything else the article claims.

That's not true though. Zeno's paradoxes are all pretty easy to resolve using first-year calculus. They certainly don't prove that time or space is discontinuous.

I think you missed the point of the "Find PI to the Nth Digit" exercise. You aren't generating pi, you're just using a pre-computed value.

"like a dorm now"

This person is exactly right. That's what happens when you house 400 university students together. I don't see how this has anything to do with them being Google interns. It's completely reasonable that the residents are upset, most people would be if their quiet apartment became like a dorm, but this is the fault of the building management, not Google.

We can't talk about them freely. It requires a leak before we're even aware of them.

Could you suggest any resource for understanding this theorem? I have a math degree, but I never came across any Galois theory.

What a pointless complaint. Literally none of those things are real issues. Use the language for a day and it'll all be second nature.

Thanks for confirming this. It is very sad news.

Is there any source for this other then the wikipedia page?

People seem to be pretty critical of this post, but can anyone give me a good reason why math notation shouldn't have some concept of scope? I can't see any downsides. It would certainly help me puzzle out my professor's notes when he has used f to mean three different things in as many lines.

http://en.wikipedia.org/wiki/Kolmogorov_complexity#Incomputa...

The cyclists who want to compete without doping.

Okay, I'm the one that said they sound like spoiled children, so I'll bite. Can you explain to me how that is myopic and immature? These are all quotes from the article:

"He said, 'I gave out 120 A’s last year, and I’ll give out 120 more,' "

"Having my degree revoked now would mean I lose my job."

"some said that they will sue the university if any serious punishment is meted out"

"Some students asked whether there was a fundamental contradiction between telling students to use online resources, but not to discuss the test with each other"

These aren't responses of mature adults. This is immature students whining and complaining because they got caught cheating. The test explicitly said "students may not discuss the exam with others." It doesn't matter how it was done last year, or how hard the class is, or how much money they spent on the class. If the exam says not to discuss it with other students and you do, you have cheated.

For being at an elite "best-of-the-best" school, these students sure sound like a bunch of spoiled children. The reasons for cheating seem to vary from "it was a hard course so I had to cheat" to "everyone does it" to "it's an open book test, so we should be allowed to cheat".