//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
AI doomers BTFO with one weird trick github.com/model-checki...
5d
GitHub - model-checking/kani: Kani Rust Verifier
Kani Rust Verifier. Contribute to model-checking/kani development by creating an account on GitHub.
github.com
Jake
Ok, let me state one step more formally my problem with AI code. You cannot trust it to be more expert than you because you cannot check and verify what it created. It's beyond you. You cannot be responsible for it, nor can the AI. It can ONLY be used as a toy or subset of your abilities.