FStar
An ML-like language aimed at program verification
A community of startups and entrepreneurs with net zero ambition
2020-07-04
A Former Google Executive Takes Aim at His Old Company with a Startup
2020-07-04
Capser (mattress) – All Birds (shoes) any other 1-product startups? (uni paper)
2020-07-04
Ask HN: What are the best sites in 2020 to post articles about programming?
2020-07-04
The Cadence: How to Operate a SaaS Startup
2020-07-04
Show HN: Publish flaring fast blogs with Gatsby and Ghost
2020-07-03
Ask HN: What topics are a must have for a JR server side Java dev?
2020-07-03
This Startup [OhmConnect] Will Pay You to Remote Control Your Fridge
2020-07-03
Startup Narcissism
2020-07-03
Lego sets let you make Warhol, DC, Star Wars art
2020-07-03
