FStar
An ML-like language aimed at program verification
I helped start a digital banking company
2020-04-05
UK: 'Dogfight' looms as landlords start suing restaurants over unpaid rent
2020-04-05
Start open sourcing government software
2020-04-05
New guidance on SBA loans means most startups still excluded from $349B stimulus
2020-04-05
Ask HN: Favorite books on cognitive development for toddlers?
2020-04-05
AWS products and services naming nomenclature starting with 'Amazon' vs. 'AWS'
2020-04-05
How to Launch Your Startup over the Next 3 Months (Step by Step Playbook)
2020-04-05
Ask HN: Is HN Dead?
2020-04-05
Defining the metrics that matters for startups
2020-04-05
School districts start banning Zoom because of online security issues
2020-04-05
