FStar
An ML-like language aimed at program verification
Show HN: Product Requirement Docs Using AI
2023-02-03
Manually attaching alphanumeric IDs to notes
2023-02-03
Ask HN: How would you host video if you were building “the next TikTok”?
2023-02-03
Ask HN: What is the best way to build a network of smart folks?
2023-02-03
Show HN: DocGPT -Bringing AI Content Writer to Google Docs a new way to get done
2023-02-03
ChatGPT, LLMs and Foundation – look into hype and implications for startups
2023-02-03
The golden era of being an open startup is gone
2023-02-03
Tell HN: Linear Algebra Study Group (Strang's book) starting next week
2023-02-03
Spotify founder Daniel Ek officially launches new startup – taking on healthcare
2023-02-03
Google invests $300M in AI startup Anthropic
2023-02-03
