*Very* damning indictment of #GitHubCopilot as a professional-grade #programming tool from a former core #FreeBSD team member and current #LLVM and #IoT developer.
https://infosec.exchange/@david_chisnall/113690087142854474
My favorite bit:
> “It’s great for boilerplate!” No. APIs that require every user to write the same code *are broken*. Fix them, don’t fill the world with more code using them that will need fixing when the APIs change.
A wild #blog post appears.
A tutorial for setting up a cross compilation environment using FreeBSD/amd64 as the host and macOS/aarch64 as the target.
#Clang / #LLVM builds with almost no external dependencies (toolchain, cmake, and make). It builds an entire compiler and binutils.
#Rust build automatically pulls in and builds a ton of dependencies, but requires no user intervention. It builds the compiler and runtime libs.
#GCC build continues to suck
Hey #Haskell people, have any of you written a compiler with #Binaryen or #LLVM for the backend? Any recommendations on libraries, guides, or gotchas to watch out for?
I've seen the llvm-tf and llvm-ffi libraries which are reasonably current (each ~1 year since last update). I saw Tweag has a binaryen package, but I'm not sure they're updating it now that Asterius is defunct (~4 years since last update).
Had a bunch of thoughts about the recent safety stuff, way more than fit in social media post... Blog post story time! (It's a bit of a ramble, sorry about that...)
https://chandlerc.blog/posts/2024/11/story-time-bounds-checking/
Worked pretty hard on yet another KnownBits optimization for #LLVM yesterday: it took me almost 12 hours of working continuously to figure it out.
Our #LLVM job ad is finally up!
We're looking to hire two people (probably one more senior, one more junior) to maintain, update, improve, and upstream the #CHERIoT LLVM toolchain (not necessarily in that order).
Happy to answer questions here.
I really wish Alive2 had support for loop- based reasoning: the -src-unroll/-tgt-unroll doesn’t give me a guarantee. Struggling to reason about an #LLVM patch, and this isn’t the first time