Cuối cùng tôi cũng có cơ hội để xem Mojo/Modular. Nó không giống như tôi nghĩ, nó là một sự thay thế cho OpenCL + các triển khai của các kernel, không phải là một trình biên dịch AI. Mặc dù điều này giúp dễ dàng đạt được hiệu suất tối đa nhanh chóng, tôi nghĩ tính đầy đủ Turing là một sai lầm cho những thứ này. Chúng ta cuối cùng có cơ hội sống trong một thế giới dữ liệu thuần túy, tại sao chúng ta không nắm bắt nó? Những ngôn ngữ như thế này không tách biệt định nghĩa của tính toán với lịch trình của tính toán. Đọc luận án tiến sĩ Halide, tôi bị ám ảnh với ý tưởng này. Khi các mạng nơ-ron ngày càng trở nên tốt hơn trong việc lập trình, điều chúng ta muốn là cách diễn đạt ngắn gọn nhất để thể hiện *chính xác* những gì chương trình làm mà không phải lo lắng về chi tiết cách thức. Hãy để điều đó cho máy móc. Lưu ý tham số "maybe_epilogue_func" ở đây. Thế nếu bạn muốn hai hàm epilogue lưu vào các bộ đệm khác nhau, hoặc các phép giảm chuỗi? Vòng lặp nằm bên trong hàm conv này, vì vậy đã quá muộn để thay đổi. Đọc tinygrad conv để so sánh. "Trong hàng thập kỷ xây dựng trình biên dịch, tôi chưa bao giờ thấy huyền thoại về một "trình biên dịch đủ thông minh" thực sự hoạt động!" -- @clattner_llvm Chúng tôi đang đặt cược rằng với các kỹ thuật tìm kiếm hiện đại (đọc: AI) điều này cuối cùng sẽ thay đổi. Tuy nhiên, đó là một cược hoàn toàn hợp lý để chọn phía bên kia, và nếu điều đó không xảy ra trong 10 năm tới, Mojo có lẽ là điểm đúng trong không gian đánh đổi.