用狀態機推理非同步Rust
本文探討了作者如何使用AI輔助寫作，強調AI幫助學習但非捷徑，每個文章花費20-25小時，透過AI找到合適的例子、類比和視覺化，最終保持判斷和修正。
關於AI輔助
“AIBodh”中的“Bodh”意為“理解”。自從對話式AI問世以來，我反覆使用它的主要目的是學習、提問、犯錯、再提問，直到最終理解。這演變成我至今仍持有的信念：如果使用得當，AI確實能幫助人們學習。因此，我將AI用於教學，但並非作為捷徑。每篇文章仍需要我20到25小時。AI幫助我克服寫作中真正困難的部分：找到概念顯而易見的例子、產生共鳴的類比、將抽象具體化的視覺化、以及去除術語和冗餘的編輯過程。我會驗證程式碼的執行，保持自己的語氣，並刪除任何無助於理解的內容。判斷和修正由我負責。如果任何部分感覺不對勁，請在Discord上告訴我，我會改進。
在寫作關於非同步Rust的複雜概念時，AI尤其有用。例如，在解釋狀態機如何編譯時，AI可以幫助生成清晰的示例程式碼和逐步的圖示，使讀者能夠直觀理解。我始終確保程式碼的正確性，並加入自己的解釋來避免誤解。透過這種方式，AI成為了一個強大的教學工具，而不是替代我的思考和判斷。