FStar
An ML-like language aimed at program verification
Ask HN: Dashboard with muteable notifications for scripts and cron jobs
2022-09-05
Ask HN: What your experience working with freelancers?
2022-09-05
Ask HN: What tech-stack would you use for the following?
2022-09-05
1.7B years ago Earth had a natural nuclear reactor
2022-09-05
'Blockchain is bunk': Crypto critics find their voice
2022-09-05
Ask HN: How to implement Universal Login with BaaS solutions?
2022-09-04
Ask HN: Management exp 0/10, coding and idea 10/10, should I do startup?
2022-09-04
US Mortgage Lenders Are Starting to Go Bankrupt
2022-09-04
Stargazing Pictures
2022-09-04
Ask HN: Is anyone using GCP CloudRun in prod?
2022-09-04
