FStar
An ML-like language aimed at program verification
Ask HN: How many database products are ClickHouse forks or embed it?
2022-11-11
Ask HN: What shell do you use, if not *sh?
2022-11-11
Show HN: A silly JavaScript-free web browser in the browser
2022-11-11
Death of a star reveals midsize black hole lurking in a dwarf galaxy
2022-11-11
SpaceX shakes up Starbase leadership in Starship push
2022-11-11
Is algae the new kale?
2022-11-11
Ask HN: How to do sales in 2022/2023?
2022-11-11
Rare, midsize black hole caught devouring a star
2022-11-11
They made a material that doesn't exist on Earth
2022-11-11
Ask HN: How do I improve this business?
2022-11-11
