FStar
An ML-like language aimed at program verification
Google search alternative, privacy focused
2019-12-25
2020 Startup Themes – Daniel Gross
2019-12-25
Ask HN: VC spread risk why not employees
2019-12-25
The Fault in the Stars of Kotlin and Gson
2019-12-25
Business Startup in Africa
2019-12-25
Ask HN: Indie business vs. VC funded startup
2019-12-25
DFS, poker, basketball, Starcraft and strong opinions, weakly held
2019-12-25
Ask HN: What are the alternative programs to Y Combinator?
2019-12-25
You Shouldn’t Have to Buy a Book to Understand ‘Star Wars
2019-12-25
Ask HN: Describe an interesting non-tech startup that you've recently discovered
2019-12-25
