jonshea

Your comparison to inject molding is correct. The press is used to hold the die mold halves together. I enjoyed this video that explained the process https://youtu.be/FUsicN-wKoY?t=234

jonshea

14 年前議論

People say this kind of thing a lot, but I’m pretty sure it’s simply not true. bash-completion handles pretty much everything I can imagine already, and can be extended to handle anything you can express programmatically.

jonshea

14 年前議論

We do the simplest thing we could imagine. Our sitemap of ~50,000,000 entries is written to static xml once a week as part of a batch job and pushed to S3. Is there any reason to believe it needs to be updated near real time? How often does Google read yours?

jonshea

14 年前議論

If we assume that Saverin had to pay his taxes by selling shares at the same price at which the IRS assessed then, then my logic still holds. Saverin would have to sell 15% of his stock to pay the 15% tax.

If, as you suggest, he is able to sell his shares at a greater valuation than the IRS uses to calculate his exit tax, then you are correct. When you renounce your citizenship, I have no idea how long the IRS gives you to actually pony up the exit tax.

jonshea

14 年前議論

By my math, Eduardo Saverin doesn’t avoid any tax at all by leaving the US, regardless of whether or not his stock goes up or down. If he leaves, the US takes 15% of his stock now. If he stays, the US takes 15% of his stock later. But either way, the US have taken away 15% of his ability to spend.

Let’s work through it with numbers, in case that isn’t clear. Say Saverin has $100 worth of Facebook stock. He renounces US citizenship. He sells enough stock to pay $15 to the government, leaving him with $85 in Facebook stock. Over the next year, Facebook doubles in value, leaving him with $170 in stock. He cashes out, and there’s no tax, so he ends up with $170 in cash.

Now imagine he stays in the US. He has $100 in Facebook stock, which he pays no tax on because there is no taxable event. Facebook doubles in value over the next year, so he ends up with $200 in stock. Then he cashes out, paying 15% in capital gains, leaving him with $170 cash.

Clearly he ends up with the same amount of cash either way. Perhaps Saverin is avoiding tax by leaving the US, but neither this article nor any other article I have read identifies how he is doing so.

jonshea

14 年前議論

To be clear, you are comparing a sharded Riak cluster against an unsharded MongoDB installation?

jonshea

14 年前議論

http://www.ietf.org/rfc/ien/ien137.txt

jonshea

14 年前議論

In 1729 Jonathan Swift anonymously published “A Modest Proposal for Preventing the Children of Poor People From Being a Burden on Their Parents or Country, and for Making Them Beneficial to the Publick” [1], which suggested that poverty and overpopulation in Ireland could be alleviated if the poor would either eat their children, or sell their children as food to the rich. In allusion to the original, the phrase “A Modest Proposal” is used to introduce suggestions that are satirical, hyperbolic, and sarcastic. Not knowing the origin of the phrase, some authors use it to introduce proposals that are genuinely modest, much to the disappointment of this reader.

fn. 1: http://www.gutenberg.org/ebooks/1080

jonshea

14 年前議論

I find Sparrow for Mac much more pleasant than gmail or Mail.app. I’ve been on Sparrow’s beta build since the Sparrow beta started. I haven’t had any serious issues since version 1.0 was released, and I’ve received grateful replies to all of the minor issues I have emailed them about.

Sparrow for iOS is an insta-buy for me.

jonshea

14 年前議論

Did Kim Dotcom ever leave his house? Could it possibly have been cheaper, safer, and easier to, say, pull over his car and arrest him on the side of the road? Wouldn’t that also leave Dotcom less cause and opportunity to activate Megaupload’s alleged self-destruct mechanism?

jonshea

15 年前議論

Good to know. Thanks Paul!

jonshea

15 年前議論

They’re interesting problems, a good way to improve your coding skills, and an amazing way to train for interviews.

jonshea

15 年前議論

If anyone is able, would you please explain to me these two questions from the quiz? I’m stumped.

Why does `toSeq` compile, but not `toIndexedSeq`?

    Set(1,2,3).toIndexedSeq sortBy (-_)
    Set(1,2,3).toSeq sortBy (-_)

Why does `h` compile, but `f` does not?

    def add(x: Int, y: Int) = x + y
    val f = add(1,_)
    val h = add(_,_)

jonshea

15 年前議論

http://en.wikipedia.org/wiki/Brouwer_fixed-point_theorem

jonshea

15 年前議論

Plurals of Latin / Greek words used in English: http://alt-usage-english.org/excerpts/fxplural.html One of my favorite pages.

jonshea

15 年前議論

You mean “without any prior evidence”. The phrase “a priori” means “by reason or deduction alone, without empirical evidence”. The phrase “a priori evidence” is an oxymoron.

jonshea

15 年前議論

Before posting that there is an easy or obvious resolution to the “paradox”, please read at least the first couple pages of the literature survey that Landsburg links to [1].

""" The meta-paradox consists of two seemingly incompatible facts. The first is that the surprise exam paradox seems easy to resolve. Those seeing it for the first time typically have the instinctive reaction that the flaw in the students’ reasoning is obvious. Furthermore, most readers who have tried to think it through have had little difficulty resolving it to their own satisfaction.

The second (astonishing) fact is that to date nearly a hundred papers on the paradox have been published, and still no consensus on its correct resolution has been reached. The paradox has even been called a “significant problem” for philosophy [30, chapter 7, section VII]. How can this be? Can such a ridiculous argument really be a major unsolved mystery? If not, why does paper after paper begin by brusquely dismissing all previous work and claiming that it alone presents the long-awaited simple solution that lays the paradox to rest once and for all? """

fn 1: http://www-math.mit.edu/~tchow/unexpected.pdf

jonshea

15 年前議論

Landsburg actually addresses this in his next post! Regarding the Liar Paradox you bring up:

"""One of Kurt Godel’s great insights was that you can go a lot deeper by considering a slightly different sentence: “This sentence is not provable”. If that statement is false, then it’s provable. But surely no false statement should be provable! So maybe the statement is true. In that case, it’s true but not provable, which says something about the limits of logic. It says that not every true statement can be proved.""" [1]

fn 1: http://www.thebigquestions.com/2011/12/13/a-tale-of-three-pa...

jonshea

15 年前議論

Amazing experiment. I wonder if it cost Yudkowsky money to get out of the box. I think that a bribe is the only way he could convince me to let him “win” the contest.

jonshea

15 年前議論

It’s a bit of a spoiler to post it here, but Nick Bostrom’s “The Fable of the Dragon-Tyrant” (Journal of Medical Ethics, 2005, Vol. 31, No. 5) is the single most influential essay that I have ever read. It completely changed how I think of aging.

http://www.nickbostrom.com/fable/dragon.html

投稿

C: A Technological Landmine

FTP Considered Harmful: The Challenges of an FTP Filesystem

コメント