FStar
An ML-like language aimed at program verification
Show HN: Startup Viability Calculator
2023-08-11
Show HN: Unearth Lite – ChatGPT-powered location data explorer
2023-08-11
Tell HN: Edamagit (VSCode) is looking for a new maintainer
2023-08-11
Amazon starting to track and penalize workers who work from home too much
2023-08-11
Ask HN: AI, obsolete before you begin?
2023-08-11
REDD and the Green Economy exacerbate oppression and deforestation. Pará, Brazil
2023-08-11
NeurIPS 2023 LLM Efficiency Challenge Starter Guide
2023-08-11
Ask HN: Am I the only one suffering from bullet points fatigue?
2023-08-11
Would shorter-tenure jobs benefit the startup ecosystem?
2023-08-11
Show HN: Ledit – a read-only, client-side only Reddit and HN client
2023-08-11
