FStar
An ML-like language aimed at program verification
Waiting list, $100M in pre-sales pipeline Where high valuation makes sense
2020-01-28
High School Starts at 3 P.m. For These Michigan Students
2020-01-28
News startup Scroll debuts today with ad-free access to ~300 partners
2020-01-28
Ask HN: Why are people claiming IRS FreeFile is equivalent to TurboTax?
2020-01-28
Berlin venture studio Merantix raises $27M fund to concentrate on AI startups
2020-01-28
How Co-Working Spaces Help Startup Thrive
2020-01-28
Founders Should Take More Risk
2020-01-28
Chicago startup ActiveCampaign raises $100M in new Series B round
2020-01-28
Ask HN: What are the best podcasts about startups/entrepreneurship?
2020-01-28
NASA taps Axiom Space for the first habitable commercial module for the ISS
2020-01-28
