FStar
An ML-like language aimed at program verification
Ask HN:Why did I fail to learn web development?
2023-01-12
Ask HN: What's your choice for the classic web app stack?
2023-01-12
How to Use OSS: Why You Should Throw Away Airflow and Start Using Dagster
2023-01-12
Show HN: Discover insights about any GitHub repo
2023-01-12
Startup Uses GPT-3 to Provide Counseling and Then Realizes It 'Feels Weird'
2023-01-11
GitHub Star History Best of 2022
2023-01-11
Tell HN: I made an Alien UFO scavenger hunt for son's 10th birthday
2023-01-11
Show HN: Val Town – A Cloud Scripting Site
2023-01-11
SaaS Startup’s Expenses, Equity Allocation, & Marketing Results After 6 Years
2023-01-11
Ask HN: How to learn more about servers?
2023-01-11
