FStar
An ML-like language aimed at program verification
Ask HN: How did your startup get the first payment?
2022-09-01
Four Types of Compensation Management for Scaling Startups
2022-08-31
DoH, DoT and plain old DNS
2022-08-31
Cal ISO: Excessive heat starting tomorrow will stress energy grid [pdf]
2022-08-31
Show HN: OpenBracket, a collaborative code editor for technical interviews
2022-08-31
Launch HN: Payload (YC S22) – Headless CMS for Developers
2022-08-31
Show HN: An opinionated and statically-typed TypeScript SDK generator
2022-08-31
Ask HN: How do I expand my worldview and meet smart people online?
2022-08-31
Startup wants to build a space station that refuels satellites by 2025
2022-08-31
Ask HN: Anyone have a realization to stop working so much at job?
2022-08-31
