harshavr

7 ms·

1.
by harshavr 15y ago
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 observers who are at rest with respect to the expansion of the uni
2.
by harshavr 15y ago
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 discover meaningful patterns/concepts/insights or rely on teache
3.
by harshavr 15y ago
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 phenonmena of infinite structures having perfect reflections in
4.
by harshavr 16y ago
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 the speed benefits of static typing but keeping the primary ad
5.
by harshavr 16y ago
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 all. Lock-in due to the usefulness of friend info might still
6.
by harshavr 16y ago
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. Otherwise a site could give you the option of using two pa
7.
by harshavr 17y ago
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 begining : Fast persistent data structures - Coming from im
8.
by harshavr 17y ago
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 the IO sequence though not the other way around. Are you ta
9.
by harshavr 17y ago
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. For tree level operations, one can use the standard dir
10.
by harshavr 17y ago
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 arguments, but the expected type of the result. Ex : "retur
11.
by harshavr 17y ago
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 commodities stays constant or increases. It is a somewhat unusual ta
12.
by harshavr 17y ago
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 file with expansions of the abbreviations into more detail.
13.
Tyler Cowen on problems with story based understanding(tedxmidatlantic.com)
1 points by harshavr 17y ago|0 comments
14.
by harshavr 17y ago
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 manage all the negative consequences, we use technology direct
15.
by harshavr 17y ago
well, best of you luck! hope any possible bad phases dont get to you.
16.
by harshavr 17y ago
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 up videos & other material for free online. There is sco
17.
by harshavr 17y ago
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 doing what you are doing, and then sometimes there are moments
18.
by harshavr 17y ago
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 language in which this communication happens. Of course, we ca
19.
by harshavr 17y ago
"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 terms of power?
20.
by harshavr 17y ago
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?(the latter part is important because the classical univers
21.
by harshavr 17y ago
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 much true. Still, the 'aggregation' part remains - a way for
22.
by harshavr 17y ago
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 buyer.
23.
by harshavr 17y ago
thanks! the links seems really helpful
24.
by harshavr 17y ago
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 be down.
25.
by harshavr 18y ago
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 to both users and website owners. Website owners provide usag
26.
by harshavr 18y ago
You are right, i didn't mean to say otherwise. The original post had a critique of ADTs which i was responding to.
27.
by harshavr 18y ago
I was attracted to this viewpoint, especially as it makes serialization/deserialization easy. But there are good reasons behind using objects (and their dual, abstract data types). Because many times, you don't want some parts of your progr
28.
by harshavr 18y ago
I dont think the debate was as much between intuitionism and formalism as it was between intuitionists and people who thought infinite objects are really real. In particular, intuitionists dont object to "A or not A" for finite sets. In man
29.
by harshavr 18y ago
Identity as a person is much more widely present than identity in terms of religion, programming language, economic stance, nationalism or culture, Imagine someone makes a critical statement about your personal character, The way we respon
30.
Installing a solar panel in a college dorm(uvm.edu)
1 points by harshavr 18y ago|0 comments

More ›