FStar
An ML-like language aimed at program verification
How to start working after you procrastinated the whole day
2020-02-02
What are key ingredients of a startup pitch?
2020-02-02
Visualising “Anti Goals” in Software Projects and Startups
2020-02-02
SoftBank’s first bet in energy storage is a startup that stacks concrete blocks
2020-02-02
Soft ideas aren't a good basis for a startup
2020-02-02
Mark Zuckerberg: I wouldn't start a new company in Silicon Valley today
2020-02-02
How to Run a Business in 2020
2020-02-02
Startup Idea: Find the Best Insurance, FD or Other Financial Product
2020-02-02
A star dies without a bang, revealing the sensitive nature of supernovae
2020-02-02
Startups Need a New Option: Exit to Community
2020-02-01
