FStar
An ML-like language aimed at program verification
Ask HN: How are VCs doing this times?
2020-04-01
Startups Unveil Tech to Fight Covid-19;Challenge May Be Getting Enough Engineers
2020-04-01
Show HN: StepUp – 3 minute video chat that starts with a blur
2020-04-01
The Zoom Privacy Backlash Is Only Getting Started
2020-04-01
Why Startups Value Potential over Experience
2020-04-01
A Wuhan Writer Takes on China’s Communist Machine and Becomes an Online Star
2020-04-01
Steps to Taking Your Startup Accelerator 100 Percent Virtual
2020-04-01
Creating a Unified Modular UI Framework at a Startup
2020-04-01
Ask HN: Which role in your startup hires freelancers most frequently?
2020-04-01
Ask HN: Advice for YC Batch Working Remotely with YC
2020-04-01
