FStar
An ML-like language aimed at program verification
Shub.one A new business social media platform
2020-01-01
Ask HN: What are most recommended books for startups?
2020-01-01
Show HN: Store your DB in a json file
2020-01-01
Retire Fossil Fuels with Divestment
2020-01-01
Ask HN: What niche blogs are worthwhile to follow?
2020-01-01
Angular vs. React – what you'll choose in 2020 if you are starting from scratch?
2020-01-01
How I Started My Company While Working Full-Time
2020-01-01
How 2020s Will Look for Indian Startup Ecosystem
2020-01-01
Ask HN: How did you do with your 2019 goals?
2020-01-01
Ask HN: Full-on machine learning for 2020, what are the best resources?
2019-12-31
