How much does it cost to have a custom ASIC made? | Hacker News Reader