FStar
An ML-like language aimed at program verification
Will be starting a full time job after years of freelancing
2020-01-12
Ask HN: How does one get started in Product Management?
2020-01-12
Ask HN: How to access IaaS and on-prem applications in zero trust fashion?
2020-01-12
Show HN: A marketplace for Startups and experts in their industries
2020-01-12
'Right-to-repair' fight extends from iPhones to tractors
2020-01-12
How can we help the homeless? Let’s start by asking them
2020-01-12
Two women quietly reading books in an SF bar started an introvert revolution
2020-01-12
Gettings Started with Feature Flags and Progressive Delivery
2020-01-11
Algorithic Art Assembly, 2020, San Francisco, March 27/28th
2020-01-11
Ask HN: What’s the best business you can start with $250k?
2020-01-11
