FStar
An ML-like language aimed at program verification
Ask HN: Beyond Hello World in multiple languages?
2021-04-14
Ask HN: How to Speak Confidently?
2021-04-14
Show HN: Engineering Onboarding Guide for my startup
2021-04-14
Tanda, retailtech startup from Kenya, has secured funding for regional expansion
2021-04-14
Tactical advice for finding startup ideas
2021-04-13
Japan announces it will dump contaminated water into sea
2021-04-13
Data-labeling company Scale AI is worth $7.3B after new funding round
2021-04-13
Ask HN: Working with MBA Partners
2021-04-13
Tell HN: Spectrum iOS app using info on MacBook's clipboard
2021-04-13
Ask HN: What other news sources do you use?
2021-04-13
