FStar
An ML-like language aimed at program verification
Should I worry if website is being scrapped first month of launch?
2021-02-03
Don't Start Something, Get a Job
2021-02-03
Show HN: Tuemilio – Early access widget for startups
2021-02-03
2 Podcasts started every minute, throughout 2020
2021-02-03
TESS Discovers Sextuply-Eclipsing Six-Star System
2021-02-03
Ask HN: What should early startup Employee Agreements require, and not?
2021-02-03
Ask HN: Differences between Berlin tech/startup culture and NYC culture?
2021-02-03
Bitcoin self-storage startup Casa raised $4M seed round led by Avon Ventures
2021-02-03
Dinosay is a humble, simple, nice and paleolithic alternative to cowsay
2021-02-03
FAA to oversee investigation of SpaceX Mars rocket prototype's explosive landing
2021-02-03
