FStar
An ML-like language aimed at program verification
Ask HN: What email SaaS/Newsletter service do you use?
2023-10-08
Questions to ask a teenager to start an important conversation
2023-10-08
Stars Arena Exploited for $3M
2023-10-08
Ask HN: Why have people started including GPT in their usernames?
2023-10-08
Show HN: CSSBattle – A competitive game for web designers and developers
2023-10-08
Show HN: Timbre – An app that finds the best sounds for your sleep
2023-10-07
Show HN: Reliable AI-generated text detection at checkfor.ai
2023-10-07
Ask HN: How does Starlink work for IP address/ASN internationally?
2023-10-07
Could Earth be the only planet with intelligent life?
2023-10-07
Show HN: Cadence Running – Your AI powered running coach
2023-10-07
