Viewing profile — de_aztec

So essentially: One cannot trust the code produced by an LLM, even if the code is a formal proof passing the verifier.

from the article: > With this release, SwiftPM now has the opportunity to offer a unified build execution engine across all platforms. this is what the big deal is. it might not ac…

Since it’s not clear from the title: embedded here does not mean sqlite-inside-your-app but small devices with microcontrollers