FStar
An ML-like language aimed at program verification
AI will turn creators into startup studios
2023-05-02
Ask HN: Slippery Slope of Deprioritization?
2023-05-02
Ask HN: Strategies for minimizing product and tech debt in loosely coupled teams
2023-05-02
It's Starting to Get Strange (GPT 4 as a "first rate data analyst")
2023-05-02
The open-source course landing page
2023-05-02
Show HN: Android<->iOS file transfer over auto-configured hotspot
2023-05-02
Ask HN: Advice for (probable) final career language change
2023-05-02
Astronomers discover two super-Earths orbiting nearby star
2023-05-02
Ask HN: How to build an online business in 2023?
2023-05-02
Show HN: LingoSync.ai translates videos into 40 languages
2023-05-02
