FStar
An ML-like language aimed at program verification
Ask HN: What should I put in my “computer person” handbag?
2023-05-29
Ask HN: Are you getting GPT-Fatigue?
2023-05-29
My startup crossed $2M/yr and now co-founder is going for a power grab
2023-05-29
Edsger Dijkstra: Why numbering should start at zero (1982) [pdf]
2023-05-29
Ask HN: Can I ask for an acqui-hire?
2023-05-27
My God, It's Full of Stars
2023-05-27
High-tech farm startups are laid low by financing drought, pests
2023-05-27
Show HN: I published demo for my CRM boilerplate project
2023-05-27
Starship – Official Recap of the First Integrated Flight Test [video]
2023-05-27
Show HN: Free AI photos in minutes, realistic human models, your own products
2023-05-27
