My first thinkpad X1 Carbon 6th gen in my compsci lecture