FStar
An ML-like language aimed at program verification
Ask HN: How to make a technical eBook beautiful?
2020-02-04
Some humble advice on pitching your startup (2014)
2020-02-03
The Skewed and the Screwed: When Mating Meets Politics
2020-02-03
Interactive Singles Map by Gender – USA (2013)
2020-02-03
GetSOC2 – Guide Startups in B2B Sales Cycle (Legal, Procurement and InfoSec)
2020-02-03
Ask HN: Regaining Confidence and Motivation After Failed Startup?
2020-02-03
A Scrappy Iowa Startup Is the ‘It’ Read for Political Insiders
2020-02-03
Stuff I said at Kansas City Startup Weekend that sounded smart (2011)
2020-02-03
Startup Canon
2020-02-03
Getting Started with Redis 6 Access Control Lists (ACLs)
2020-02-03
