FStar
An ML-like language aimed at program verification
World 2.0 Startups
2020-05-28
The Toronto Star’s owner dreamed it would be a nonprofit. It’s being sold to PE
2020-05-28
Ask HN: Voice Reminder App for iOS?
2020-05-28
Cool retention hacks for your startup
2020-05-28
Show HN: To Listen to Any Article, Just Add Playthis.link to the URL
2020-05-28
Next Billion Dollar Startups
2020-05-28
Started a 2 min daily newsletter about Bitcoin, free forever. Hope you like it
2020-05-28
In your startup pitch deck, you need to get the team slide right
2020-05-28
Startup Blink – Global Startup Ecosystems Ranking
2020-05-28
Show HN: Nexus – Free Avatar, Logo, and URL Enrichment APIs
2020-05-28
