simondedalus

12 ms·

61.
by simondedalus 10y ago
it should be called russell's package manager.
62.
by simondedalus 11y ago
if this article makes you think kripke stole the idea of rigid designation, you may as well say he stole it from john stuart mill (or st. augustine, for that matter).
63.
by simondedalus 11y ago
definitely. his warmth and humor are very much on display in "a puzzle about belief" as well: http://www.uvm.edu/~lderosse/courses/lang/Kripke%281979%29.p... (putnam is cited in this paper as well,
64.
by simondedalus 11y ago
the stuff he calls the "frege-russel theory of names" is even more egregious than his take on wittgenstein. to be fair, i don't believe his "take on wittgenstein" is exegetical anyway. he's putting forward his
65.
by simondedalus 11y ago
i agree on the last point (all 3 more interesting, and i agree with including the 'even'). like i said above though, it's hard to deny that his discussion of contingent a priori as such speaks to kant more directly and stron
66.
by simondedalus 11y ago
yeah. kripke can be convicted of truly awful exegesis of russell, frege, wittgenstein, but his own contributions to philosophy are mammoth. his attack on the identity of necessary truths and a priori knowledge alone is excellent.
67.
by simondedalus 11y ago
unlike a lot of contemporaries read through the end of the 20th century / beginning of the 21st, putnam was a rigorous and important philosopher (as opposed to, say, jerry fodor, who should be lauded for generating interest in philosop
68.
by simondedalus 11y ago
I think the idea is to use awareness of GNU and also to focus the attention of people with the skill to contribute on neural-networks. What I mean is, you're right of course, there's much better neural-network free software alread
69.
by simondedalus 11y ago
yeah, not to belabor it, but if you can do something like be a champion in go or chess, chances are you have the mental skillset to do something exponentially more lucrative.
70.
by simondedalus 11y ago
you could search (and watch) with mps-youtube: http://www.webupd8.org/2014/02/new-command-line-youtube-play... incidentally, you could also just use google.
71.
by simondedalus 11y ago
Thinkpenguin makes very good stuff. I don't have any experience with the current models, but in terms of build quality and bang for the buck, I think they blow System 76 away. Admittedly, I use a Thinkpad t430 and a MacBook Air myself
72.
by simondedalus 11y ago
if you're implying that everyone who usefully modifies source code or compiles with options is able to write the code from scratch, i would advise you rethink your position. to put a finer point on it, the concept of "layers of ab
73.
by simondedalus 11y ago
the parallel is divisibility by 2. re: what determines what sounds good, in some sense you can read up on music theory for this (scales / keys). in a more basic sense ("why is this sad and this happy?") it's actually an
74.
by simondedalus 11y ago
this article is bad. chomsky and his ilk have always acknowledged the wide variety of linguistic behavior; that's the whole point. universal grammar is the parameters to be set (what sounds have meaning? what word order is used? et
75.
by simondedalus 11y ago
I don't want to argue about systemd vs this or that, but re: (2) you are totally misrepresenting linus's objection to systemd (developers). the well-publicized incident to which you're referring had systemd introduce somethin
76.
by simondedalus 11y ago
this is true in general, but it bears noting that highly specialized fields need jargon. there's nothing wrong with using a word "in a technical sense," nor is there anything wrong with leaning on connotation to help orient
77.
by simondedalus 11y ago
advice: put just a bit more boring memorization type time into honing your discovery ability; ie hit the :h a bit, find some tutorials you like, pick up the "practical vim" book, print out a vim cheat sheet. not too much; just en
78.
by simondedalus 11y ago
Here's a link to one person's answer: http://www.gnu.org/philosophy/why-free.en.html The person to whom you replied seems to quite literally be talking about "people who see no ethical concerns with prop
79.
by simondedalus 12y ago
It's worth pointing out that nowhere in her note does she say "Google is evil." In fact, she doesn't even use the word 'evil'. The only place where an entity's being evil has been mentioned is in these st
80.
by simondedalus 12y ago
You cannot have a healthy society if only the powerless are allowed to criticize the powerful. She isn't even resigning in protest of Google's involvement, but the board's forbidding her to criticize any of Google's acti
81.
by simondedalus 12y ago
i want to say that math just is logic (which, blown up into set theory, is the major way we understand language outside of full on anthropology and incidental history/statistics)... but my early allegiance to frege would be showing.
82.
by simondedalus 12y ago
as long as the ads don't run code, i don't mind at all.
83.
by simondedalus 12y ago
As with Vivaldi, I'm partial to Il Giardino Armonico. e.g. Bach: Concerto for violin in A minor http://www.youtube.com/watch?v=Rmlsxr_ceSc Vivaldi: Concerto for 2 violoncellos, strings & b.c. in G minor http:&#x2F
84.
by simondedalus 12y ago
while i don't agree with priest either, your reasoning is bad. the point is not to argue against how people define logic, or anything as arbitrary or seemingly self-defeating as that. the point is to provide a functional logic in the f
85.
by simondedalus 12y ago
nagarjuna's point is not that contradiction or many-valued logic can be tolerated. nagarjuna, who is addressing a specific set of buddhist logicians, is finding paradoxes in logic in an attempt to break those logicians clinging to logi
86.
by simondedalus 12y ago
if someone said to linus "given that kernels are your research project, i expected that you'd already tested whatever you're talking about on wayland and contacted its developers about security holes," and he replied cur
87.
by simondedalus 12y ago
yes. i'm not saying the concept is novel, i'm saying that it's the only viable option for the systems of today. related to that, i think the qubes approach will be adopted eventually (and that articles of hers, specifically,
88.
by simondedalus 12y ago
i've been saying for awhile now (to anyone bored enough to listen) that qubes style isolation is the only safe idea on offer these days. i just wish qubes were usable. i'm fairly sure that 10 years from now people are going to be
89.
by simondedalus 13y ago
if you want to go linux or open source based, i would recommend thinkpenguin, https://www.thinkpenguin.com/catalog/notebook-computers-gnu-... great customer service, and the computers hang together. amazing bang for t
90.
by simondedalus 13y ago
also, the point of a straw man proposal isn't exactly to be refined... it's to get jump off ideas from the straw man's trivial refutation.

More ›