FStar
An ML-like language aimed at program verification
Ask HN: Coming to Bay Area tomorrow, where to start?
2023-07-19
Launch HN: Twenty.com (YC S23) – Open-source CRM
2023-07-19
Ask HN: How can I learn how to write professional production level code?
2023-07-19
Impressive performance gains in moving TypeIt from Gatsby to Astro
2023-07-19
Show HN: Scenic – explore and find interesting places along a route using GPT4
2023-07-19
Blizzard’s bringing its PC games to Steam, starting with Overwatch 2
2023-07-19
Show HN: CLI for testing and evaluating LLM prompts and outputs
2023-07-19
Two-faced star with helium and hydrogen sides baffles astronomers
2023-07-19
Why We Started Retro
2023-07-19
Showrunner AI to create South Park-like TV shows with you as the star
2023-07-19
