FStar
An ML-like language aimed at program verification
Ask HN: Whats your browser start page?
2023-03-23
Starbucks Urged by NYC Pension Funds to Order Labor Rights Audit
2023-03-23
Remote work is starting to hit office rents
2023-03-22
Mozilla.ai: A startup – and community – building trustworthy and open-source AI
2023-03-22
Therapy now covered as a business expense for 14K+ startup founders
2023-03-22
Today Human-Machine War Started
2023-03-22
Ask HN: Want to create a drawing app, where do I start?
2023-03-22
Vinod Khosla: 70-80% of VCs Add Negative Value to Startups (2013)
2023-03-22
Researcher Access Program for OpenAI's Codex
2023-03-22
React GH issue: List Vite next to Next.js as a way to start a new React project
2023-03-22
