jonshea's comments

jonshea | 13 years ago | on: Fish: Finally, a command line shell for the 90s

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 years ago | on: Renouncing citizenship: Did Eduardo Saverin do anything wrong?

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 years ago | on: Renouncing citizenship: Did Eduardo Saverin do anything wrong?

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 years ago | on: To the Pirate Bay: a modest proposal

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 years ago | on: Sparrow for iPhone

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 years ago | on: Elite Anti-Terror Police Went After Megaupload’s Kim Dotcom

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 | 14 years ago | on: True Scala complexity

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 | 14 years ago | on: The "Surprise Exam" paradox

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 | 14 years ago | on: The "Surprise Exam" paradox

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 | 14 years ago | on: The AI-Box Experiment

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.
page 1