FStar
An ML-like language aimed at program verification
Ask HN: What is the best way to find a UI/UX designer?
2020-06-18
Israeli startups that received global recognition this week
2020-06-18
Is an MBA useful for starting a business?
2020-06-18
Neural Magic: startup making deep learning possible without specialized hardware
2020-06-18
SpaceX Applies for Gen2 Starlink Constellation – 30k Satellites [pdf]
2020-06-18
Ask HN: Regreting Not Doing a Startup
2020-06-18
Ask HN: I think I can take over an entire market; change my mind.
2020-06-18
I quit my job at the start of the pandemic to launch a company
2020-06-18
Why a recession can be a good time to start a business
2020-06-18
A list of interesting nocode startups
2020-06-18
