#agentic coding

SpaceX chi 60 tỷ USD mua Cursor, nhưng AI coding agent viết code thay lập trình viên bằng cách nào?

SpaceX chi 60 tỷ USD mua Cursor, nhưng AI coding agent thực sự viết code thay lập trình viên bằng cách nào? Bài giải thích ba thành phần cốt lõi: context engine, planning module và tool-use loop.

Grokking

Cursor huấn luyện mô hình 1,5 nghìn tỷ tham số trên 100.000 GPU, nhưng monomorphization biến mã generic thành mã máy chuyên biệt bằng cách nào?

SpaceX chi 60 tỷ USD mua Cursor với mô hình 1,5 nghìn tỷ tham số. Khi AI sinh mã Rust chứa generic, monomorphization biến mã trừu tượng thành mã máy chuyên biệt cực nhanh tại thời điểm biên dịch.

Jane Street chuyển hướng sang formal methods nhờ AI agentic coding

Jane Street chuyển hướng sang formal methods, tin rằng AI agentic coding sẽ giúp giảm chi phí và tăng lợi ích của công nghệ xác minh phần mềm chính thức.