We had a week of many inspiring talks, demos, and discussions about Programming Experience, Value Independence, Programming Languages, Substrates, Virtual Machines, and Software Verification.
Thank you to everyone who was there!