skills-sdlc

What people said

• “I have a skill for using Verus with Rust. I think they found a nice way to integrate proofs with the language. The verify skill I use lists proofs as a possible technique and the project instructions have instructions on using it, but only a very small fraction of the cod…”

• “Rust does have one glaring weakness: compile times. I suspect in the LLM era we will see the rise of a language or perhaps some sort of Rust redesign that achieves what Rust has with great performance and great type safety but also has better support for fast compilation. I have…”