FStar
An ML-like language aimed at program verification
Show HN: Open Startup List got featured on a tech newspaper
2020-04-07
Jack Dorsey starts startsmall LLC to fund global Covid-19 relief
2020-04-07
Nyan - The easiest way to start coding games and graphics projects in Python
2020-04-07
Ask HN: What's the baseline for cloud tech knowledge in modern web dev jobs?
2020-04-07
Active startup funder during pandemic
2020-04-07
Ask HN: As a dev/designer business owner, do your partners try to “manage” you?
2020-04-07
Should I work for Google if I want to create a startup at the same time?
2020-04-07
Ask HN: Good open-source software documentation examples
2020-04-07
Choosing the wrong programming language to build a startup
2020-04-07
Plan that could allow baseball season to start as early as May in Arizona
2020-04-07
