FStar
An ML-like language aimed at program verification
Show HN: Safari booking in Africa as easy as booking an all-inclusive
2023-05-30
ChatGPT Expert Builders for React, Fireproof, and Antd, Tailwind, and Emotion
2023-05-30
American Cities Are Starting to Thrive Again. Just Not Near Office Buildings
2023-05-30
What you need to start your digital product business?
2023-05-30
Ask HN: If you use an LLM, which one do you use?
2023-05-29
Ask HN: Is there anything that GA4 does better than UA?
2023-05-29
The Camera, Van Gogh and “The Starry Night”
2023-05-29
I wrote a static web page and accidentally started a community
2023-05-29
Ask HN: Which collaboration tool do you use to iterate to product/market fit?
2023-05-29
Show HN: iCal RSVP Helper – Easily reply to calendar invitations
2023-05-29
