FStar
An ML-like language aimed at program verification
Bootstrapped startup declined a $30M investors' offer with $15M cash-out [video]
2021-02-26
Startups Sometimes Stretch the Truth
2021-02-26
Ask HN: Do you want to start your own business, but don't have any strong idea?
2021-02-26
Reclusive neutron star may have been found in famous supernova
2021-02-26
Launch HN: Insight (YC W19) – an iOS browser with easy-to-make extensions
2021-02-26
Pro Tip: Don’t overcomplicate content storage / the database from the start
2021-02-26
Corellium Joins Forces with Azeria Labs to Build iPhone/Android Research Heaven
2021-02-26
Hacking Communities: Principles for starting or growing a community
2021-02-26
Decolonizing Electronic Music Starts with Its Software
2021-02-26
Code Archaeology with “Super Star Trek”
2021-02-26
