FStar
An ML-like language aimed at program verification
China's giant radio telescope will start searching for aliens in September
2020-06-02
Are there any startups that have tried to copy IKEAs business model?
2020-06-02
I would like your feedback on our CRM for B2B tech startups
2020-06-02
Show HN: I made an embeddable user feedback tool – free for open source
2020-06-02
Self-driving vehicle startup Argo AI completes $2.6B deal with Volkswagen
2020-06-02
Tell HN: COVID19 Testing Is a Mess
2020-06-02
Ask HN: Who is seeking co-developer?
2020-06-02
Ask HN: What is the best way to record a terminal session?
2020-06-02
Jeff Bezos is buying a stake in UK digital supply chain startup Beacon
2020-05-31
My Purpose as TechBum – What a great start
2020-05-31
