FStar
An ML-like language aimed at program verification
I left consulting to start working at a startup
2020-02-18
Tech-starved government seeks industry’s best, brightest
2020-02-17
How to escape the greatest serial killer of startup founders
2020-02-17
Ask HN: How would you apply startup lessons to a solo musical career?
2020-02-17
Launch HN: Motion (YC W20) – defense against online distractions and addictions
2020-02-17
SpaceX successfully launches 60 more Starlink satellites, misses booster landing
2020-02-17
For Night Owls, the Day Starts with a Nocturnal Morning
2020-02-17
SpaceX first stage landing failed for Starlink-4 launch
2020-02-17
PullRequest snags Moonlight in case of startup buying startup
2020-02-17
Sweat Equity Ventures' new venture model: Send partners, not cash, to startups
2020-02-16
