FStar
An ML-like language aimed at program verification
Ask HN: How widespread are these VC shenanigans?
2020-03-04
An 11-year-old Star Wars fan got a R2-D2 bionic arm
2020-03-04
SoftBank-backed Indian startup Oyo to cut 5k jobs globally
2020-03-04
What is and how to start with Decentralized Finance (DeFi)
2020-03-04
Getting Started with Angular Effects
2020-03-04
Stars Realigned: Improving the IMDB Rating System
2020-03-04
How to build a privacy first startup
2020-03-04
List of free stock API for fintech startups
2020-03-03
Let's make remote work mainstream for synchronous, verbal-communication teams
2020-03-03
Maple Media has acquired the Scanbot app
2020-03-03
