FStar
An ML-like language aimed at program verification
StarFox dev explains how cut features make better games
2022-05-07
Show HN: A curated list of my GitHub stars
2022-05-07
Ask HN: How do you relax after work?
2022-05-07
Show HN: Start selling my open source app as NFT on Opensea just for 0.05 ETH
2022-05-07
Ask HN: We Already Pivoted
2022-05-07
Ask HN: Do you have trouble finishing reading a paragraph if there's a typo?
2022-05-07
Drawing cloud architecture diagrams in Python
2022-05-07
Ask HN: Is your company ordering a hiring freeze?
2022-05-07
Nectome MVP
2022-05-07
The world’s biggest hydrogen fuel cell EV has started work in South Africa
2022-05-07
