FStar
An ML-like language aimed at program verification
Ask HN: Founders of startups, do you expect equity to be enticing?
2020-06-02
Microsoft Takes on Zoom and Slack in a Battle for Your Work Computer
2020-06-02
Ask HN: If you're so smart how come you're not rich?
2020-06-02
ADHD tech stack: auto time tracking
2020-06-02
Physical distancing, face masks, and eye protection to prevent spread of COVID19
2020-06-02
iXsystems Starts De-Emphasizing FreeBSD for TrueNAS Scale Out Project
2020-06-02
REvil Ransomware Gang Starts Auctioning Victim Data
2020-06-02
Ask HN: How do I debug my back end in production?
2020-06-02
Start your l10n process at the design stage and accelerate your time to market
2020-06-02
Ask HN: How do you find an *expert* in CS?
2020-06-02
