FStar
An ML-like language aimed at program verification
Study: Severe opioid overdoses up by nearly one-third during pandemic
2021-08-01
Open Sourcing and Startup Funding: Evidence from GitHub [pdf]
2021-08-01
FBI Seized $900K from Safe Deposit Box on 'Pure Conjecture,' Federal Judge Says
2021-08-01
Living with Chronic Pain Can Disrupt Your Emotions at a Chemical Level
2021-07-31
Centenarians have a distinct microbiome that may help support longevity
2021-07-31
Ask HN: Should I be afraid of being myself online?
2021-07-31
Ask HN: Do you have a process or a framework to learn specific skills quickly?
2021-07-31
Ask HN: Short, Interesting, Skimmable Newsletters?
2021-07-30
Founder of embattled electric truck startup Nikola charged with fraud
2021-07-30
Start with the user experience and work backwards to the technology – Steve Jobs
2021-07-30
