FStar
An ML-like language aimed at program verification
Ask HN: Live-code tests for senior dev roles?
2023-08-07
MIT raised millions for startup accused of research misconduct
2023-08-07
Top Y Combinator S22 startups by monthly web traffic
2023-08-07
Ask HN: What are good patters / practices in Machine Learning Development?
2023-08-07
How ChatGPT Saved My Startup
2023-08-07
Show HN: PayPerRun.com – A New Way to Monetize Your Code
2023-08-07
Spring Application Startup Analysis
2023-08-07
Show HN: Axilla – Open-source TypeScript framework for LLM apps
2023-08-07
Ask HN: Who are examples of ethically upstanding founders/CEO to model after?
2023-08-07
Startups embrace OpenAI, but at what cost?
2023-08-07
