FStar
An ML-like language aimed at program verification
Show HN: PicnicHR – Simple HR and time-off tracking for your team
2023-08-29
Ask HN: Anyone know why Free Pascal's startup is so fast?
2023-08-29
Unsolicited Advice on Hiring for Founders
2023-08-29
Show HN: Langfuse – Open-source observability and analytics for LLM apps
2023-08-29
Show HN: Gradient – a web API for fine-tuning and deploying Llama2
2023-08-29
Ask HN: Which programming language to learn in AI era?
2023-08-29
AngelList’s Equity Blocks – Instantly issue equity
2023-08-29
Add-to-Homescreen Mobile Websites: A Viable Option for Startups in 2023
2023-08-29
Ask HN: Why did Python win?
2023-08-29
Tell HN: NW Indian state Himachal Pradesh suffers ~5% GDP loss after monsoon
2023-08-29
