Pretty far along on coding my ideas to use formal specification in the agentic era. Right now I have ensured that all spec is deterministically reviewed against the code generated ( I don’t let the LLM check its own homework). So much todo yet… but loving every minute of it.

Can’t wait to have something actually showable 🤩

How we roll!!

I expect that we even get a new version of this with a third dore for non reviewed , non tested AI code

They port it to Rust, then they port it back to Zig and then they compare to their implementation and figure out all the memory bugs

Claude did … rm -Rf did … you used the tool , you gave it permission (implicitly or explicitly) … you did it , it does not matter what tool is used . You are still responsible for how you use your tools be them AI powered or not.

They should also adapt the banner to inform people

Required graph labels

Torraeta (BBQ) time

Hi, the link takes me to a learn Rust starting from scratch course. Can you post the Rust-python interop course link?