Embedded systems, open source, verifiable devicesβor simply something interesting you think I should see.