Google’s miniature Chromeboxes make desktop computing more portable than ever before, and HP’s hoping to do the same for those who prefer Windows over Chrome OS. The company’s new Stream mini and Pavilion mini PCs look like an Apple TV or a Roku, but they run Windows 8.1 on specifications you’d usually expect to see in a budget notebook.