FStar
An ML-like language aimed at program verification
2 years as a solo product manager building a minimalistic chatbot
2022-08-02
Ask HN: Does anyone values code quality at all?
2022-08-02
Apple is just getting started with Apple Silicon
2022-08-02
Ask HN: What startsups made the best early-tech decisions?
2022-08-02
To Cut Plastic Waste Out of Your Life, Start Small
2022-08-02
Launch HN: DeploySentinel (YC S22) – End-to-end tests that don't flake
2022-08-02
Show HN: Simplenote – Notes with support for publishing (hosted, Markdown)
2022-08-02
Where to Start with DevSecOps
2022-08-02
ASK HN: Am I a Copycat?
2022-08-02
Coding as a greybeard
2022-08-02
