FStar
An ML-like language aimed at program verification
You don't have to have a great design in order to start
2022-12-18
Scientists call for action to help sunflower sea stars
2022-12-18
Show HN: Glue4 is a Redux extension that handles your back end concerns
2022-12-18
Show HN: Decorate your Christmas tree with cards from your friends and family
2022-12-18
Sciral 1 year-1 page calendar – other options?
2022-12-18
Notre Dame’s uncovered tombs start to reveal their secrets
2022-12-17
Show HN: baseline – a free, open-source journaling and mood tracking app
2022-12-17
With IT spending forecast to rise in 2023, what does it mean for startups?
2022-12-17
Show HN: Textual Markdown – a Markdown “browser” in the terminal
2022-12-17
An Earth-sized planet found in the habitable zone of a nearby star
2022-12-17
