FStar
An ML-like language aimed at program verification
Two fundamental flaws of Y Combinator
2021-02-07
App Startup vs. Content Startup
2021-02-07
Process automation startup UiPath files for IPO expected in first half of 2021
2021-02-07
How to spot a $5M/year scam on the App Store, in 5 minutes flat
2021-02-07
Towards Syncing Factual Data Across Wikipedia, Wikidata and Other Sources [pdf]
2021-02-07
The After Open Source Era Has Started
2021-02-07
The Second Coming of Star Wars
2021-02-07
Ask HN: 3.4M video views, no reactions
2021-02-06
Show HN: Nodewood, a JavaScript SaaS web app starter kit
2021-02-06
Ask HN: What to do when people send promotional emails without consent?
2021-02-06
