FStar
An ML-like language aimed at program verification
Founder PSA: Stripe Atlas Locks Your Account Until Your Application Is Submitted
2021-02-15
Launch HN: Lendtable (YC S20) – Helping you max out your 401(k) match and ESPP
2021-02-15
Show HN: ToonClip – A Flash-like animation editor that runs in the browser
2021-02-15
Ask HN: Any advice for leaving my UI/UX dev career, possibly to Sales / AE?
2021-02-15
Ask HN: People who hate talking on the phone, how do you deal with remote work?
2021-02-15
Media files extracted from North Korea's Red Star OS
2021-02-15
Google slapped in France over misleading hotel star ratings
2021-02-15
Launch HN: Noya (YC W21) – Direct air capture of CO2 using cooling towers
2021-02-15
Launch HN: Pyroscope (YC W21) – Continuous profiling software
2021-02-15
Ask HN: How to come back after blanking out during technical interviews?
2021-02-15
