Ask HN: What startups are working on hard, technically challenging problems?