FStar
An ML-like language aimed at program verification
Getting Started with Chronicle Queue
2020-04-26
Joy: Web framework with Clojure syntax, fast startup and low memory usage
2020-04-26
Surprising way that China's tech startups are using to scale across Africa
2020-04-26
Why Tanzanian Apps Fail (I worked for 10 Tanzanian startups from idea to launch)
2020-04-26
Elon Musk reveals SpaceX will launch its Starlink internet service
2020-04-26
Reflections on hackathons, open-source and startups
2020-04-26
Ask HN: How many hires post-YC?
2020-04-26
Star orbiting Milky Way’s black hole, moving exactly as Einstein predicted
2020-04-26
Work for anyone with reduced hours, furloughed, or in between jobs
2020-04-26
Ask HN: Have you ever hit absolute rock bottom?
2020-04-26
