FStar
An ML-like language aimed at program verification
Ask HN: How do you go from an L1/H1 to starting a startup in the USA?
2021-08-27
Amazon Urges FCC to Deny SpaceX's Plan for Second-Generation Starlink
2021-08-27
Show HN: Developer platform for creating human-like conversational AI apps
2021-08-27
I got 69 paying customers after failing for one year
2021-08-27
Ask HN: Should I cancel my interview?
2021-08-27
Startup Pricing Insights Roundup
2021-08-27
Electric pickup startup Rivian files for public offering at $80B valuation
2021-08-27
Ask HN: Recommend an ergonomic or quality mouse in 2021?
2021-08-27
Glass Bottle Identification Starter Guide
2021-08-27
Startup “What if I told you we could take regular food and turn it into squares”
2021-08-27
