FStar
An ML-like language aimed at program verification
Hey now, you’re an all-star
2021-02-10
Startup backed by Reddit co-founder helps Twitter users block trolls
2021-02-10
Ask HN: What are the best nd knwn ways to acquire clients for an app dev company
2021-02-10
Waiting 10 years to start eliminating emissions to cost more than $3.5T
2021-02-10
Who started modernity? Meet the Italian capitalist who launched our world
2021-02-10
The connected battlespace, part two: The fault in our (joint) stars
2021-02-10
Ask HN: What interesting idea/problem worth solving you hiding for long time?
2021-02-10
SaaS Trials: Get More Users from Trial Start to Paying Customer
2021-02-10
Excel to SQL – Bridging the Gap Between Business Analysts and Developers
2021-02-10
Ask HN: Best [audio] books on how to create a startup during social distancing
2021-02-10
