FStar
An ML-like language aimed at program verification
Shoelace.css – a back to the basics CSS starter kit
2020-04-08
HCaptcha – Stop more bots. Start getting paid
2020-04-08
Ask HN: Open-source language model to identify bad online behavior?
2020-04-08
Launch HN: Paragon (YC W20) – Visually Build API Workflows
2020-04-08
A startup CEO letter after the layoff
2020-04-08
My project about BDD tests to Living Documentation
2020-04-08
Ask HN: How to turn a “toy” side project into a business?
2020-04-08
Show HN: GoodWealth – Financial Wellness for Startup Employees
2020-04-08
Quantified Self: Get Started
2020-04-07
How to start affiliate marketing and make your first sale?
2020-04-07
