FStar
An ML-like language aimed at program verification
Ask HN: Resources for Writing Fantasy/Fiction
2023-02-21
1978 strategy game Super Star Trek reimagined with Star Trek 25th Anniversary
2023-02-21
Struggling Boston Internet startup Starry files for bankruptcy
2023-02-21
Ask HN: Would a DB of startup tech stacks be valuable to you?
2023-02-21
Launch HN: Moonrepo (YC W23) – Open-source build system
2023-02-21
Ask HN: Best Resources to Learn ML Infra and API Creation for Web Devs?
2023-02-21
Tell HN: Can't turn off “grind mode”
2023-02-21
UK quantum computing startup Quantum Motion raises $50.5M
2023-02-21
Ask HN: Canadian Starting a Company in Bayarea
2023-02-21
Show HN: Quiltt Connector, Embeddable onboarding for finance products
2023-02-21
