FStar
An ML-like language aimed at program verification
The State of Startup Funding
2023-06-09
Show HN: Seofor.ai – Track what all AI models say about your brand on one page
2023-06-09
SK Hynix Starts Production of 238-Layer 3D NAND: 2400 MT/s
2023-06-08
Ask HN: How to pre-screen candidates in the age of ChatGPT?
2023-06-08
621-mile range EV battery charges in six minutes and works in any weather
2023-06-08
Eliminate cold starts with Warm Workers
2023-06-08
Implementing a compiler has been an illuminating experience
2023-06-08
Ask HN: Where to start in playing with open source generative AI models?
2023-06-08
Ask HN: How to Advertise to HN Users?
2023-06-08
Chinese Startup Has 621-Mile Battery That Works in High Heat and Extreme Cold
2023-06-08
