FStar
An ML-like language aimed at program verification
Ask HN: How can I help my 40 year old brother get into tech?
2020-10-31
Software Engineering for Startups
2020-10-31
Ask HN: How do you call a Git blog?
2020-10-31
Ask HN: Taking the First Job Offer?
2020-10-30
Food Waste Apps: Reinforcing Food Waste or Fighting It?
2020-10-30
Ask HN: Rewarding someone with SAFE-style equity
2020-10-30
Use Scala in your early stage startup
2020-10-30
Show HN: LaunchAfrica – Find jobs in startup and tech companies in Africa
2020-10-30
YC Startup School for future founders who aren't quite ready to start yet
2020-10-30
Launch HN: Deepnote (YC S19) – A better data science notebook
2020-10-30
