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 achieve much on its own immediately, but this is the key to build a truly multiplatform ecosystem of libraries, tools and applications in Swift. we should expect to see more of that soon.

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

Very interesting to see that Clang basically always produces very bad and unoptimized LLVM IR code and leaves it to LLVM to clean it all up. That said, it's not entirely true that Clang avoid doing any optimizations -- it does indeed produce slightly different LLVM IR for -O0 and -O3.

they even show this in the video, apparently it’s supposed to be straightforward