FStar
An ML-like language aimed at program verification
Tell HN: Metcalfe's Law Revisited
2020-09-28
Ron Cobb, pioneer in science fiction design ('Star Wars'; 'Alien'), dies at 83
2020-09-28
Ask HN: What is the ideal cryptocurrency and market for salary distribution?
2020-09-28
Ask HN: How to bootstrap marketing without being spammy?
2020-09-28
US Army wants to modify SpaceX’s Starlink satellites for unjammable navigation
2020-09-28
Five Things that Kill Startups with Y Combinator
2020-09-28
Fictional Starships Size Comparison
2020-09-27
Ask HN: What are the *first* steps to take before building an MVP?
2020-09-27
Given my work experience, what should I do?
2020-09-27
Social Gaming Startup Valued at over $1B in Sequoia-Backed Funding Round
2020-09-27
