FStar
An ML-like language aimed at program verification
Strength training AND flexibility/Posture in an app
2021-09-15
MVT over MVP: Use this process to evaluate startup ideas before building
2021-09-15
China’s Biggest Movie Star Was Erased from the Internet
2021-09-15
Ask HN: How do I unload my failed startup’s $250k domain name?
2021-09-15
Ask HN: Anyone else using Flutter Web
2021-09-15
Ask HN: SDE Interviews getting more difficult?
2021-09-15
Glean - the work assistant that searches across all your company's apps
2021-09-15
Prediction: YC startup Mighty will be new default infrastructure as web VIP pass
2021-09-15
Generating Safer Workout Routes at Night
2021-09-15
Microsoft accounts can go passwordless, making “password123” a thing of the past
2021-09-15
