Forum Federato

long article about a nice GSoC project fixing some unsoundness in LLVM IR by introducing a new byte type

https://blog.llvm.org/posts/2025-08-29-gsoc-byte-type/

@rygorous @steve sure sure

@rygorous @steve I've seen part of a convincing / complete formal spec for x86 and I would run away from any effort to validate an implementation of this

is this bullshit? or does ISA not really matter in some fictitious world where we can normalize for process and other factors?

https://www.techpowerup.com/340779/amd-claims-arm-isa-doesnt-offer-efficiency-advantage-over-x86