FStar
An ML-like language aimed at program verification
YC Startup Library
2022-08-01
Show HN: ImpactPharm //Get a team consultation with a pharmacist + a physician!
2022-08-01
Nichelle Nichols, who played Lt Uhura in original Star Trek, dies aged 89
2022-08-01
What's happening with startup valuations? Looking at last 4 years of public data
2022-08-01
Oracle starts job cuts in U.S.
2022-08-01
Launch HN: Pandaflow.io – Low-Code Automation Platform
2022-08-01
Security Guide for Startups: How to think about security while moving quickly
2022-08-01
Dropbox for Startups helps founders move fast, stay secure, and reduce paperwork
2022-08-01
Launch HN: Polymath Robotics (YC S22) – General autonomy for industrial vehicles
2022-08-01
Flame is a self-hosted startpage for your server
2022-08-01
