FStar
An ML-like language aimed at program verification
India starts vaccinating 1.3B people
2021-01-16
Why we started 0 Permission Zero Authority?
2021-01-16
Russia Might Issue Fines for Using SpaceX Starlink Internet Service
2021-01-16
Starting a Fediverse Server
2021-01-16
Ask HN: Has anyone used an off-the-shelf SaaS starter like Bullet Train?
2021-01-16
Ask HN: Long time tech folks, what's your story?
2021-01-16
If Covid-19 Did Start with a Lab Leak, Would We Ever Know?
2021-01-16
What classic game would you like to see remastered?
2021-01-16
Google Safe Browsing can kill a startup
2021-01-16
2021 is feeling like year 1 a.C. (after Covid)
2021-01-16
