BBC picks SiFive RISC-V chip for Doctor Who programming-for-kids kit | Hacker News Reader