FStar
An ML-like language aimed at program verification
Show HN: Lab.computer – A website to run CS programming course online
2020-10-08
Ask HN: When should a startup hire their first developer?
2020-10-08
What's your favorite thing about AppSumo?
2020-10-08
Three meetings your remote startup must have (and one to avoid)
2020-10-08
Ask HN: Who are the REAL “ride or die” early stage VCs?
2020-10-08
Launch HN: Doppler (YC W19) – Easily manage your env vars and secrets
2020-10-08
Ask HN: What is a good crusing altitude for a “Head of IT”
2020-10-08
SpaceX has launched enough satellites for Starlink’s upcoming public beta
2020-10-08
Tell HN: DNS censorship has started in Hong Kong
2020-10-08
Ask HN: Anyone here has experience with French Tech Visa for founders?
2020-10-08
