FStar
An ML-like language aimed at program verification
Ask HN: How do I become an advisor to a startup?
2020-08-28
Ask HN: How do you stay motivated when fear takes over?
2020-08-28
$25k accelerator for startups in regulated industries
2020-08-28
Ask HN: What is the best way to get started with D3?
2020-08-28
Launch HN: SuperTokens (YC S20) – Securely manage session tokens
2020-08-28
Ask HN: How does your startup estimate long-term releases/roadmap using agile?
2020-08-28
Ancient star explosions revealed in deep-sea sediments
2020-08-28
Starting a Career in Tech
2020-08-28
Startup ideas generated by GPT-3
2020-08-28
SpaceX Can Conduct Critical Starship Booster Hop in October Says Musk
2020-08-28
