FStar
An ML-like language aimed at program verification
Ask HN: Where did “cheers” come from (on web forums/email/etc.)?
2021-02-28
Ask HN: How do you build your funnel?
2021-02-28
If we cannot stop climate change in time, how to mitigate the effects?
2021-02-28
To Restore Civil Society, Start with the Library (2018)
2021-02-28
I Threw Out My To-Do List and Started Making Appointments with Myself
2021-02-28
Show HN: Start Working Remotely
2021-02-28
Are the Egyptian pyramids aligned with the stars?
2021-02-28
Don’t fight, flight (or freeze) your body and emotions
2021-02-28
Notes on the Slate Star Codex Controversy
2021-02-28
Atlantic currents seem to have started fading last century
2021-02-28
