That's why longterm projects like a manned mission to Mars, or converting to all... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		supportlocal4h on June 10, 2020 \| parent \| context \| favorite \| on: SeL4 is verified on RISC-V That's why longterm projects like a manned mission to Mars, or converting to all-electric vehicles should be government led.

monocasa on June 10, 2020 [–]

They have been. Musk's businesses don't make sense without the incredible amount of government subsidies they get.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact