FStar
An ML-like language aimed at program verification
llama.cpp now supports StarCoder model series
2023-09-18
Show HN: Stocknear – Copilot for the Stock Market
2023-09-18
Getting Started with JavaScript
2023-09-18
Ask HN: How serious is the WebP bug?
2023-09-18
Show HN: IP Sync – Notifications and automation when important static IPs change
2023-09-18
Ask HN: Freelancing as a Student?
2023-09-18
1 Year of building startups and products in France
2023-09-18
Decoding Startup Language: A Guide to Bootcamps, Incubators, and Accelerators
2023-09-18
Show HN: LLM Powered Keyboard [video]
2023-09-18
Ask HN: How to Measure the Comprehensibility of a Codebase?
2023-09-18
