Viewing profile — jhuni

This makes error-correcting the foundation of the universe, but I would prefer to have causality be fundamental, such as with the causal sets program. This is interesting though, e…

I can confirm, I have been writing Clojure for seven years. Its pretty nice to look at now.

Excellent point, how many layers of accidental complexity are we on now? I have lost count.

Installation is the point, you don't want to run a game only once.

The first question that comes to mind is, what is wrong with using the JVM or the CLR as a compilation target for such a language. The only thing that I can think of is that they w…

The problem is that maintaining a browser engine is enormously expensive. There are so many features you need to maintain, security issues to deal with, etc. In the past Microsoft …

> It also means exposure to paradigms like functional programming, or logic programming. I recommend Haskell, not because you need to learn yet another language, but because the kn…

Guido Van Rossum and the development team didn't want the language to be functional. There is very little functional support in Python in general, besides not supporting first clas…

One note about point (2) dealing with the versions and the languages object oriented features. I noticed the object-oriented support has been tacked on, before Python 2.2 the objec…

> Lisp programmers tend to be ignorant of applied mathematics. As a Lisp programmer and a mathematician myself I must disagree. I spent years working on mathematical applications u…

Does this person think that programming will suddenly be a breeze if it is done as a hobby rather then as a job? Even if you are programming in your own free time you will still ha…

> You misread me. What I said was that "set theory" is the general mathematical framework exactly equal to what we computer scientists call "type theory". That makes more sense. I …

> Number theory/abstract algebra, which is the study of natural numbers among other things, is a form of set theory. Let S be the set {a,b} and let T be the set {c,d}. There are tw…

> The type system does quite a bit more than just describe cardinality. The single most important feature is typeclasses; you simply can't replicate some of what typeclasses can ea…

> Type theory and accompanying first-order logic is the foundation upon which mathematics is built. Since when? Mathematics was originally founded on the study of the natural numbe…

I like having access to mathematical semantics, simple algebraic rules, and all the other things you mentioned but combining these features with a non-homoiconic syntax spoils the …

> But of course people asking for more state will tell you that North Korea is not a good example of communism and that Argentina is not a good example of socialism. The Workers' P…

> In the spirit of healthy debate, Microsoft's control of the desktop is akin to Kleenex's control of the tissue market. It will always be there because no one really expects it to…

Unfortunately, I don't share your optimism with regards to our immediate ability to liberate ourselves from computer systems with closed designs. The Microsoft hegemony has been he…

> Most people aren't tinkerers. Lots of people aren't curious, and many people respond to freeform environments with indecision and frustration that's self-defeating. They weren't …

Your analysis is spot on. Schools are part of a larger economic system that is based upon alienation. How can I be curious about the things around me if they are based upon closed …

Public education in modern capitalist society is a step up over what we had before. When capitalism first emerged in England there were no child labor laws so millions of children …

High-def movies are sold for a profit unlike most WoW goods so they are more like the goods sold in the Maple Story cash shop.

> I value the freedom of hard-working content creators to make money from their labor over the freedom of teenagers to get free copies of popular movies and video games I appreciat…