FStar
An ML-like language aimed at program verification
The 'star-fiend' who unlocked the Universe
2021-03-14
StarChild: A Learning Center for Young Astronomers
2021-03-14
SpaceX just launched a Falcon 9 rocket on a record 9th flight, stuck the landing
2021-03-14
Ask HN: The nature of opposite responses in arguments
2021-03-14
Show HN: I made a Preact Chrome Extension Starter Kit
2021-03-14
Ask HN: Is there a book that teaches you dark patterns of office politics?
2021-03-14
Stargazers Map
2021-03-14
Ask HN: What are the security measures you follow in your SaaS startup?
2021-03-14
Starting an Open Source Project
2021-03-13
FAA's final drone rules start taking effect April 21st
2021-03-13
