On: Ask HN: How do I short a stock?

1 put = 100 shares

No, puts are bought and sold in contracts of 100 options, but the price quoted is for a single option. The contract costs 100x that price.

You are correct. To short equivalent of my option position, I will have to short 10,000 shares.