gwern comments on [missing post]

[gwern]

What is the cost of building a ship compared to a submarine?