FStar
An ML-like language aimed at program verification
Ask HN: How do you stay focused when learning or working on something?
2020-11-26
Ask HN: Is it OK to not have a “thing”?
2020-11-26
SEC Charges E-Commerce Startup and CEO with Defrauding Investors
2020-11-26
The biggest social media marketing marketplace (prices start at $0.01/1k)
2020-11-26
Starlink Teardown: Dishy Destroyed
2020-11-26
Understanding JavaScript and DOM basics before getting lost in frameworks
2020-11-26
Ask HN: Tips for building web-app permissoned access
2020-11-26
Ask HN: What does “platform” mean for software/web?
2020-11-26
Starlink Teardown
2020-11-26
New Covid-19 tracking app will anonymously notify contacts
2020-11-26
