He's using a household solar inverter designed to convert low voltage DC to AC at standard wall socket voltage. It's not the most efficient approach, as noted in other comments, but it's an easy approach since these inverters are common and a laptop's power supply is already set up to plug into a wall socket.