agentcoops

32 ms·

181.
by agentcoops 14y ago
To be honest, I used Twitter initially because it was interesting to read and be in dialogue with the larger tech community in a way that I might not on, say, my Facebook (very technical discussions, etcetc). I could of course browse a Twit
182.
by agentcoops 14y ago
Yes, there were lots of solutions a while back, including Slick's predecessor ScalaQuery, but none of them were that developed and it required you to build a fresh object model from whatever legacy schema you had. Not difficult to automate
183.
by agentcoops 14y ago
Glad to see a standard Scala DB solution emerge---especially one backed by Typesafe. I really found the lack of an elegant database solutions in Scala to be a huge setback in heavy Scala use a year ago. Excited to give it a try.
184.
by agentcoops 16y ago
These papers by Luca Cardelli are quite good: http://lucacardelli.name/Papers/TypeSystems.pdf http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf
185.
by agentcoops 16y ago
Another vote for Scala (plus Ruby, R and Javascript).
186.
by agentcoops 16y ago
If you're giving Google data, you're most certainly supporting them.
187.
by agentcoops 18y ago
What the author is disagreeing with, the Hilbert-Bourbaki method, isn't mathematics as the proving of theorems, but rather the proving of theorems as a necessarily formal task; that is, that when one is doing a proof it ought to be done in
188.
by agentcoops 18y ago
Clearly when developing an algorithm one should have an intention as to what it will do. The idea behind many algorithmic proofs and, I assume, that of the original poster, is to prove that ones implementation in fact does what you intend
189.
by agentcoops 18y ago
Because people have different syntactic preferences? Because some people hate c-style brackets while others hate python-style white-space? While it would make life easier in the short-run for those trying to learn a language who have pre-
190.
by agentcoops 18y ago
Actually, checking out the cvs repository on sourceforge ( http://self.sourceforge.net/ ), there seem to have been some recent commits; though, in general, I think you're right that there isn't much active development. There's also work on
191.
by agentcoops 18y ago
What philosophical problem did Popper actually solve? I hope very much you aren't referring to his verificationist approach to confirmation in science.
192.
by agentcoops 18y ago
I find Self to be worth checking out, as well ( http://research.sun.com/self/ ) if for no other reason than seeing how fast dynamic languages can be. The research that went into it--techniques for blazing fast implementations of highly dyn
193.
by agentcoops 18y ago
"My propositions are elucidatory in this way: he who understands me finally recognizes them as senseless, when he has climbed out through them, on them, over them. (He must so to speak throw away the ladder, after he has climbed up on it.)
194.
by agentcoops 18y ago
I find coffee to be terrible for all-nighters. I find the best method to be a combination of 15-20 minute naps and either lots of strong black tea or small sips of sugar-free energy drinks. Of course, as most posters point out, actually sl
195.
by agentcoops 18y ago
Something both of these papers miss is that most modern disciplines have their origins in philosophy and, in moments of foundational crisis, often return to their roots. While I do find pure philosophy to often be garbage (most metaphysics
196.
by agentcoops 18y ago
While I agree that slogging through Aristotle and Kant is incredibly painful (and many departments definitely over-emphasis), I think it's undeniably useful for one pursuing a career or even hobby in philosophy to have some knowledge of the
197.
by agentcoops 18y ago
I'm saying that Wittgenstein /contributed/ to the advent of modern analytic or formal philosophy; an indisputable claim. While I have a spot in my heart for the Tractatus (if nothing else the method of truth tables in logic was co-invented
198.
by agentcoops 18y ago
You do. Have you read any of the literature on multi-agent systems design? Or the literature on belief-revision/database updating? There's a significant community of modern philosophers/logicians actively contributing to developments in C
199.
by agentcoops 18y ago
I think the reformation to which he refers would be the advent of modern, analytic philosophy at the turn of the century through the works of Russell, Moore, Frege, and Wittgenstein. If so, the two claims are equivalent.