Viewing profile — harshavr

I am no expert on this, but if you assume the cosmological principle which states that our universe is roughly isotropic, there is a natural set of observers called comoving observ…

Not to minimize the importance of teaching, but the content is important too. Instead of the content consisting of memorizing and performing algorithms, hoping for students to disc…

Nice explanation, though I dont see how this leads you into becoming a formalist at the end. That countable models exist for the set theoretic universe, seems like part of the phen…

Isn't this a property of the implementation rather than the language, though? Couldn't you have a compiler option to keep the type tags attached to the bits, sacrificing some of th…

If there is a real need, wont scraping toools with easy interfaces be developed by competitors to allow a user to get personal data out while migrating? Its the user's data after a…

Some banks display a customer preselected image after the user name & before entering a password. This seems to be a good solution to phishing if one keeps the username private. Ot…

Before you arrive at a judgement of the paradigm itself be sure that you know some of the standard ways to solve problems in the field. Some basic things which i didn't knew in the…

Can you clarify? I thought that keeping separate streams of side effects is not possible when one stream influences the other. The logging process depends on what actions happen in…

Since you can use gconftool shell command to get & set key values, it seems consistent with the unix philosophy. It is actually easier to use in a script than to parse a text file.…

If I remember correctly, there was a more tricky problem in implementing monads without the type system - sometimes which monad is chosen for an expression, depends not just on the…

B) should be disincentive to save using money , not a general disincentive to save itself. One could make investments in any other commodity whose value relative to other commoditi…

The first part seems to be motivating something like a macro system for comments. What if one abbreviated compound situations using a single word or a phrase along with a separate …

I wonder if there is a special advantage for geoenginnering solutions like carbon sequestration where instead of perturbing a complex system and using technology to individually ma…

well, best of you luck! hope any possible bad phases dont get to you.

1 is a real issue right now. But, this will change. Once there are enough users, students/philantropists/governments might pool up money to pay good universites/professors to put u…

As a grad student in math, i would say that determination still plays a important role. For me, there have often been periods where you lose motivation and dont see why you are doi…

The user of the web app has a model and a desired result in mind and somehow needs to communicate this intention to the system. Viewed this way, it is clear that there must be a la…

"gas tank is equivalent to ~0.5megawatts", just to be more clear, could you say how many hours of driving are you assuming the gas fill will last, since your measurement is in term…

Here's an attempt at distinguishing a truly quantum effect: can the same thing happen in a universe with classical physical laws and also keeping the other relevant variables fixed…

I find these links very useful. HN seems to be serving a broader role than news,(another instance is the askhn posts). About non-shortage of online course material, this is very mu…

maybe you can make it reversible by refunding it on the same terms, i.e the buyer has the right to return the good to the seller, and the seller pays 2X or 0 with prob 1/2 to the b…

thanks! the links seems really helpful

Has anyone here installed a lisp machine emulator on a linux pc? I am wondering where to get the source from. The unlambda page, which according to google hosts the code, seems to …

Is it necessary for the agent managing the subscriptions to be the same as the agent providing you internet services? Maybe you can have a webapp which provides an easy interface t…