Itamar Friedman, CEO & Co-Founder của CodiumAI – Loạt Phỏng Vấn

Itamar Friedman là CEO và Co-Founder của CodiumAI. Codium tập trung vào “tính toàn vẹn của mã” trong việc tạo mã – tạo mã tự động, giải thích mã và xem xét mã. Họ đã phát hành nghiên cứu về việc tạo ra các giải pháp mã cho các thử thách lập trình cạnh tranh mà vượt trội so với Google DeepMind.

Khi và làm thế nào bạn ban đầu quan tâm đến AI?

Vào năm 2009, tôi làm việc tại Mellanox (Acq. bởi NVIDIA (NVDA )) và học kỹ thuật điện. Khi nhận ra rằng nhiều quá trình phát triển nhàm chán tại Mellanox có thể được tự động hóa bằng các thuật toán học máy, tôi đã thay đổi chuyên ngành của mình thành tối ưu hóa và học máy và hoàn thành thạc sĩ trong lĩnh vực này. Vào năm 2010, tôi đã bắt đầu làm việc trên một dự án học sâu (với 3 lớp mạng nơ-ron sâu) đặt nền móng cho thời gian của tôi tại Alibaba, nơi tôi lãnh đạo một nhóm nghiên cứu chuyên về tìm kiếm kiến trúc nơ-ron, đào tạo mô hình và xây dựng các công cụ AutoML cho các nhà phát triển. Vào khoảng năm 2021, tôi không còn ngần ngại gọi công việc của chúng tôi là “AI”, vì các mô hình ngôn ngữ lớn đã trở thành những công cụ mạnh mẽ, và tầm nhìn của tôi về những gì có thể đạt được với chúng đã mở rộng.

Công ty khởi nghiệp trước đây của bạn, Visualead, cuối cùng đã được Alibaba Group mua lại, công ty này là gì và những bài học quan trọng nào bạn đã rút ra từ kinh nghiệm này?

Visualead chuyên về quét logo, mã QR và mọi thứ ở giữa, bao gồm bảo mật và ẩn thông tin trong hình ảnh để cho phép giao dịch và tương tác an toàn giữa người với người. Tại Visualead, chúng tôi đã chạy các thuật toán trên thiết bị di động từ năm 2012, bao gồm cả mô hình. Việc đó rất khó khăn và phức tạp khi làm điều đó vào thời điểm đó, và chúng tôi đã học được rất nhiều về việc xây dựng các mô hình hiệu quả và hàng rào bảo vệ xung quanh những sinh vật thống kê này.

Cho đến ngày nay, tôi vẫn áp dụng những bài học đã học được từ thời gian đó vào các dự án hiện tại mà tôi thực hiện – ví dụ, khi chúng tôi xây dựng công cụ tạo giải pháp mã nguồn mở AlphaCodium, chúng tôi đã giới thiệu khái niệm Kỹ thuật luồng và áp dụng khái niệm này để xây dựng một luồng để bảo vệ đầu ra của mô hình LLM.

Có thể bạn chia sẻ câu chuyện về việc ra đời của CodiumAI?

Tại Alibaba, tôi đã chứng kiến trực tiếp cách một lỗi trong mã có thể dẫn đến một vấn đề trị giá một triệu đô la và những thách thức mà các nhà phát triển phải đối mặt để duy trì việc tạo mã mà không ảnh hưởng đến chất lượng hoặc tính toàn vẹn. Vấn đề này vẫn tồn tại, và ngày nay, mã chất lượng thấp đã được quy cho một vấn đề trị giá một nghìn tỷ đô la tiếp tục tăng.

Đội ngũ tại CodiumAI chuyên về xây dựng các công cụ được hỗ trợ bởi AI quy mô lớn và được thúc đẩy để giải quyết các điểm đau mà các nhà phát triển phải đối mặt. Với sự ra đời của các khả năng LLM và AI mới, chúng tôi hiểu rằng đây là cơ hội của chúng tôi để xây dựng một nền tảng toàn diện về tính toàn vẹn mã để giúp các đội ngũ bận rộn như chúng tôi giảm thiểu lỗi và các vấn đề về tính toàn vẹn khác. Khi ngày càng nhiều mã được tạo ra bởi AI, vấn đề về việc tạo chuẩn mực cho mã này và đảm bảo nó hoạt động như dự kiến trở thành một điểm đau quan trọng và cũng là điều mà chúng tôi quyết tâm giải quyết. Xây dựng các công cụ được hỗ trợ bởi AI quy mô lớn và do đó tạo chuẩn mực là một khái niệm quan trọng đối với chúng tôi.

CodiumAI thực hiện những loại phân tích không tầm thường nào trên mã, và làm thế nào điều này hỗ trợ các nhà phát triển trong việc cải thiện chất lượng mã?

Cho đến gần đây, các công cụ hiện có dành cho các nhà phát triển cung cấp rất ít giá trị – nhưng với sự xuất hiện của LLM (ChatGPT, Copilot, v.v.), khả năng đang bắt đầu vượt quá mong đợi, và sự hỗ trợ dành cho các nhà phát triển không còn tầm thường.

Codiumate Coding-Agent được phát triển bởi CodiumAI cung cấp cho các nhà phát triển các công cụ độc đáo để cải thiện quy trình làm việc và nâng cao việc tạo mã. Codiumate đơn giản hóa quá trình phát triển bằng cách cung cấp hỗ trợ tự động trong suốt quá trình mã hóa. Sử dụng các đoạn mã hiện có mà một nhà phát triển đã chọn trong môi trường của họ, tác nhân có thể tự động tạo ra một kế hoạch phát triển dễ theo dõi và nhất quán, viết mã theo kế hoạch đó, xác định mã trùng lặp mà nhà phát triển có thể muốn sử dụng hoặc loại bỏ, tạo tài liệu và đề xuất các thử nghiệm để đảm bảo mã hoạt động đúng trước khi nó được triển khai trong môi trường trực tiếp.

Codiumate cung cấp cho các nhà phát triển phân tích hành vi sâu – làm sáng tỏ các hành vi và nhánh có thể có của mã đang được kiểm tra. Điều này cho phép nhà phát triển kiểm tra mã được tạo và tạo ra các thử nghiệm bao gồm tất cả các hành vi, do đó cải thiện mã hơn so với nếu nhà phát triển đã tự mình tính đến tất cả các trường hợp có thể.

CodiumAI tạo ra các thử nghiệm có ý nghĩa như thế nào, và điều gì làm cho các thử nghiệm này hiệu quả hơn so với các thử nghiệm đơn vị tiêu chuẩn?

Chúng tôi nâng cao việc tạo thử nghiệm bằng cách quét các kho mã để tìm các đoạn mã liên quan đến mã đang được kiểm tra. Sử dụng các lời nhắc chuỗi suy nghĩ để lập bản đồ tất cả các hành vi mã có thể có, bao gồm cả đường dẫn thông thường và các trường hợp ngoại lệ, cách tiếp cận của chúng tôi sử dụng việc lấy dữ liệu cụ thể theo ngữ cảnh và các lời nhắc tùy chỉnh được thiết kế cho các ngôn ngữ lập trình khác nhau, tích hợp kiến thức chuyên môn để đảm bảo các thử nghiệm đáp ứng tiêu chuẩn ngành. Ngoài ra, CodiumAI thiết lập môi trường thời gian chạy cụ thể để phát hiện lỗi và tạo ra các thử nghiệm tự chữa bệnh. Những khả năng này làm cho các thử nghiệm được tạo bởi CodiumAI trở nên toàn diện hơn so với các thử nghiệm đơn vị tiêu chuẩn, thường bỏ qua các hành vi không mong muốn do sự thiên vị của nhà phát triển và những hạn chế trong việc dự đoán tất cả các kịch bản có thể xảy ra. Điều này dẫn đến các thử nghiệm không chỉ toàn diện mà còn hiệu quả hơn trong việc phát hiện ra các lỗi tinh vi và các trường hợp ngoại lệ.

Dựa trên phản hồi của người dùng, những tính năng nào của CodiumAI được đánh giá cao nhất, và làm thế nào những tính năng này đã ảnh hưởng đến năng suất của các nhà phát triển?

Dựa trên phản hồi của người dùng mà chúng tôi đã nhận được, chúng tôi thấy rằng các tính năng /ask với ngữ cảnh mã và /tạo thử nghiệm của tác nhân Codiumate được đánh giá cao và nâng cao quy trình làm việc của nhà phát triển.

Với /ask với ngữ cảnh mã (xem tài liệu tại đây: /ask), các nhà phát triển có thể đặt câu hỏi mở về mã của họ hoặc yêu cầu cải thiện mã hoặc xem xét mã trong một phiên trò chuyện miễn phí. Tính năng này đặc biệt có lợi khi muốn có hiểu biết sâu sắc về cơ sở mã, vì mô hình giữ toàn bộ ngữ cảnh của dự án, cho phép nó giải quyết các câu hỏi chi tiết và cụ thể.

/Tạo thử nghiệm (xem tài liệu tại đây: /test) cho phép các nhà phát triển tạo ra các bộ thử nghiệm toàn diện cho mã của họ chỉ với một cú nhấp chuột. Khám phá hành vi mã, xác định và giải quyết lỗi một cách nhanh chóng, và mở rộng phạm vi mã hóa là một tài sản lớn cho năng suất.

CodiumAI xác định các trường hợp ngoại lệ và hành vi đáng ngờ trong mã như thế nào?

Công cụ của chúng tôi quét kho mã của nhà phát triển để tìm các đoạn mã liên quan đến mã đang được kiểm tra, và sử dụng các lời nhắc chuỗi suy nghĩ, chúng tôi lập bản đồ tất cả các hành vi mã có thể có và hiển thị chúng cho nhà phát triển. CodiumAI có thể xác định hành vi đáng ngờ trực tiếp (bất kể việc tạo thử nghiệm), bằng cách xác định sự không nhất quán giữa các đoạn mã khác nhau, hoặc giữa đoạn mã và tài liệu đi kèm.

CodiumAI hỗ trợ các ngôn ngữ lập trình chính; bạn có thể giải thích cách nó xử lý các sắc thái ngôn ngữ cụ thể trong phân tích mã và tạo thử nghiệm không?

Đối với các ngôn ngữ lập trình chính, nền tảng của chúng tôi vượt ra ngoài hỗ trợ cơ bản bằng cách thực hiện các kỹ thuật chuyên biệt. Điều này bao gồm việc lấy dữ liệu cụ thể theo ngữ cảnh và các lời nhắc tùy chỉnh được thiết kế cho cú pháp và ngữ nghĩa riêng của từng ngôn ngữ, tích hợp kiến thức chuyên môn để đạt được kết quả theo tiêu chuẩn ngành. Ngoài ra, chúng tôi cung cấp khả năng thiết lập môi trường thời gian chạy cụ thể cho các ngôn ngữ này, điều này tăng cường khả năng của công cụ trong việc phát hiện lỗi và tạo ra các thử nghiệm tự chữa bệnh. Những khả năng này làm cho các thử nghiệm được tạo bởi CodiumAI trở nên toàn diện hơn so với các thử nghiệm đơn vị tiêu chuẩn, thường bỏ qua các hành vi không mong muốn do sự thiên vị của nhà phát triển và những hạn chế trong việc dự đoán tất cả các kịch bản có thể xảy ra.

CodiumAI có kế hoạch nâng cấp nào trong tương lai để hỗ trợ và đơn giản hóa các nhiệm vụ của các nhà phát triển?

Chiến lược phát triển tương lai của CodiumAI tập trung vào việc nâng cao bộ công cụ AI hiện có để tích hợp liền mạch vào tất cả các giai đoạn của chu kỳ phát triển phần mềm. Bằng cách áp dụng các nguyên tắc kỹ thuật luồng tiên tiến để đơn giản hóa và tối ưu hóa quy trình làm việc của các nhà phát triển, các tác nhân của chúng tôi sẽ cung cấp giá trị đáng kể trên các giai đoạn phát triển khác nhau. Hơn nữa, CodiumAI cam kết đảm bảo rằng những công cụ này vượt trội trong việc xử lý mã và văn bản phức tạp, thực tế, làm cho chúng trở nên không thể thiếu trong các nhiệm vụ lập trình hàng ngày. Cách tiếp cận toàn diện này nhằm nâng cao dịch vụ của chúng tôi thành một công cụ mạnh mẽ, hàng ngày cho các nhà phát triển, nâng cao năng suất và hiệu quả trong quy trình phát triển phần mềm.

Cảm ơn vì cuộc phỏng vấn tuyệt vời, những người đọc muốn tìm hiểu thêm nên truy cập CodiumAI.