harshavr

9 ms·

31.
by harshavr 18y ago
Isn't this broader than the limitations of first order logic? After Turing we know that no matter what formal system of axioms and rules of inference one choses(as long as these can be mechanically done) then there will be some true stateme
32.
by harshavr 18y ago
Self-fulfilling rumours which trigger bank runs can be a distributed phenomena, no one person needs to engineer it. It just needs to start somehow. More importantly, it is possible that most people are wrong on some particular question abou
33.
by harshavr 18y ago
On the whole macro debate, whatever one thinks the default behavior should be with respect to variable capture, the syntax-case macro system in scheme works on a representation of program code which is at a higher resolution than what lisp
34.
by harshavr 18y ago
>> The patent system was set up to be taken advantage of in this exact way Pheraps, but the question is should it be set up this way? Two justifications of the patent system are - inventors have more incentives, hence new ideas will
35.
by harshavr 18y ago
Your version of B is actually distinct because it still requires the individual to explicitly limit his choices beforehand. It would still leave open an option for the following to happen, A farmer after a poor harvest faces the prospect o
36.
by harshavr 18y ago
This is an interesting example. But to take the question further, exactly what choices do you allow an individual to trade away? As an extreme, will you allow an individual to trade his life away(or as in The Merchant of Venice, one pound o
37.
by harshavr 18y ago
the parent page has download links - http://research.microsoft.com/users/simonpj/papers/slpj-book...
38.
by harshavr 18y ago
The thing that the original article(by atwood) seems to be complaining about is not actually metaprogramming. It seems more like the standard gripe that functional programmers have about state, even though it is not phrased that way. He is
39.
Our Electric Future - Andy Grove(american.com)
29 points by harshavr 18y ago|13 comments
40.
by harshavr 18y ago
>>China needs to be knocked back a couple of pegs. We have been looking at nearly 1/6th of the population of the world controlled by an incredibly repressive regime For this point to have any validity, you'll need to have a strong a
41.
by harshavr 18y ago
some exceptions i can think of : clos and the meta object protocol - the idea of leaving the language open for the user to change by using a metaclass hygienic macros first class continuations monads functional reactive programming the fir
42.
by harshavr 18y ago
sounds really interesting. the course page has sets of projects, and assignments, but are there lecture notes up online anywhere?
43.
by harshavr 19y ago
which implementation is this?