FStar
An ML-like language aimed at program verification
I'm done being an underpaid and mistreated wage slave. I am going out on my own.
2023-04-01
Show HN: Bash-Gpt.sh – Easily Query OpenAI's GPT Models from Bash
2023-04-01
Should Reddit allow Startups on it's Platform?
2023-04-01
Italy curbs ChatGPT, starts probe over privacy concerns
2023-03-31
Adam Neumann Considers Taking New Startup Flow to Saudi Arabia
2023-03-31
Show HN: MasterPlan – A complete audio mastering workflow in a plugin
2023-03-31
PSA: Always specify the LLM model
2023-03-31
Nashville Entrepreneur Deanna Meador Closed a Seed Round in Just 8 Hours
2023-03-31
Show HN: Deepsearchjs
2023-03-31
Ask HN: Google Ads starts billing account without CVC or 2 step auth – Illegal?
2023-03-31
