News for hackers. Stuff that matters.

A comment on Ask HN: What moonshots do you wish were being attempted?. Parent comment

Re:Ask HN: What moonshots do you wish were being attempted? by nextos on Friday February 24, 2023 @07:40PM (#34932395)
This is one of my favorite moonshots. The problem is that it is hard to monetize, so it should in principle be funded by grants and not by VC.

Also, I would not expect any dramatic improvements with respect to what we have, e.g. F*.

[ Parent | on HN ]

There are no comments on this comment yet.