FStar
An ML-like language aimed at program verification
One Million Dollar Fund for Startups
2020-07-22
Launch HN: Reploy (YC S20) – Instant fullstack staging environments for web apps
2020-07-22
Arduino Starter Kit Project 01
2020-07-21
Ask HN: Is every online community slowly being taken over by marketing?
2020-07-21
Starting a Tiny Indoor Garden
2020-07-21
75% of fire calls are false alarms. Is there a startup working on this problem
2020-07-21
Microsoft Azure DevOps? Start Here
2020-07-21
Spotify launches video podcasts worldwide, starting with select creators
2020-07-21
Startup Challenges for the Remainder of 2020
2020-07-21
Ansoff's Matrix: An underutilized growth strategy tool for startups
2020-07-21
