Microsoft is building a research operating system prototype called Singularity, extending programming languages, and developing new techniques and tools for specifying and verifying program behavior.
It’s perfect for taking to class. The latest Microsoft Surface Pro is a delight. We’re big fans of it if you need a powerful tablet. It has a Snapdragon X Plus CPU, 16GB RAM, and 512GB SSD.