FStar
An ML-like language aimed at program verification
Ask HN: Favorite examples of publicly available Airflow repos?
2023-08-14
Show HN: Efficient and secure management of data across multiple users
2023-08-14
Show HN: LLMs can generate valid JSON 100% of the time
2023-08-14
Tips to get noticed by target audience
2023-08-14
Design considerations for RAG application in production mode
2023-08-14
AI startup Anthropic gets $100M to build custom LLM for telecom industry
2023-08-14
Startup Founders Handbook 101 EP1: Fundraising – 251 Questions and 11 Categories
2023-08-14
Show HN: LotseAI – Jarvis for Your Business
2023-08-14
Show HN: Epsilla – Open-source vector database with low query latency
2023-08-14
Show HN: Watermelon – Source-available passive documentation search engine
2023-08-14
