FStar
An ML-like language aimed at program verification
Ask HN: Curious about Ansible but afraid or blocked on getting started?
2022-02-28
Ask HN: Should I use time-series DB for real-time chat app?
2022-02-28
I'm common as muck and spent £150 to try a Michelin star restaurant
2022-02-28
Show HN: Language aware diff on GitHub PRs
2022-02-28
I feared remote work would kill my startup’s culture. Here’s why it didn’t
2022-02-28
Ask HN: Who would be interested in a platform for text based job interviews
2022-02-28
Ask HN: How do you judge if an employee should be retained?
2022-02-28
Switzerland adopts EU sanctions against Russia
2022-02-28
Russia Wants Your Startups
2022-02-28
Ask HN: How do you get work done while there is a war in Europe?
2022-02-28
