FStar
An ML-like language aimed at program verification
Ask HN: What should a user know about how HN moderation works in practice?
2022-02-19
Astronomers looked at 260k stars to find alien megastructures in the Milky Way
2022-02-19
Arlan Hamilton wants to reroute how startups hire
2022-02-19
PinePhone Pro – Getting Started
2022-02-19
Ask HN: Best first language for a budding MechE
2022-02-19
Ask HN: What to include in a pitch deck for pre-revenue startup?
2022-02-19
Cohere.ai Raises US$125M
2022-02-19
Install Otomi on AKS to enhance the developer experience
2022-02-19
Ask HN: How to get boring once again?
2022-02-19
PureNix: Write PureScript and transpile it to Nix
2022-02-19
