Done. Client-side version, that is.
Bakkot
Karma: 874
I read that as it was ongoing! Second the recommendation, and I’d point out that it’s written by Warren Ellis, who also wrote Transmetropolitan and Planetary and The Authority. If you like any of those, you’ll probably like the others (I particularly like Transmetropolitan), and if you haven’t read any, give one a shot. (FreakAngels is free online and much shorter than Transmetropoitan.)
I’ve mentioned it before, but it’s recently completed and hence bears bringing up again:
Embers, an Avatar: The Last Airbender fanfiction, is one of the best works I’ve read, fanfic or otherwise. At 750k words, it’ll keep you entertained for a while. It features characters who are generally smart (at least some of them, and in ways generally more age- and culturally-appropriate than eg HJPEV) and significant fleshing out of the world, with the latter drawing heavily on the author’s sometimes-cited research: see eg the author’s notes at the end of chapter 30 (warning, slight spoilers, though nothing that will make sense out of context) or at the end of chapter 47 (somewhat more significant spoilers).
You don’t need to have seen the show to know what’s going on, but it’ll help, and the show is worth a quick watch if you’ve got time on your hands anyway. Don’t skip this work just because you don’t have time for the show right now, though. Also, there’s a prequel of sorts called “Theft Absolute”, which is three orders of magnitude shorter and will not make much sense without the show; it’s not necessary for Embers.
If you want to avoid that problem, whenever you post a link you should submit it to archive.org or archive.is.
Didn’t downvote you, but I’m willing to bet it was because you embedded an image rather than linking it.
I strongly suspect that people who make the claim “no amount of evidence could convince me of not-X” have simply absorbed the meme that X must be supported as much as possible and not the meme that all beliefs should be subject to updating. I very much doubt that expressing the above claim is much evidence that the claim is true. And it’s hard to absorb memes like “all beliefs should be subject to updating” if you are made to feel unwelcome in the communities where those memes are common.
Eh, yes and no. This attitude (“we know what’s best; your input is not required”) has historically almost always been wrong and frequently dangerous and deserves close attention, and I think it mostly fails here. In very, very specific instances (GiveWell-esque philanthropy, eg), maybe not, but in terms of, say, feminism? If anyone on LW is interested tackling feminist issues, having very few women would be a major issue. Even when not addressing specific issues, if you’re trying to develop models of how human beings think, and everyone in the conversation is a very specific sort of person, you’re going to have a much harder time getting it right.
Each of these I have liked well enough to memorize, which is about as high a recommendation as I can possibly give for sort-to-medium length poetry. Roughly descending order of how much I like them.
Other Lives And Dimensions And Finally A Love Poem, Bob Hicock
Dirge without Music, Edna St. Vincent Millay
Invictus, William Ernest Henley
I-5, aleashurmantine.tumblr.com
A blade of grass, Brian Patten
Rhapsody on a Windy Night, TS Eliot
untitled, vd This is in my notes as being by ‘vd’, who per this I assume is this person, though I can no longer find the original.
Also, The Raven (Edgar Allan Poe) is somewhat longer, but is absolutely worth it. Read it aloud. Even if you think you have read it and not particularly been caught by it, go back and read a couple of stanzas aloud before giving up on it entirely. He does some of the best things with words of anyone I’ve ever read. “And the silken sad uncertain rustling of each purple curtain...”
Most of these links I’ve added to archive.is (see here ), so if any of these links are dead and Google is proving inadequate, check there.
I’ve started making heavy use of archive.is. You give them a link, or click their super-handy bookmarklet, and that page will be archived. I use it whenever I’m going to be saving a link, now, to ensure that there will be a copy if I go looking for it years later (archive.org is often missing things, as I’m sure we’ve all run in to).
Great post! For anyone reading this who isn’t familiar with model theory, by the way, the bit about
sentence G ⇔ P(‘G’)<1. Then
may not be obvious. That is, we want a sentence G which is true iff P(‘G’) < 1 is true. The fact that you can do this is a consequence of the diagonal lemma, which says that for any reasonable predicate ‘f’ in a sufficiently powerful language, you can find a sentence G such that G is true iff f(G) is true. Hence, defining f(x) := P(‘x’) < 1, the lemma gives us the existence of G such that G holds iff f(G) holds, ie, iff P(‘G’) < 1 as desired.
Mostly I bring this up because the diagonal lemma is among the most interesting results in early model theory. It has a simple statement and is how self-reference is constructed, which is what gives us the incompleteness theorems. If anyone is interested in getting in to model theory, looking up the proof and background for the proof would be a great place to start.
For those in the community living in the south Bay Area: https://www.google.com/shopping/express/
I’m told, and quite willing to believe, that your salary has more to do with the five minutes of salary negotiation than the next several years of work. I am also told that salary negotiation is very much a skill.
As such, it seems it would be worth a fairly substantial amount of time and money to practice and/or get coaching in this skill. Is this done? That is, how likely am I to be able to find someone, preferably someone who has worked on the business end of salary negotiation at somewhere like Google, who I can pay to practice salary negotiation with?
ETA: I’ve read extensively about how to negotiate (though of course there’s always something more). What I’m interested in is practice.
Found a book: Deconversion: Qualitative and Quantitative Results from Cross-Cultural Research in Germany and the United States of America. It’s recent (2011) and seems to be the best research on the subject available right now. Does anyone have access to a copy?
There’s a PDF (legal, even!) here, linked next to “download”.
See also their website/theologie/forschung/religionsforschung/forschung/streib/dekonversion/), which is probably more digestible.
I wasn’t familiar with Cochrane; that looks like an excellent resource. Unfortunately, it looks like a lot of summaries haven’t been updated in a decade—is this something to be worried about, and if so, is there another resource someone can recommend other than simply reading PubMed and doing your own meta-analysis?
The derivative, the second derivative, or even the function itself could easily be discontinuous at this point.
But needn’t be! See for example f(x) = exp(-1/x) (x > 0), 0 (x ≤ 0).
Wikipedia has an analysis.
(Of course, the space of objects isn’t exactly isomorphic to the real line, but it’s still a neat example.)
If you can find it in theaters, Joss Whedon’s Much Ado About Nothing is very, very well done. The Shakespearian English takes a few minutes to get used to but is highly understandable. The cinematography is superb. The movie is, as a whole, lots of fun.
-
I’m not sure I understand. A is a TM—which aspect is it proving inconsistent?
(I didn’t downvote you.)
It’s quite straightforward to write an algorithm which accepts only valid proofs (but might also reject some proofs which are valid, though in first-order logic you can do away with this caveat). Flawed proofs are not an issue—if A presents a proof which B is unable to verify, B ignores it.
I wrote a userscript to add a delay and checkbox reading “I swear by all I hold sacred that this comment supports the collective search for truth to the very best of my abilities.” before allowing you to comment on LW. Done in response to a comment by army1987 here.
Edit: per NancyLebovitz and ChristianKl below, solicitations for alternative default messages are welcomed.