FStar
An ML-like language aimed at program verification
Ask HN: New Founder Failures
2023-09-26
Show HN: Cels – A bit less YAML/JSON struggle
2023-09-26
ER doctor on what AI startups get wrong about “ChatGPT for telehealth”
2023-09-26
Show HN: Mail Memories – Export all your Gmail images
2023-09-26
David McCallum: late ‘NCIS’ star also created one of rap’s most iconic samples
2023-09-26
Ask HN: Tips for Solopreneur?
2023-09-26
Startup Army: How the War in Ukraine Is Rewriting the Future of Defense Tech
2023-09-26
Show HN: Receive new startup leads every month
2023-09-26
AI startup Lamini bets future on AMD's Instinct GPUs
2023-09-26
Ollama for Linux – Run LLMs on Linux with GPU Acceleration
2023-09-26
