FStar
An ML-like language aimed at program verification
Tell HN: Spotify says either give us your home address or you'll be charged
2021-08-01
Pre-jitting in Lambda (using CrossGen) to reduce .NET cold starts
2021-08-01
Ask HN: Firefox is unable to resolve Gmail DNS?
2021-08-01
Prediction: YC startup Mighty will be new default infrastructure as web VIP pass
2021-08-01
Why Speaking English May Spread More Coronavirus Than Some Other Languages
2021-08-01
Rethinking Problem Solving: Starting with Feelings and Problems
2021-08-01
The Shine Starts to Come Off President Macron (2017)
2021-08-01
Neuralink Elon Musk’s brain computer startup raises $205M
2021-08-01
Neat Elixir trick: Libraries can start processes too
2021-08-01
Science Reveals the Best Age to Start a Thriving Business
2021-08-01
