FStar
An ML-like language aimed at program verification
Family at the core of S.F. startup. Until it came time for the execs to cash in
2021-03-30
Are remote teams growing slower?
2021-03-30
SpaceX launches Starship SN11 rocket prototype, but misses landing
2021-03-30
SpaceX Launches Starship SN11 Rocket Prototype, but Misses Landing
2021-03-30
Ask HN: Would you be interested in becoming an engineering mercenary?
2021-03-30
Donald J. Trump starts his new independent website
2021-03-30
Ask HN: Easy programmatic access/API for Google/FB/openx campaigns?
2021-03-30
Types from data: Making structured data first-class citizens in F#
2021-03-30
SpaceX loses another Starship prototype as landing sequence fails
2021-03-30
Learn to rebuild product hunt's #1 products with no-code
2021-03-30
