RISC-V Board of Directors decision on the Compressed extension | Hacker News Reader