logoalt Hacker News

raverbashing • today at 1:37 PM • 0 replies • view on HN

I'm curious what is the theoreme-proving magic behind add_v4 and if this is prior LLVM ir