FStar
An ML-like language aimed at program verification
The prank cursor that resulted in employee being fired before they even started
2020-11-10
I finally got myself to start exercising
2020-11-10
Tips to build an online sales experience that makes your company more money
2020-11-10
Ask HN: When to Use a Dev Shop?
2020-11-10
$6B hedge fund vs. $0 newsletter writer
2020-11-10
What It Costs to IPO
2020-11-10
Deepfake music created to sound like Frank Sinatra and other dead stars
2020-11-10
Why fast and frequent iterations are crucial to your startup’s success
2020-11-08
Ask HN: Boutique Hardware Startups?
2020-11-08
An Extreme Simulation of the Universe's First Stars – Universe Today
2020-11-08
