FStar
An ML-like language aimed at program verification
Ask HN: How to study a language with FT job and side hustle?
2022-11-20
CBDC Race Has Started: What Should We Expect from It?
2022-11-20
Ask HN: How worried should I be about prolonged exposure to a toxic gas?
2022-11-20
Simple Sabotage Field Manual by the CIA
2022-11-20
Ask HN: Where do hackers meet business hustlers?
2022-11-20
Ask HN: How to learn enough to be able to implement machine learning papers?
2022-11-20
Sweet Shell: With Oh-My-Zsh, SpaceVim, Starship, True Color, and Demo Mode
2022-11-20
Ask HN: Frameworks for evaluating startup and product ideas
2022-11-20
Tell HN: (weirdly, it works now) DuckDuckGo is blocked by Indian govt
2022-11-20
Ask HN: What are some startups that failed because of tone-deaf founders?
2022-11-20
