FStar
An ML-like language aimed at program verification
$4B health tech startup Olive overpromises and underdelivers
2022-04-05
Apple just announced its big annual conference starts June 6
2022-04-05
Show HN: I built a service to help companies reduce AWS spend by 50%+
2022-04-05
Science Startups, Who's Hiring? (Spring 2022)
2022-04-05
One-click checkout startup Fast is laying off its staff
2022-04-05
Google starts full-scale drone delivery to residential homes in Dallas
2022-04-05
Fast Is Shutting Down
2022-04-05
Rockset Beats ClickHouse and Druid on the Star Schema Benchmark; Does It Matter?
2022-04-05
Climeworks Raises $650M in Largest Round for Carbon Removal Startup
2022-04-05
Extra ticket Startup Grind conference in SF Bay – April 12-13th
2022-04-05
