FStar
An ML-like language aimed at program verification
Starship chilled. Starship pressurized. For the first time, it didn’t explode
2020-04-28
Getting started with GitHub Actions: concepts and tutorial
2020-04-28
OnX Is Hiring a Back End Engineer (Montana or Remote, USA)
2020-04-27
Buster's tips on how to start a business
2020-04-27
Ask HN: How do I migrate my team to less meetings and more asynch communication?
2020-04-27
Ask HN: Canadian founders/consultants, what are options for ext. health benefits
2020-04-27
Ask HN: Programmers who worked at small and big companies, which do you prefer?
2020-04-27
Ask HN: Resources for hardening software handling payments?
2020-04-27
YouTube conspiracy videos falsely claim a US Army reservist started the pandemic
2020-04-27
The results of coronavirus ‘serosurveys’ are starting to be released
2020-04-27
