FStar
An ML-like language aimed at program verification
Rules of Management in a Startup
2020-10-26
How we got funding for our Brazilian startup from US investors
2020-10-26
SEC Proposal Allowing Compensation for Helping Find Startup Investors
2020-10-26
Surveillance Startup Verkada Used Own Cameras to Harass Coworkers
2020-10-26
Convincing my friend to become an indie hacker [Newsletter]
2020-10-26
Fancy JavaScript excel library for browsers and node: xlsx-import
2020-10-26
Wozniak, Kalanick, and Chesky on starting small
2020-10-25
Downvotes: A discussion on their appropriate use
2020-10-25
Ask HN: I don't use an IDE, should I be using one?
2020-10-25
Launch HN: Laylo (YC S20) – Fan reminders for content, merchandise, and events
2020-10-25
