FStar
An ML-like language aimed at program verification
Jack Mallers Started a Podcast: Money Matters. Episode 1: Jack Dorsey
2023-07-06
Has $20B Indian VC Reached Its 20-Year Peak?
2023-07-05
To build AI technology, startups turn to rivals for help
2023-07-05
Steve Wozniak on PC board design
2023-07-05
Startups Get Hip to Hypnotherapy
2023-07-05
Ask HN: Have you noticed random accounts have started following you on Reddit?
2023-07-05
Show HN: I made an open-source template for building multi-tenant apps
2023-07-05
Startups: You Don’t Need a CTO (Yet) (2017)
2023-07-05
Show HN: Blink – Your Personal Amazon Shopping Assistant (Powered by ChatGPT)
2023-07-05
Show HN: Expression calculator and tree structure visualizer
2023-07-05
