Automated Lean Proofs for Every Type(galois.com)

28 points by surprisetalk 1 year ago | 1 comments

How the Claude Code team does code review(claude.dev)

407 points by pretext 10 days ago | 386 comments

An Anthropic engineering blog post by Addy Osmani describing how the Claude Code team reviews the high volume of code produced by AI agents while minimizing human review time.

Cerebras Code(cerebras.ai)

423 points by d3vr 1 year ago | 165 comments

Cerebras blog post announcing Cerebras Code Pro ($50/month) and Code Max ($200/month) plans offering fast Qwen3-Coder inference at up to 2,000 tokens per second.

Snorting the AGI with Claude Code(kadekillary.work)

290 points by beigebrucewayne 1 year ago | 183 comments

ChatGPT is NOT a LLM – GPT is(vincirufus.com)

14 points by vincirufus 1 year ago | 11 comments

100k TPS over a billion rows: the unreasonable effectiveness of SQLite(andersmurphy.com)

344 points by speckx 10 months ago | 124 comments

Blog post by Anders Murphy benchmarking SQLite at 100k transactions per second over a billion rows, arguing its embedded single-writer design helps it scale.