FStar
An ML-like language aimed at program verification
Ask HN: How to Choose Problem?
2020-02-28
From 0 to 100 GitHub stars in a week
2020-02-28
Released my first game to steam today (built with React, Node and Socket.io)
2020-02-28
Switzerland Federal Council bans large-scale events
2020-02-28
Startup Idea: A Better WeWork
2020-02-28
US Air Force starts effort to buy a ‘flying car’
2020-02-28
Startup Idea: The NeoBank I’d Start
2020-02-28
Why Tech Startups May Be a Safe Haven for Investments, Even Amidst a Pandemic
2020-02-28
Microfunds as a way to gain early insight into promising startups
2020-02-26
Interview: Joe Gatto, StarMine Corporation (2003)
2020-02-26
