FStar
An ML-like language aimed at program verification
Using a podcast to tell the story of your startup
2021-01-04
Ask HN: I could use some career advice
2021-01-04
Ask HN: What can I do to better stimulate my mind for business ideas?
2021-01-04
Qt LTS repositories going comercial-only, starting tomorrow
2021-01-04
CPA vs. MBA: What is their true value?
2021-01-04
Apple Veterans’ Lidar Startup Adds $200M to SPAC Deal
2021-01-04
Lidar startup Aeva adds $200M to SPAC deal
2021-01-04
Standford: Slicing Pie – Fair Equity Split in Early or Bootstrapped Startups
2021-01-04
Tell HN: Facebook leaks the contacts of any not-on-Facebook email address
2021-01-04
Ask HN: Are software engineers unsuited to creating an MVP and lead a startup?
2021-01-04
