FStar
An ML-like language aimed at program verification
Don't ask a stranger to watch your laptop at starbucks
2020-06-11
Ask HN
2020-06-11
Ask HN: If you are PM, do you code? What do you use and why?
2020-06-11
After years of hype, many people feel AI has failed to deliver
2020-06-11
NASA awards Pittsburgh startup Astrobotic to send water-hunting rover to moon
2020-06-11
SpaceX tests twisting technique to make Starlink satellites less visible
2020-06-11
Empire Strikes Back: How Star Wars Nearly Wasn't
2020-06-11
List of Curated Startup Resources
2020-06-11
Node.js Is Bad Ass Rock Star Tech
2020-06-11
Ask HN: Can I ever recover if I did not have an undergrad in CS or Math
2020-06-11
