FStar
An ML-like language aimed at program verification
Ask HN: Acquisition Checklist for Founders
2021-03-10
Security startup Verkada hack exposes 150k security cameras
2021-03-10
Apple will randomize Mac serial numbers starting this year
2021-03-10
Via Buys Mapping Startup Remix for 100M
2021-03-10
Launch HN: Haystack (YC W21) – Engineering analytics that don’t suck
2021-03-10
Ask HN: What are your memories of the most overhyped startup failures?
2021-03-10
Transportation Startup via Makes $100M Bet on Mapping Company
2021-03-10
Soaring home prices are starting to alarm policymakers
2021-03-10
Ask HN: Why is it so difficult to find a co-founder?
2021-03-10
Launch HN: Remora (YC W21) – Carbon capture for semi trucks
2021-03-10
