FStar
An ML-like language aimed at program verification
Request for actual startup downturn *tactics* founders need
2022-07-20
Launch HN: Bend (YC S22) – Automatically measure your company's carbon footprint
2022-07-20
How Snyk proved that focusing on developers is the new road map for AppSec
2022-07-20
Neuralink co-founder Paul Merolla departs Musk-backed startup
2022-07-19
Chevy’s first electric Blazer starts at $47K and offers FWD, RWD, or AWD options
2022-07-19
X-Rays Could Carry Quantum Signals Across the Stars
2022-07-19
Ask HN: Help a first-time founder? Seeking owners of US software dev agencies
2022-07-19
Benchmarks on Trino (Fka PrestoSQL) for Long-Running Data Pipeline Queries
2022-07-19
Ask HN: Solo founder without an online presence?
2022-07-19
TikTok Starts Layoffs in Company-Wide Restructuring
2022-07-19
