Socrates luôn hỏi trước tiên: "X là gì?". Đó là cách đặt câu hỏi về bản chất thay vì hiện tượng.
Tôi đã đưa lối đặt câu hỏi này vào một AI coding harness. Kết quả là giành hạng nhất tại Ralphton.
Vì sao lại là Socrates
Lý do lớn nhất khiến vibe coding thất bại là sự mơ hồ. Trong môi trường Human Outside the Loop, nếu ý định không rõ ràng thì khoảng cách giữa ý định và kết quả sẽ tăng theo cấp số nhân sau mỗi vòng lặp. Ouroboros loại bỏ sự mơ hồ này theo cách toán học.
Ambiguity = 1 - Σ(clarity_i × weight_i)
Phỏng vấn theo kiểu Socrates sẽ tiếp tục cho đến khi điểm số này giảm xuống 0.2 hoặc thấp hơn. Trước đó, không viết dù chỉ một dòng mã.
Điều kiện hoàn tất được định nghĩa bằng sự hội tụ
Vòng lặp không kết thúc vì số lần lặp mà kết thúc khi quá trình tiến hóa dừng lại.
Trong vòng lặp Ralph, một iteration được định nghĩa là một thế hệ.
Similarity = 0.5 * name_overlap + 0.3 * type_match + 0.2 * exact_match
Nếu Similarity vượt 0.95 thì được xem là đã hội tụ. Các mẫu bệnh lý như Stagnation, Oscillation, Wonder Loop cũng được phát hiện riêng.
Thời đại khi nhân văn học trở thành harness
Để sử dụng token hiệu quả và làm việc với AI đúng cách, nghịch lý là những suy tư mang tính nhân văn và triết học vốn tồn tại giữa con người với con người lại trở nên quan trọng hơn cả công nghệ.
Chúng ta không nên dừng lại ở việc nói với AI rằng "hãy viết mã cho tôi". Chúng ta phải định nghĩa ontology của vấn đề mình đang cố giải quyết là gì, và tiêu chí nào để coi nó là hoàn thành. Theo tôi, đó chính là cốt lõi của Ouroboros mà tôi xác nhận được tại Ralphton lần này, đồng thời cũng là năng lực thiết kế harness mà các lập trình viên cần có trong tương lai.
GitHub: https://github.com/Q00/ouroboros
3 bình luận
Bài của người quen nên càng thấy thú vị hơn.
Ôi.
Hay đấy. Có vẻ đây là nội dung không chỉ agent mà cả chúng ta cũng có thể tận dụng khi phát triển.
Thật là một kỹ thuật đặt câu hỏi cho chính mình về cách định nghĩa đặc tả rõ hơn và làm thế nào để vượt qua trạng thái mơ hồ.